Conversation

This is something I would be interested in too. Lots of publications tend to treat effects in isolation, but not in the context of larger ecosystems. What does the migration story look like?

Quote Tweet

Aria the Cat

@Gankra_

· Feb 7, 2018

has anyone ever researched/documented the interaction between encoding a large number of effects/dependent-types and API evolution? I'm concerned "usable" forms require lots of inference, which means lots of potential breaking changes to public APIs.

Show this thread

Brendan Zabarauskas

@brendanzab

Feb 8, 2018

I believe Purescript had trouble agreeing on common primitive effects, but that was exacerbated by their lack of the ability to re-interpret them into other effects.

Brendan Zabarauskas

@brendanzab

Not sure if there has been any experience with adding and removing them. But then, shouldn't one be worried about that anyway if you are maintaining a library? While not specified by your types (without effects), they might inadvertently break your consumers anyway.

12:14 AM · Feb 8, 2018Twitter Web Client

Quote Tweet