Hacker News new | ask | show | jobs
by IceDane 22 days ago
Slowly but surely dynamic programming proponents discover the value of statically verifiable correctness. Who'd have thought?
2 comments
lastofus 22 days ago
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.
link
beders 22 days ago
Oh we know. That's why static types are a la carte in Clojure. You can have them if you really really want them.
link