logoalt Hacker News

noosphryesterday at 11:13 PM2 repliesview on HN

Type systems aren't magic. They do stop all incorrect programs from running, but also the majority of correct programs too.


Replies

anon291yesterday at 11:25 PM

Luckily most everyday programs are typeable.

show 1 reply
rerdaviesyesterday at 11:47 PM

... for some spectactularly inconsistent and arbitrary definition of "correct program".

show 1 reply