Live data from Hacker News

Bootstrapping Urbit from Ethereum

urbit.org

171–172 of 172 posts

Re: Bootstrapping Urbit from Ethereum

#171
post #169

Earlier quoted context omitted.

Arguably optionals are monadic.

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 :)

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

#172
post #171

Earlier quoted context omitted.

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 :)

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.

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.
Post reply on HN