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
