An Invitation to ReasonML

A good introduction to ReasonML (and incidentally to OCaml which lurks under Reason’s JavaScript-like syntax).

This article is really about the language’s type inference system (based on the Hindley-Milner algorithm used in ML, Haskell, OCaml etc) which leaves conventional type systems such as Typescript, Java etc. in the dust protoship.io/blog/an-invitation-to-reasonml/

Introduction to optics: lenses and prisms – gcanti – Medium

Optics are a very useful tool in functional programming. They can reduce the amount of code we have to write significantly, as well as making operations clearer and more readable. We’ll talk about…
— Read on medium.com/@gcanti/introduction-to-optics-lenses-and-prisms-3230e73bfcfe

Via Emlyn O’Regan

Originally shared by amen zwa

Here is a small collection of classic writings on #functionalProgramming, which have been made available online. I hope today’s computer science students find these as illuminating as did those of yesterday.

• Recursive Functions of Symbolic Expressions

[McCarthy, 1960, https://goo.gl/y4xr4G]

• The Next 700 Programming Languages

[Landin, 1966, https://goo.gl/FLim9X]

• Categories for the Working Mathematician

[Mac Lane, 1971, https://goo.gl/kigKWo]

• cons Should Not Evaluate Its Arguments

[Friedman, 1976, https://goo.gl/Uojydf]

• Can Programming Be Liberated from the von Neumann Style?

[Backus, 1977, https://goo.gl/S6sYuB]

• Computational Lambda Calculus and Monads

[Moggi, 1989, https://goo.gl/A2W8Ja]