Can the idea of Affine (relaxed Linear) Types be implemented in an untyped setting to enable safe mutations?

前端 未结 0 471
无人共我
无人共我 2020-12-21 01:38

It\'d be useful if I could use safe in-place destructive updates on Arrays and Maps every now and then. Linear types are a technique to allow safe

相关标签:
回答
  • 消灭零回复
提交回复
热议问题