ATS: Why Linear Types Are the Future of Systems Programming (youtube.com) 2 points by rscho 5y ago ↗ HN
[–] rscho 5y ago ↗ In response to today's checked C submission. In this video, the speaker decomposes ATS to show that it is really an ML shell over C code.
1 comment
[ 3.4 ms ] story [ 10.0 ms ] thread