IO Monad Realized in 1965 (2012)
okmij.org
okmij.org
This reminds me of a paper by Gary Kildall published in 1970 called "APL\B5500: The Language And Its Implementation" [1], which I think will fascinate many by just how modern it reads. Just about all of the terminology and concepts were refined by then and remain identical to the present day, when the conventional understanding of the software industry -- where everything allegedly becomes obsoleted every 6 months, would dictate that it must be hopelessly anachronistic by now.
We're not as innovative as we think we are.
[1] https://www.cs.washington.edu/tr/1970/09/UW-CSE-70-09-04.PDF
Ten years after the turn of the century, I was still dealing with the interoperation between my approach and softwares that used 2-digit years: http://catless.ncl.ac.uk/Risks/25.94.html#subj11
Sometimes I think we're just now getting back around to where people were at in the 80s—albeit at much greater scale. Sometimes I think we're not there yet. Sometimes I think I'm just sort of thinking wistfully about some golden age of yore.
[1] http://blog.sigfpe.com/2006/08/you-could-have-invented-monad...