Typed Algebraic Effects have the power to turn flaky mock tests into unit tests
5
14
86
Conversation
Too bad that ReasonML/OCaml do not support that well.
1
Does any production language support typed effects?
1
1
This Tweet was deleted by the Tweet author. Learn more
Correct me if I'm wrong since I don't have much Elm experience beyond evaluating it for a project, but isn't Elm's effect system pretty basic. For example, It's not possible to define first-class effects at the type level, and it's impossible to define higher-order effects.
1
This Tweet was deleted by the Tweet author. Learn more
I don't think it's the same as Haskell. Libraries like polysemy offer effect capabilities (beyond no mocking necessary) that are impossible to model in Elm.
1
This Tweet was deleted by the Tweet author. Learn more
Can you write unit tests for effectful code in Elm?