search

ponylang / ponyc

Pony is an open-source, actor-model, capabilities-secure, high performance programming language
http://www.ponylang.io
BSD 2-Clause "Simplified" License
5.74k stars 415 forks source link

Revisit recover typechecks with reference origin tracking. #2217

Open jemc opened 7 years ago

jemc commented 7 years ago

We want to revisit the way we do recover typechecks, using a system like what @plietar proposed in https://github.com/ponylang/ponyc/pull/2043#issuecomment-319835433.

This would let the compiler to recognize a larger set of programs as being valid and safe.

jemc commented 4 years ago

Note that the "isolated regions" ideas mentioned by @plietar in https://github.com/ponylang/ponyc/pull/2043#issuecomment-319835433 have now been implemented by him and others in the Verona runtime and language.

As we work to target the Verona runtime for Pony programs (or Pony-like programs), we can consider this topic as an additional language change that would be supported in a first-class way by the Verona runtime, and we can benefit from the further thought and development that have gone into these ideas by all the fine folks working on Verona.