top | item 205093 How to Recognize a Dark Age 15 points| rplevy | 18 years ago |loper-os.org | reply 2 comments order hn newest [+] [-] icky|18 years ago|reply > Who stole the original thinkers of that era, and planted type-theoretical bureaucrats in their place?Once a sufficiently advanced type-theory is in place, original thought can be automated and rigorously proven at compile-time. ;-) [+] [-] randallsquared|18 years ago|reply However, there's been a lot of improvement in things that need a stable foundation, like libraries and APIs and standards (whether defacto or more official).
[+] [-] icky|18 years ago|reply > Who stole the original thinkers of that era, and planted type-theoretical bureaucrats in their place?Once a sufficiently advanced type-theory is in place, original thought can be automated and rigorously proven at compile-time. ;-)
[+] [-] randallsquared|18 years ago|reply However, there's been a lot of improvement in things that need a stable foundation, like libraries and APIs and standards (whether defacto or more official).
[+] [-] icky|18 years ago|reply
Once a sufficiently advanced type-theory is in place, original thought can be automated and rigorously proven at compile-time. ;-)
[+] [-] randallsquared|18 years ago|reply