Email or username:

Password:

Forgot your password?
Top-level
418 I'm a Teapot

@neauoire @klardotsh looks like you are in the Maybe monad... and maybe bind is the concatenation you are looking for...

3 comments
Devil Lu Linvega

@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?

Avi Bryant

@neauoire @chainik @klardotsh I can imagine a Maybe monad in joy looking something like

wordThatReturnsMaybe [doSomethingToResult] map

or

wordThatReturnsMaybe
[anotherWordThatReturnsMaybe] flatMap

418 I'm a Teapot

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

Go Up