@chainik @klardotsh monad? in point-free assembly? I'm having trouble understanding what that might look like. Do you have a link on monads in Joy or Factor?
Top-level
@chainik @klardotsh monad? in point-free assembly? I'm having trouble understanding what that might look like. Do you have a link on monads in Joy or Factor? 2 comments
@neauoire @klardotsh i don't have a concrete suggestion because my head isn't in the details. abstractly, i recognise Maybe and if the rest of the computation was happening in the monad it would type check :) |
@neauoire @chainik @klardotsh I can imagine a Maybe monad in joy looking something like
wordThatReturnsMaybe [doSomethingToResult] map
or
wordThatReturnsMaybe
[anotherWordThatReturnsMaybe] flatMap