2 ms·
From what I've seen core.typed isn't all that much more verbose than Scala annotations and certainly a hell of a lot more readable.
by yogthos 12y ago
From what I've seen core.typed isn't all that much more verbose than Scala annotations and certainly a hell of a lot more readable.
- frowaway001 12y ago(defalias AnyMonad "A monad with bind, result, and optionally zero and plus." (TFn [[m :< (TFn [[x :variance :covariant]] Any)]] '{:m-bind (All [x y] [(m x) [x -> (m y)] -> (m y)]) :m-result (All [x] [x -> (m x)]) :m-zero (U (All [x] (m x)) Undefined) :m-plus (U (All [x] [(m x) * -> (m x)]) Undefined)})) If you say so ...
- yogthos 12y agonot really sure what the problem here is...