News for hackers. Stuff that matters.
Re:Bootstrapping Urbit from Ethereum by mrkgnao on Friday October 06, 2017 @12:48AM (#15414493)
Optionals are also "applicative", but Haskellers used them for a long time before applicative functors became popular. A concept can support a certain way of thinking about it without everyone needing to think that way :)
Re:Bootstrapping Urbit from Ethereum by jolux on Friday October 06, 2017 @11:56PM (#15422198)
you don't need to think that way, no, but i was pretty sure that rust optionals were modeled after the maybe monad. perhaps not.
Re:Bootstrapping Urbit from Ethereum by jolux on Friday October 06, 2017 @11:57PM (#15422204)
oh ok i misread your original, you were only referring to type inference. i thought you were saying none of the languages mentioned had monads.