I'm starting a blog post on Hereditarily Finite Sets

they're pretty cool: you can do set theory minus all the mysterious infinite, uncomputable stuff

just this one data type and computable functions around it!

newtype HFS = Layer (Set HFS)

I wrote a preview of it over on Mastodon:

https://tech.lgbt/@monoidmusician/111667302856958096

we'll see how far I get for now … there is a LOT of stuff to talk about, but I hope to make it approachable for programmers who aren't familiar with set theory and mathematical practice


You must log in to comment.