Federico Carrone

This is a great article https://joeduffyblog.com/2016/02/07/the-error-model/. Multiple languages (Austral and I think that Vale or Odin) use it to explain the types of errors that exist. We should do the...

https://verdagon.dev/blog/single-ownership-without-borrow-checking-rc-gc https://www.reddit.com/r/ProgrammingLanguages/comments/14a79va/single_ownership_and_memory_safety_without_borrow/

https://github.com/pen-lang/pen

Check other languages implemented in Rust for ideas

1

https://github.com/alilleybrinker/langs-in-rust

https://github.com/Kixiron/rust-langdev

Inko has some similar ideas in terms of semantics by mixing Erlang/Pony but it's higher level than Concrete. We can check some of it's ideas. https://inko-lang.org/

https://chapel-lang.org/

Many of the ideas we built on have been popularised by Rust, such as borrowing and linearity, and Pony, such as reference capabilities. https://github.com/microsoft/verona/blob/master/docs/faq.md

Check Erlang, Gleam, Inko and Pony for actor and runtime design

2

Gleam is a compiled to BEAM programming language with Rust like syntax. We should copy some of the ideas of how they implemented their own OTP solution. - https://github.com/gleam-lang/otp

- [Erlang Factory SF 2016 Keynote Phoenix and Elm – Making the Web Functional](https://youtu.be/XJ9ckqCMiKk) - [Richard Feldman - Introduction to Elm](https://youtu.be/zBHB9i8e3Kc?list=PLhCcS9axTPai-wgCftu1MVyXDCkNp42jz) - [Tomasz Kowal - Elixir and Elm - the...