3 ms·
Maybe in the far future, all the computer code will become encoded in lambda calculus, and immediately matched and refactored against huge database of existing
by js8 10y ago
Maybe in the far future, all the computer code will become encoded in lambda calculus, and immediately matched and refactored against huge database of existing lambda abstractions. So the code will not be written anymore, it will only be rediscovered as a combination of already existing abstractions.
- marcosdumay 10y ago> all the computer code will become encoded in lambda calculus, and immediately matched and refactored against huge database of existing lambda abstractions You mean a Lisp optimizing compiler?
- smaddox 10y agoIf you posit the conceptual existence of such a database, then all we really do when we code, even today, is choose a particular set of abstractions to implement a specification. It would be certainly be nice if existing languages/analyzers were capable of suggesting "better" abstractions, though, for whatever operational definition of "better" applies at the time (e.g. more compact or common or efficient).