Daily Thought - 2024-07-15
Hey, I'm Hanno! These are my daily thoughts on Crosscut, the programming language I'm creating. If you have any questions, comments, or feedback, please get in touch!
This thought 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.
Hey, you! Want to subscribe to my daily thoughts? Just let me know (maybe include a nice message, if you're up for it), and I'll send you an email whenever I post a new one.