Daily Note - 2024-07-15
Hey, I'm Hanno! These are my daily notes on Crosscut, the programming language I'm creating. If you have any questions, comments, or feedback, please get in touch!
This note was published before Crosscut was called Crosscut! If it refers to "Caterpillar", that is the old name, just so you know.
That concept I presented yesterday, about using linear types for purely functional I/O, that's not really new. It feels kind of obvious to me, but that's probably because the time is right for it. After all, Rust has brought affine types into the mainstream.
I'm not sure if and where linear types specifically are used like this (I'm sure someone is doing it), but the general idea goes back to at least the late 80s, with uniqueness types in Clean.