Invited talk to Queens College Computer Science Student Society, 14 May 2023, by Don Syme Invitation by Conall Moss, Lochlann Baker, Dan WendonBlixrud, Andy Zhou A long, long time ago I wrote in assemblerand those opcodes used to make me smileI wrote my hello world program in 16kb of RAMNo function call no do or … Continue reading Invited talk to Queens College Computer Science Student
Tag: software
The Max-Abstraction Impulse, and Everything Else Wrong with Type-Level Genericity
These were my comments on RFC-1124 from F# 7.0, Interfaces With Static Abstract Methods, in the "Drawbacks Section". It forms an essay on everything wrong with this particular form of Statically Constrained Genericity, and many of the things wrong with all the other forms. Drawbacks This feature sits uncomfortably in F#. Its addition to the … Continue reading The Max-Abstraction Impulse, and Everything Else Wrong with Type-Level Genericity
@dsyme on software 