Spec for information modelling, clj-kondo for static analysis (which recognises Java's type hints)
Most people forget there is a Java type system there in Clojure that can be checked statically for mistakes
Regarding information modelling, information is more dynamic than most people realize:
"If your program deals with information, these are among your primary problems: information is sparse,
incrementally accumulated, open/ extensible, conditionally available, formed into arbitrary sets in
different contexts, merged with other information etc"
Which is why we need something more flexible than sum/union/maybe types for specification, spec 2 should hopefully be a very good system for this
Spec for information modelling, clj-kondo for static analysis (which recognises Java's type hints)
Most people forget there is a Java type system there in Clojure that can be checked statically for mistakes
Regarding information modelling, information is more dynamic than most people realize:
"If your program deals with information, these are among your primary problems: information is sparse,
incrementally accumulated, open/ extensible, conditionally available, formed into arbitrary sets in
different contexts, merged with other information etc"
Which is why we need something more flexible than sum/union/maybe types for specification, spec 2 should hopefully be a very good system for this
youtube.com/watch?v=vK1DazRK_a0
Great video, by the way. Love the comparisons of jQuery and React, and the evolution of state in React. Lots of good stuff in there.