Moe Hamann

Usually when kids say “sum type” they mean “automatic syntactic sugar that unwraps a union based on a tag,” but note that this has very little to do with the actual type or how it is represented! (And ML had this feature since the 1980s, and was not the first to do it.)

So I've been working on an OCaml library that lets you generate CRUD operations type safely, and made a lot of good progress (with a new backend) today. If you start with a record with a primary key, and a few fields like this: You then get all of these functions generated for free! Notice that to insert, the labelled arguments are created for exactly the fields that are in the record. You can also update with newer versions of the record. Reading, deleting are also supported of course :)

If you believe things like, “Why learn the sorting algorithm if there’s Array.sort()??” You told me everything I needed to know about you.