Skip to main content
How it worksMotoko Smart Contract Language

Motoko Smart Contract Language

Motoko is a new programming language for smart contracts. It is designed to seamlessly support the programming model of the Internet Computer and makes it easier to take advantage of the unique features of the blockchain. Motoko is strongly typed, actor-based, and has built-in support for orthogonal persistence and asynchronous message passing. Productivity and safety features include automatic memory management, generics, type inference, pattern matching, and both arbitrary- and fixed-precision arithmetic. Messaging transparently employs the Internet Computer’s Candid interface definition language and wire format for typed, high-level, and cross-language interoperability.

More academy sessions

Internet Computer Blockchain Overview

Internet Computer Blockchain Overview

Learn more
Chain Key Cryptography

Chain Key Cryptography

Learn more
Network Nervous System: Internet Computer Blockchain Governance

Network Nervous System: Internet Computer Blockchain Governance

Learn more
Noninteractive Distributed Key Generation

Noninteractive Distributed Key Generation

Learn more
Internet Identity: Anonymizing Blockchain Authentication System

Internet Identity: Anonymizing Blockchain Authentication System

Learn more
Internet Computer Consensus

Internet Computer Consensus

Learn more
Peer-to-Peer Layer

Peer-to-Peer Layer

Learn more
Resumption

Resumption

Learn more
Blockchain Protocol Upgrade

Blockchain Protocol Upgrade

Learn more
Message Routing

Message Routing

Learn more
Canister smart contract lifecycle

Canister smart contract lifecycle

Learn more
Certified Variables

Certified Variables

Learn more
Direct Integration with Bitcoin

Direct Integration with Bitcoin

Learn more
Threshold ECDSA Signing

Threshold ECDSA Signing

Learn more
Ingress Message Lifecycle

Ingress Message Lifecycle

Learn more
State Synchronization

State Synchronization

Learn more