3 ms·
yep, that's the one! I don't know if there's any one place to discuss gradual typing. typed racket is probably the language with the largest academic community
by zem 2y ago
yep, that's the one! I don't know if there's any one place to discuss gradual typing. typed racket is probably the language with the largest academic community behind it, so the racket discourse would likely have some good discussions, though I haven't been keeping up with it recently.
- agumonkey 2y agothanks a lot, i'll tag along the racketeers then, i was mostly curious to know if the field became wider, sometimes I get too focused on lisps and forget that other people are doing PLT
- bbkane 2y agoYou might also like Roc. I don't completely understand how but it does type inference over the whole program - so you can use a loose type that "tightens" when you use it in a different way. Maybe that's a bad explanation. I think the following video is the one that demonstrates this https://m.youtube.com/watch?v=7R204VUlzGc https://m.youtube.com/watch?v=7R204VUlzGc