Program of Day 3

• Recap of day 2 and remaining exercises
  • Conditional Types
  • Infer
  • Distributive Conditional Types
  • Simulating Nominal Types (branded types & newtypes)
  • Module Augmentation
• Very basic intro to higher kinded types
• Intro to FP-TS & it's ecosystem (io-ts, newtype-ts, monocle-ts)
• Useful common data-types: Option, Either, Task, TaskEither

More Theoretical Arguments

• The concept of eDSLs
• ADTs and interpreters
• The limitations of TS with ADTs and common workarounds
• Simulating GADTs

Repo Organization

The repository is divided in 3 folders, the exercises contains the description of each exercise to be done in the project folder, the solutions folder will be used to push the solutions for the exercises so you can easily git pull --rebase without conflicts and compare to your local.

Chat and exercises share

Join at: https://gitter.im/Michael-Arnaldi/workshop-facile