Clojure 1.13 adds support for checked keys

Re:Clojure 1.13 adds support for checked keys by IceDane on Monday July 06, 2026 @04:02PM (#48809753)

Slowly but surely dynamic programming proponents discover the value of statically verifiable correctness. Who'd have thought?

[ Parent | on HN ]

Re:Clojure 1.13 adds support for checked keys by lastofus on Monday July 06, 2026 @05:46PM (#48810901)

Snarkiness aside, this is hardly a static type check. This appears to be a runtime argument check, somewhat akin to the following python:

  def foo(*, a, b): return a+b

which errors out at runtime if `a` or `b` are omitted, despite being keyword arguments which are usually optional.

[ Parent | on HN ]

Re:Clojure 1.13 adds support for checked keys by beders on Monday July 06, 2026 @06:58PM (#48811580)

Oh we know. That's why static types are a la carte in Clojure. You can have them if you really really want them.

[ Parent | on HN ]