4 ms·
> Uses predicates rather than declarative types. Could you explain what predicates are? I've never seen the concept of predicates put forth as an alternative t
by akkad33 1y ago
> Uses predicates rather than declarative types.
Could you explain what predicates are? I've never seen the concept of predicates put forth as an alternative to types
- jonahbenton 1y agoSorry- "predicates" == boolean functions. Types operationalize as assertions- boolean functions, predicates, whatever- applied at different stages (to code at compile time, to data at runtime). That's mechanically what types are. Rich Hickey, creator of Clojure, talks more comprehensively about this view in his talk on Clojure Spec (called "Speculation").