Tradeoffs of highly-expressive types
jnkr.tech/blog/expressive-types-tradeoffs
Published: August 30, 2025 08:00
🦜 Programming should be enjoyable ·
@jnkr.tech@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
Site URL: jnkr.tech
Feed URL: jnkr.tech/atom.xml
Posts: 9
Followers: 1
Extensible TypeScript with Object Algebras
jnkr.tech/blog/object-algebras
Published: August 11, 2024 16:00
Bridging the Object-Oriented and Functional Divide with the Visitor pattern
jnkr.tech/blog/visitor-pattern
Published: February 11, 2023 08:00
The Church and Scott Encodings of Algebraic Data Types
jnkr.tech/blog/church-scott-encodings-of-adts
Published: January 2, 2022 08:00
The Church Encoding of Simple Algebraic Data Types
jnkr.tech/blog/church-encodings-of-simple-adts
Published: December 1, 2021 08:00
An Introduction to Algebraic Data Types
jnkr.tech/blog/introduction-to-algebraic-data-types
Published: March 14, 2020 08:00
Abstract Data Types and Objects
jnkr.tech/blog/abstract-data-types-and-objects
Published: March 14, 2020 07:00
My Medium blog
Published: March 9, 2020 08:00
The Problem with "Overengineering"
jnkr.tech/blog/the-problem-with-overengineering
Published: March 7, 2020 08:00