Questions about the Church encoding, a way to represent data using functions, and the Boehm-Berarducci encoding, a transposition of it to a typed setting.
Here, I test TypeScript3.0 unkown type. https://blogs.msdn.microsoft.com/typescript/2018/07/12/announcing-typescript-3-0-rc/#the-unknown-type TypeScript 3.0 introduces a new …
javascript typescript types functional-programming church-encoding