Nim has merged first class view types and their lifetime tracking:
- https://github.com/nim-lang/RFCs/issues/178
- https://nim-lang.org/docs/manual_experimental.html#view-type...
- https://github.com/nim-lang/RFCs/issues/178
- https://nim-lang.org/docs/manual_experimental.html#view-type...
Nim's views (and also their ORC system) is closer to Rust/Swift/C++ than it is to Lobster, in the sense that it is all very explicitly programmer driven with explicit type annotations.
Lobster's system is fully automatic and almost entirely transparent to the user.