3 ms·
Not at all. The term language determines what type systems are possible. The lambda calculus serves as an excellent base for languages that admit good type syst
by danharaj 9y ago
Not at all. The term language determines what type systems are possible. The lambda calculus serves as an excellent base for languages that admit good type systems.
Better than, say, assembly language.