Giters

RejoiceOwoh / motoko

Simple high-level language for writing Internet Computer canisters

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Motoko · GitHub license Tests PRs Welcome

A safe, simple, actor-based programming language for authoring Internet Computer (IC) canister smart contracts.

User Documentation & Samples

Introduction

Motivation and Goals

  • High-level language for programming IC applications

  • Simple ("K.I.S.S.") design and familiar syntax for average programmers

  • Good and convenient support for actor model

  • Good fit for underlying Wasm and IC execution model

  • Anticipate future extensions to Wasm where possible

Key Design Points

  • Simple class-based OO language, objects as closures

  • Classes can be actors

  • Async construct for direct-style programming of asynchronous messaging

  • Structurally typed with simple generics and subtyping

  • Overflow-checked number types, explicit conversions

  • JavaScript/TypeScript-style syntax but without the JavaScript madness

  • Inspirations from Java, C#, JavaScript, Swift, Pony, ML, Haskell

Related repositories

Community resources

About

Simple high-level language for writing Internet Computer canisters

License:Apache License 2.0

Languages

Language:OCaml 51.9%Language:Swift 29.6%Language:Rust 9.8%Language:Haskell 2.7%Language:Nix 1.5%Language:TeX 1.4%Language:Shell 1.1%Language:JavaScript 0.6%Language:Makefile 0.6%Language:Emacs Lisp 0.3%Language:Perl 0.2%Language:Python 0.1%Language:sed 0.1%Language:WebAssembly 0.0%Language:Standard ML 0.0%Language:C 0.0%Language:HTML 0.0%