These are chat archives for got-lambda/expression

30th
Aug 2018
Jean-Louis Giordano
@Jell
Aug 30 2018 05:35
that’s interesting... I thought it was pretty cool, but I never used Eff in anger either, do you have some perspective on the trade-off and why they went that way?
Erik Svedäng
@eriksvedang
Aug 30 2018 06:18
how many people here would be interested in going out for a beer tomorrow after work?
jolod
@jolod
Aug 30 2018 09:42
Don't know that number, but I would be interested. :-)
jolod
@jolod
Aug 30 2018 09:47
@Jell As I understand, there were a couple of reasons for dropping it and I can relate to them all. The first was that it could be hard to get the rows to line up, and in a non-trivial program you have many rows. Second, libraries need to agree on the row. Otherwise you will have both console :: CONSOLE and c :: OtherLibrary.CONSOLE as rows. Third, it's a phantom type, so it doesn't actually do anything other than restrict what you can do. It's not like algebraic effects where you can reinterpret the effect.
I do like that you can restrict what you can do in the type though, but mostly I think because it feels good to know that a piece of code only write to the console, not to disc, for instance. I haven't had to use that in practice though, but then I haven't debugged much as that level.
jolod
@jolod
Aug 30 2018 09:55
But I also wanted to be able to reinterpret side effects, so I think it should either be done "properly" (like using https://github.com/natefaubion/purescript-run) or not at all, as was decided.
I do think that maybe calling it Effect could prove be unfortunate, especially since FP people use the word effect for any monad basically, even Maybe or error handling using Either, which is very much pure.
Erik Svedäng
@eriksvedang
Aug 30 2018 11:03
@jolod Well, 2 is a party!
Jean-Louis Giordano
@Jell
Aug 30 2018 11:28
thanks for he insight @jolod
I’m currently in Vadstena for a workshop so no beer for me @eriksvedang
Erik Svedäng
@eriksvedang
Aug 30 2018 13:03
ok, too bad!
Pierre Krafft
@Zalastax
Aug 30 2018 15:59
I would have liked to join but I'm going on an "Away day" with my workplace
Do it again soon and I'll hopefully make it!