|
|
|
|
|
|
by couchand
3362 days ago
|
|
|
Cons is not exclusively a Lisp operation, Haskell's lists (among other languages) are implemented with cons: [1,2] is syntactic sugar for 1:2:(). And the parens are also part of the Haskell syntax, not something added to make it look like Lisp - note the lack of parens around the outermost types. If anything it seems closest to Idris, given the Peano arithmetic... |
|
|