News for hackers. Stuff that matters.
Re:Linear types can change the world (1990) [pdf] by noblethrasher on Tuesday January 09, 2018 @06:18PM (#16111099)
Since I've started paying attention, I've noticed that most of the code I write doesn't need anything more powerful than formal regular expressions, and vanishingly rarely needs to go beyond deterministic context-free.
Re:Linear types can change the world (1990) [pdf] by geokon on Wednesday January 10, 2018 @01:56AM (#16113026)
Now you've got me curious :) Could you give some examples? I've never come across regular expressions outside of string handling