> 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
Could you explain what predicates are? I've never seen the concept of predicates put forth as an alternative to types
Rich Hickey, creator of Clojure, talks more comprehensively about this view in his talk on Clojure Spec (called "Speculation").