3 ms·
The point is to not violate the type safety of the language used. There are plenty of dynamic languages that don't offer a solution to the expression problem.
by fnordsensei 12y ago
The point is to not violate the type safety of the language used. There are plenty of dynamic languages that don't offer a solution to the expression problem.
With that said, you can add gradual typing to Clojure with Core.Typed and still solve the expression problem using multimethods without violating type safety.