2 ms·
Expressive type systems have all the hype nowadays. Those absolutely global formal systems that can explain any kind of behavior would never be practical in ge
by marcosdumay 2y ago
Expressive type systems have all the hype nowadays.
Those absolutely global formal systems that can explain any kind of behavior would never be practical in general. But specialized formal systems are just great.