search

bootstarted / effects

Almost-extensible effects for Elixir.
27 stars 0 forks source link

Rename `Free` to `Effect`, applicative currying, update docs. #1

Closed izaakschroeder closed 8 years ago

izaakschroeder commented 8 years ago

WIP. Mostly looking at how accessible/accurate the README is shaping up to be right now. Will probably ping for another round of review after it's a bit more complete. Would like to solidify the nomenclature, particularly. Best to click "View" on README just leave comments. 😄

type-safe is probably too strong a word... supposed to work with dialyzer.. so type-safe-ish?

Will probably strip the currying stuff into another PR.

/cc @jamesdphillips @expede @nealgranger

expede commented 8 years ago

type-safe is probably too strong a word... supposed to work with dialyzer.. so type-safe-ish?

Yeah, definitely not type-safe (99.9% sure that it needs to be able to resolve down to concrete types). Again, not completely sure, but I think that Dialyzer won't be able to reason about abstract types sufficiently at compile-time to make algebraic claims about type resolution.

...how about "softly typed"?