3 ms·
I have to say that all your “old” ideas (they are all from the 90s AFAICT) seem new to me ;) For example, for Haskell [1990] (ok, not so much the type system b
by davidgay 2y ago
I have to say that all your “old” ideas (they are all from the 90s AFAICT) seem new to me ;)
For example, for Haskell [1990] (ok, not so much the type system bits, but…), see FP [1977] (https://en.m.wikipedia.org/wiki/FP_(programming_language) https://en.m.wikipedia.org/wiki/FP_(programming_language))
- nine_k 2y ago1990s happened three decades ago. 80486, Doom, Win 95, JavaScript did not exist half of that decade, Linux was a hot new thing, etc. Remember these? It's like referring to ideas from 1960s as "old" in 1994. Not ancient, but already not really recent.
- davidgay 2y agoI think you missed my point that what you're describing as the "old" idea were actually the "new" idea with a corresponding "old" idea. For instance, you mention OCaml's typing, but OCaml is from 1996 and Milner's type-inference work (which was for an early version of ML) is from 1982. And ML itself is from 1973 according to https://en.wikipedia.org/wiki/ML_(programming_language) https://en.wikipedia.org/wiki/ML_(programming_language) ... [My personal experience from doing related-work searches for research papers is that there was often an at least somewhat relevant reference from the 60s...]