|
|
|
|
|
by gruseom
6137 days ago
|
|
There are (at least) two good points here: language power is a partial ordering not a total one, and Hindley-Milner type systems are probably the most prominent candidate for a purely language-level construct that Lisp wouldn't naturally extend to. |
|