Damus
Open in Damus
Marcel Weiher · 10w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqncxka2nmkqkndk4wkuf3tz3l39z9m8xax3aen3h8tvudwgjmf5mq4uv2v2 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqgqn4mglfftd6292303jp2r060qwy69m...
 David Chisnall (*Now with 50% more sarcasm!*) profile picture
David Chisnall (*Now with 50% more sarcasm!*) @David Chisnall (*Now with 50% more sarcasm!*)
@nprofile1q... @nprofile1q...

I read the post. I have also previously read the papers. They both discuss the kinds of type systems I hated, which cannot express the problems that modern type systems help with.
1
Marcel Weiher · 9w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqncxka2nmkqkndk4wkuf3tz3l39z9m8xax3aen3h8tvudwgjmf5mq4uv2v2 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqgqn4mglfftd6292303jp2r060qwy69mpgdfprlumsuhf68wft27svfzgz0 Once again: the post does not even mention either Objective-C or Small...