pure/encoded within the type system Project’s domain models(types/algebra) are a superset of the Arrows types/algebra We have a common language to describe computation
pure/encoded within the type system Project’s domain models(types/algebra) are a superset of the Arrows types/algebra We have a common language to describe computation The domain algebra is decoupled from the projects implementation Ad-hoc polymorphism
pure/encoded within the type system Project’s domain models(types/algebra) are a superset of the Arrows types/algebra We have a common language to describe computation The domain algebra is decoupled from the projects implementation Ad-hoc polymorphism (soon-ish KEEP#87)