Type Signatures

In the spirit of making Oden code more understandable and to help the developer writing the code, support for type signatures has been added in Oden 0.2.1.

Type signatures are optional but recommended to use. Read more about defining functions and type signatures in the Language Reference.

(: incr (int -> int))
(def (incr n) (+ n 1))

(: twice ((#a -> #a) -> #a -> #a))
(def (twice f x) (f (f x)))

(: two int)
(def two (twice incr 0))

Please try the feature out in the Oden Playground and don’t hesitate to report issues on GitHub.

EDIT 2016-01-26: Update for 0.2.1