2 ms·
After 17 years I think we can say they did not change the world!
by moocowtruck 9y ago
After 17 years I think we can say they did not change the world!
- bsaul 9y agoAdd 10 more years :)
- moocowtruck 9y agolol ok we'll check back then, you and i edit: haha!! just got what you said and realized my mistake :o
- kbr 9y agoThe author of the paper doesn't mean that the concept of linear types will change the world, but states that linear types combined with functional languages will be able to interact with and change the real world (I/O, graphics, etc). This is because functional languages have a hard time representing these concepts, and have alternate workarounds (monads).
- coldtea 9y agoLisp ideas didn't caught on until 40+ years, so... Not to mention that the first digital computer appeared in the 30s or so, and it took until 1980s and on to really say it "changed the world" (as opposed to merely improving the speed of some calculations).