Church encoding utility library for JavaScript
I built this library mostly as a learning exercise, but the code is also available as an npm module that can be consumed and used to build JavaScript applications using basically nothing but functions. I'm not sure why you would want to do that though!
Church encoding is a way of encoding data using only functions. For instance, we can use functions to represent, booleans, numerals and lists. Higher-order functions are all you need for Turing completeness.
Check out the docs.
npm i church
or yarn add church
.
import {
decodeList,
decodeNumeral,
encodeList,
encodeNumeral,
five,
If,
lt,
map,
mult,
one,
range,
three,
two,
} from 'church'
const twoFourSix = map(mult(two))(range(one)(three))
// => Church encoded list of [two four six]
const twoFourSixJs = decodeList(twoFourSix).map(decodeNumeral)
// => [2, 4, 6] (standard JS array of standard JS numbers)
encodeList(twoFourSixJs.map(encodeNumeral))
// => Church encoded list of [two four six] again
map(x => If(lt(x)(five))(five)(x))(twoFourSix)
// => Church encoded list of [five five six]
- combinators-js - a library of combinators in JS I wrote
- http:https://raganwald.com/2015/02/13/functional-quantum-electrodynamics.html - totally mind-blowing article, this repo probably would not exist if I hadn't read it
- https://en.wikipedia.org/wiki/Church_encoding
- http:https://dictionary.sensagent.com/Church%20encoding/en-en/