Motoko

A high-level, actor-based language designed specifically for building secure, scalable decentralized applications on the Internet Computer.

Motoko streamlines Web3 development by integrating the Actor Model directly into its syntax, allowing for seamless asynchronous messaging and automatic state persistence. It features a robust type system (derived from ML and Haskell) that prevents common memory errors and ensures safety in high-stakes financial environments. Developers benefit from built-in support for Orthogonal Persistence, which eliminates the need for external databases or manual serialization by preserving the program's heap across upgrades. With native support for Candid (an interface description language), Motoko ensures precise type-checking across service boundaries, making it the primary choice for deploying high-performance canisters on the IC.

https://internetcomputer.org/docs/current/motoko/main/motoko