Joseph Junker

Programmer interested in functional programming and formal methods. I read research papers, blog (sometimes), and hop between too many side projects.

All tech is political. Black lives matter, trans lives matter.
Read more


Dec 01, 2021
Dec 01, 2021
Wrote a blog post
Used Functional Programming
Wrote about TypeScript
+ 1
I just published a blog post that I've been working on for a while:
The Church Encoding of Simple Algebraic Data Types

Church encodings are cool in that they're a really fundamental theoretical construct in the lambda calculus, a practical tool for making TypeScript code more succinct, and the basis for object algebras, a powerful technique for writing extensible code in object-oriented languages. This post just scratches the surface, but I hope that it will be accessible to TypeScript developers who have some familiarity with functional programming techniques.
Nov 28, 2021
Nov 28, 2021
Joined an Early Adopter Program
Hello, world
Get your own page like this