Conversation

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.

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

Brendan Zabarauskas

@brendanzab

Jul 21, 2019

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).

Joe Groff

@jckarter

Jul 21, 2019

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

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

Replying to

Still seems like a weird example to start off with.

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

Replying to

and

I agree, it's theoretically cool, but not as cool IMO as showing how throw/catch, async/await, and yield could all be modeled by one abstraction

Brendan Zabarauskas

@brendanzab

Jul 21, 2019

yeah, that's what excites me. also saying bye bye to dependency injection