lambdaydoty/fp-js

type.js

Resources

• Milewski. Category Theory For Programmers
• Swlaschin. Railway Oriented Programming
• Harding. Fantas, Eel, and Spec.
• Illiott. Composing Software

Packages

1. Sanctuary
   • sanctuary (S, S.Maybe, S.Either, S.Pair, ...)
   • sanctuary-def ($, def)
   • sanctuary-type-classes (Z)
   • sanctuary-type-identifiers (type)
   • sanctuary-show (show)
2. Fluture
   • fluture (F)
   • fluture-sanctuary-types (F$)
3. Sum Types
   • daggy (daggy)
4. Others
   • lazy-infinite

Misc.

• FantasyLand Cheatsheet
• Avaq Intro. Fluture