Stream: beginners

Topic: backpassing

Qqwy / Marten (Jun 16 2022 at 15:50):

I have some questions about backpassing:

• I saw that "multiple things" could be returned from a single backpass. Is this syntactic sugar on pattern matching a tuple, or something special?
• Are arbitrary pattern matches supported? (If so, what happens if they fail?)

Richard Feldman (Jun 16 2022 at 16:06):

backpassing is syntactic sugar for lambdas

Richard Feldman (Jun 16 2022 at 16:07):

so you can do anything with them that you could do with a lambda, and vice versa

Richard Feldman (Jun 16 2022 at 16:08):

so for example, these desugar to the same thing:

foo bar baz (\arg1, arg2, arg3 -> blah blah)

arg1, arg2, arg3 <- foo bar baz

blah blah

Richard Feldman (Jun 16 2022 at 16:08):

backpassing is sort of like "writing the lambda backwards"

Richard Feldman (Jun 16 2022 at 16:09):

the feature doesn't do anything other than being syntactic sugar for a lambda

Folkert de Vries (Jun 16 2022 at 16:09):

and within an arg, you can have a pattern, but that must be exhaustive

Richard Feldman (Jun 16 2022 at 16:09):

right, same as a lambda

Qqwy / Marten (Jun 16 2022 at 21:28):

Thanks a lot! Makes a lot of sense.
(And sidestepping the whole 'MonadFail' debacle is probably a smart choice :upside_down: )

James Brock (Feb 11 2023 at 01:20):

Can I describe “backpassing” as “do-notation for continuation-passing-style?”

James Brock (Feb 11 2023 at 01:26):

Maybe not because backpassing only allows for one continuation.

Last updated: Jul 05 2025 at 12:14 UTC