Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
Typed Clojure, an optional type system for Clojure
2017-07-07T05:31:40.332728Z
@mrchance How would it?
2017-07-07T14:48:58.223148Z
@didibus Well, the return type of a function is obviously the type of the body, and if y is used as an arg to +, then it must be a number. Sounds pretty straightforward to me.
2017-07-07T14:49:36.244786Z
I am reasonably sure that Haskell could infer it
2017-07-07T14:54:23.410807Z
It can
2017-07-07T14:55:59.468158Z
test x = x + 5
*Main> :t test
test :: Num a => a -> a