1. 5
  1.  

  2. 1

    The paper provides the technical details missing from the blog post. https://arxiv.org/pdf/2106.06278.pdf

    Summary: adding gradual typing to a dynamically typed language is more difficult and more of a research project than I had initially imagined.