News for hackers. Stuff that matters.
Re:Giving Ada a Chance by chowells on Tuesday March 02, 2021 @09:40PM (#26324059)
https://en.wikipedia.org/wiki/Refinement_type

That idea was neatly generalized 30 years ago. So expect it to start showing up as the hot new thing in another 20.

There are no comments on this comment yet.