There's some friction there, but in practice it's easy to work around most of th...

roca on Dec 3, 2019 | parent | context | favorite | on: Microsoft is creating a new Rust-based programming...

There's some friction there, but in practice it's easy to work around most of the time. I'm not sure extending the type system there is worth the weight.