The Big Oops in Type Systems: This Problem Extends to FP as Well

(danieltan.weblog.lol)

17 points | by ksymph a day ago ago

1 comments

  • rowanG077 2 hours ago ago

    I laughed out loud when they popped out the clojure business rule that is supposedly directly verifiable by domain experts, when even I as a developer struggle to read it. And that is with some lisp experience years ago.