Structural typing for Clojure, somewhat inspired by Elm. Tailored to "flow-style" programming, where complex structures flow through a series of functions, each of which makes a smallish change. Can also be used in testing tools and the like that need to describe how a nested structure differs from a description.
Right now, all-built-like :Type <sequence> just (in effect) mapcats built-like over the sequence. Perhaps it should instead do the equivalent of (built-like {[ALL] (includes :Type)})?
Right now,
all-built-like :Type <sequence>
just (in effect) mapcatsbuilt-like
over the sequence. Perhaps it should instead do the equivalent of(built-like {[ALL] (includes :Type)})
?