Anonymous user
Parametric polymorphism: Difference between revisions
omitted Clojure, as it's not statically typed
mNo edit summary |
(omitted Clojure, as it's not statically typed) |
||
Line 111:
If we have a tree of integers, i.e. <var>f</var> is <code>Tree</code> and <var>a</var> is <code>Integer</code>, then the type of <code>add1Everywhere</code> is <code>Tree Integer -> Tree Integer</code>.
</small></blockquote>
{{omit from|Clojure}}
=={{header|Common Lisp}}==
| |||