@neauoire @klardotsh looks like you are in the Maybe monad... and maybe bind is the concatenation you are looking for...
Top-level
@neauoire @klardotsh looks like you are in the Maybe monad... and maybe bind is the concatenation you are looking for... 3 comments
@neauoire @chainik @klardotsh I can imagine a Maybe monad in joy looking something like wordThatReturnsMaybe [doSomethingToResult] map or wordThatReturnsMaybe @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 :) |
@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?