Brendan Zabarauskas on Twitter: "@jckarter @msimoni @reifyreflect I still don't know what `amb` stands for/is short for, which is a big red flag (saw it first in the Koka book ages ago)." / Twitter

This Tweet was deleted by the Tweet author. Learn more

Sam Lindley

@reifyreflect

Jul 20, 2019

Interesting that you think features such as async/await, generators/iterators, coroutines, actors, etc, are esoteric.

1

This Tweet was deleted by the Tweet author. Learn more

Joe Groff

@jckarter

Jul 21, 2019

`amb` is a parlor trick that effects system researchers should probably stop trotting out. Most of the practical applications of effect systems would work just fine with one-shot continuations

3

6

Replying to

and

I still don't know what `amb` stands for/is short for, which is a big red flag (saw it first in the Koka book ages ago).

10:24 PM · Jul 21, 2019Twitter Web Client

Replying to

and

It's akin to the list monad in Haskell, representing a computation that may have zero, one, or N results.

3

Replying to

and

(I think it's specifically supposed to be short for "ambivalent")

1

Brendan Zabarauskas

@brendanzab

Jul 21, 2019

Oh wait, I reread the tutorial, and it seems to be short for 'ambiguity' is this the same `amb` you meant? koka-lang.github.io/koka/doc/kokas

1

Show replies

Conversation