OvermindDL1

> 'type-safe expressive Elixir' resonates with me, definitely. I really should work on this playground more someday... ^.^; https://github.com/overminddl1/typed_elixir/ > When did Evan ask you to change the slogan and...

I can *easily* see an Effect Manager being a Process on the BEAM since they communicate to the main elm 'application' via messages back and forth and all.

I entirely agree that global state is bad, for certain. As for the effect, let me give some reference. Elm's Effects are not named that because they are 'effectful', but...

I honestly think that Elm's normal Effect Modules make Algebraic Effects quite naturally. It is a bit more verbose than the lower-level MC-OCaml (oddly enough) but it is clearer, I'd...

I'll look at it more tomorrow, but why not just use the normal `effect` system of Elm but map it to a GenServer? It would allow a more concise syntax,...

Actually an idea. You know that Elm Effects take a message as a subscription or direct call, perhaps if the first argument back is a special PID type as a...

> A call blocks until it replies. If it returned a message then not only it wouldn't block but also it would put the message on the top of the...

You might be able to generate these with some of the elixir property testing libraries to save work.

Well as me, I definitely do *not* want yarn to be a requirement. ^.^; NPM is 'acceptable' but would prefer not to have it as well. Thus pre-baking core.js into...

Oh, and definitely want ES6 output if possible rather than a single entire core javascript, much easier and more reliable to tree shake than considering all the indirect calls.