Articles and Videos

Videos

• Featured: React To The Future - ReasonConfUS 2019 Keynote

• ReasonConfUS 2019: Conference Day

• ReasonConf 2019: Conference Day | Open Stage Day

• ReasonConf 2018: Conference Day | Open Stage Day

General Functional Programming & Type System

• Inference engines: 5 examples with TypeScript, Flow and Reason

• C# and F# approaches to illegal states: F# is a cousin of Reason. Great article on F#'s equivalent of variants

• The algebra (and calculus!) of algebraic data types

Coding Philosophy

A few articles we find interesting, or agree with. Not to be taken as literal truth.

• Write dumb code

• Not Explicit

• Always start with simple solution

• The Pony Philosophy

Pro Links

The more dated they look, the richer the content!

• How variants are represented in memory

• Phantom Types in Reason: nice example for a hidden feature of Reason/OCaml

• How OCaml type checker works

• Detecting use-cases for GADTs in OCaml

• Polymorphism and its limitations

• Adding GADT to OCaml, Locally abstract types vs polymorphic annotations: on GADT and locally abstract types

• Using the Format module and its docs: great for working with the hidden gem of the OCaml stdlib