Quick introΒΆ

Great programmers should use great tools! Writing bug-free software is hard, but Mango is a language that has your back:

  • Prevent mistakes with a strong, static type system

  • Write composable code using immutability by default

  • Prevent data races using ownership (affine types)

  • Never forget to handle errors or clean up resources with linear types

  • Describe state precisely through non-nullabiity and sum types

  • Trust your invariants with easy enforcement

  • Catch errors early by doing things compile-time when possible

(These are planned features and are subject to change.)

The guiding principle is that you should be able to reason about small parts of code, because Mango pushes your colleagues towards good design, and there are many invariants that you can rely on.