New newsletter: "Six Programming Languages I'd Like To See"
> I have these visions/nightmares of programs that take other programs as input and then let me run experiments on how the program behaves. I want to write metaprograms dammit
Conversation
Not surprised that most people are conflating contracts with dependent types, more surprised than I should be that nobody's conflating contracts with refinement types
3
11
Replying to
Wish it was easier to move between these different styles… I know that researchers are working on it, but I'm impatient, hah. :)