Borrow-checking without type-checking

(scattered-thoughts.net)

33 points | by jamii 2 hours ago

1 comments

  • Panzerschrek 17 minutes ago
    In my programming language I have some sort of "borrowing" too (although it's named differently). But my language has no dynamic typing, only static typing is used and thus all checks are compile-time and have no runtime cost. Why bothering with dynamic typing and paying runtime costs for it?
    • jamii 16 minutes ago
      > The goal is that most of your code can have the assurances of static typing, but you can still opt in to dynamically-typed glue code to handle repls, live code reloading, runtime code generation, malleable software etc.