Hacker News new | past | comments | ask | show | jobs | submit login

I just wanted to say that I've finally taken a look at Koka after hearing you mention in on HN many times. It's very nice! I appreciate how it provides most of the bang of effect types much more conveniently than one might expect with the explicit monadic structuring going on in Haskell.

Have you looked at Frank [0] by any chance? It has a very similar row-effect type (I guess these were both first explored in Eff?) but in a CBPV language which makes it clear how pure values are separated from effectful computation.

[0] http://homepages.inf.ed.ac.uk/slindley/papers/frankly-draft-...

I'm not versed in this area, but I listen to Daan talk about Koka a lot. You might want to ask him directly about Frank.

Applications are open for YC Winter 2020

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact