2 ms·
Common Lisp, however, has a "top type" T which is a supertype of all types. So one can manipulate lambdas themselves as if they're untyped. Of course, I person
by reikonomusha 5y ago
Common Lisp, however, has a "top type" T which is a supertype of all types. So one can manipulate lambdas themselves as if they're untyped.
Of course, I personally don't think programming in Lisp has much to do with wielding lambda calculus in any superlatively direct sense.