Is Sound Gradual Typing Dead? https://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf (explores the significant performance cost of partially specified types in Racket)
miniblog.
Related Posts
I'm delighted that so many people are getting value in difftastic, but there has been a significant increase in new issues recently! Hopefully this is a temporary bump from HN.
It's a genuine risk from creating a generic tool: if 1% of devs use it, that's a huge userbase.
Wow, Android is throwing significant weight behind RISC-V:
Difftastic now handles tab characters precisely! This sounds like a small thing, but it's crucial when parsing Makefile syntax.
Makefiles look way better now.
(Technically tabs are also syntactically significant inside string literals, and that case is fixed too.)


