[DeepDive] Typesafe/functional JavaScript (TypeScript, PureScript, Sanctuary, Folktale, Ramda, Scala.js, etc)

[0xdevalias]

TypeScript

• https://www.typescriptlang.org/
  • https://www.typescriptlang.org/docs/home.html
  • https://www.typescriptlang.org/docs/handbook/typescript-in-5-minutes.html
  • https://www.typescriptlang.org/docs/handbook/tsconfig-json.html
  • Types
    • https://www.typescriptlang.org/docs/handbook/basic-types.html
    • https://www.typescriptlang.org/docs/handbook/advanced-types.html
    • https://www.typescriptlang.org/docs/handbook/utility-types.html
  • https://www.typescriptlang.org/docs/handbook/release-notes/overview.html
    • https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-8.html
• https://github.com/microsoft/TypeScript

Patterns

• Type Guards
  • https://www.typescriptlang.org/docs/handbook/advanced-types.html#type-guards-and-differentiating-types

    • A type guard is some expression that performs a runtime check that guarantees the type in some
      scope

    • user defined: foo is bar
    • in
    • typeof
    • instanceof
• Discriminated union types (switch case, case matching)
  • https://www.typescriptlang.org/docs/handbook/advanced-types.html#discriminated-unions
• Creating types from values in array
  • Creating types from values in array microsoft/TypeScript#28046 (comment)
    • https://github.com/Microsoft/TypeScript/wiki/What's-new-in-TypeScript#const-assertions
    • https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-4.html#const-assertions
  • Creating types from values in array microsoft/TypeScript#28046 (comment)
  • https://github.com/piotrwitek/utility-types#elementtypet-k

    • $ElementType<T, K>

Blogs, libraries, etc

• https://github.com/piotrwitek/utility-types

  • Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types)

• https://blog.logrocket.com/pattern-matching-and-type-safety-in-typescript-1da1231a2e34/
  • https://github.com/gcanti?tab=repositories
    • https://github.com/gcanti/fp-ts

      • Functional programming in TypeScript

      • https://gcanti.github.io/fp-ts/
      • https://github.com/gcanti/fp-ts-contrib
      • https://github.com/giogonzo/fp-ts-ramda
      • https://github.com/gcanti/fp-ts-local-storage
    • https://github.com/gcanti/io-ts

      • Runtime type system for IO decoding/encoding

      • https://gcanti.github.io/io-ts/
      • https://github.com/gcanti/io-ts-types
      • https://github.com/gcanti/io-ts-codegen
    • https://github.com/gcanti/tcomb

      • Type checking and DDD for JavaScript

      • https://github.com/gcanti/tcomb-validation
      • https://github.com/gcanti/tcomb-react
      • https://github.com/gcanti/tcomb-form
      • https://github.com/gcanti/babel-plugin-tcomb
    • https://github.com/gcanti/elm-ts
    • https://github.com/gcanti/prop-types-ts
    • https://github.com/gcanti/logging-ts
    • https://github.com/gcanti/monocle-ts
    • https://github.com/gcanti/typelevel-ts
    • https://github.com/gcanti/scala-ts
    • https://github.com/gcanti/graphics-ts
    • https://github.com/gcanti/retry-ts
    • https://github.com/gcanti/money-ts
    • https://github.com/gcanti/fcomb
    • https://github.com/freight-hub/TypedEnv
• https://github.com/typestack
  • https://github.com/typestack/class-validator

PureScript

A strongly-typed functional programming language that compiles to JavaScript

• https://www.purescript.org/
  • https://github.com/purescript/purescript
  • https://github.com/purescript/documentation
    • https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Sanctuary.js

Sanctuary is a JavaScript functional programming library inspired by Haskell and PureScript. It's stricter than Ramda, and provides a similar suite of functions.

• https://sanctuary.js.org/
• https://github.com/sanctuary-js/sanctuary
  • https://github.com/sanctuary-js/sanctuary#-folktale

    • Folktale, like Sanctuary, is a standard library for functional programming in JavaScript. It is well designed and well documented. Whereas Sanctuary treats JavaScript as a member of the ML language family, Folktale embraces JavaScript's object-oriented programming model. Programming with Folktale resembles programming with Scala.

Folktale

A standard library for functional programming in JavaScript

• https://folktale.origamitower.com/
  • https://folktale.origamitower.com/blog/
  • https://folktale.origamitower.com/code/
  • https://folktale.origamitower.com/docs/v2.3.0/
• https://github.com/origamitower/folktale

Ramda

A practical functional library for JavaScript programmers.

• https://ramdajs.com/
  • https://github.com/ramda/ramda

Scala.js

Scala.js, the Scala to JavaScript compiler

• http://www.scala-js.org/
• https://github.com/scala-js/scala-js
• https://github.com/scala-js/scala-js-dom