|
|
|
|
|
|
by wtbob
3689 days ago
|
|
|
> Wondering if you could make a lisp where `lambda` or `fn` required type annotations … > Someone implemented it in Common Lisp in the 80s I'm sure. Even better, it's a standard part of Common Lisp: functions default to being 'typed' to take the universal type, but annotations can be used to declare any types you want (to include types like (integer 3 27), which specifies an integer between 3 and 27), which can be compiler-enforced. I really don't understand why Common Lisp doesn't see more use. It's modelling clay for computation. |
|
|