@slava@mathstodon.xyz
Programming languages, finitely-presented monoids, horses
Replying to @zwarich@hachyderm.io
@zwarich @joe @foonathan @dotstdy @ianh My prediction is that at some point in the next 5 years this whole “systems language” fad will blow over as programmers get tired of constantly being forced to deal with value semantics and unique ownership, and they’re going to rediscover the simplicity and elegance of garbage collection with uniform tagged pointers, at which point they’ll give this paradigm some really dumb name and pretend it’s brand new
Type system people when they hear complaints that the formalism in their latest proposed extension is going to be too difficult for users to understand:
Mark Dominus@mjd@mathstodon.xyz#beethoven on hearing a report that a violinist complained one of his string quartets was too hard to play:
"Does he really believe that I think about his silly fiddle when the muse strikes me to compose?"
Update: I haven't been able to verify this, and Claude plausibly opines that it is unverifiable: https://claude.ai/share/762f177a-580e-48d4-833b-08e32417aae9