Interesting paper from Xerox in 83 where they talk about type dependency and signatures in a programming language called 'Russell': James Donahue and Alan Demers, "Data Types Are Values" bitsavers.org/pdf/xerox/parc
Conversation
Replying to
Trying unsuccessfully to avoid the urge to work on a language that attempts to combine dependent types, an explorable code editor, and control over the phase distinction. Dangit why do you do this to me! 😭
4