Reason
  • Docs
  • Try
  • API
  • Community
  • Blog
  • Languages iconEnglish
    • 日本語
    • Deutsch
    • Español
    • Français
    • 한국어
    • Português (Brasil)
    • Русский
    • Українська
    • 中文
    • 繁體中文
    • Help Translate
  • GitHub

›Community

Community

  • Community
  • Articles & Videos
  • Events
Edit

Articles & Videos

Videos

  • React To The Future - ReasonConf 2019
  • ReasonML: Hype or next big thing?: October 2017
  • The Why and How of ReasonML: October 2017
  • Critical ReasonML'ing: October 2017
  • Universal Reason: October 2017
  • Reason: JavaScript-flavored OCaml July 2017
  • A Speed-date with ReasonML May 2017
  • Imperfection May 2017
  • What's in a Language? April 2017
  • Taming the Meta-language March 2017
  • The Age of Reason(ML) November 2016
  • A 5-part introduction to ReasonML

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

Pro Links

The more dated they look, the richer the content =P

  • 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
← CommunityEvents →
  • Videos
  • General Functional Programming & Type System
  • Pro Links