HackerTrans
TopNewTrendsCommentsPastAskShowJobs

lastofus

711 karmajoined 12 tahun yang lalu

comments

lastofus
·4 hari yang lalu·discuss
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.
lastofus
·4 bulan yang lalu·discuss
As a long time Django user that wants to start using typing, can you elaborate on why mypy is still the way to go?