march-language/march

March is a statically-typed functional language: actors and message passing from the BEAM, algebraic data types from ML, compiled to native binaries through LLVM.

语言：OCaml · GitHub 星标：22 · Fork：1

话题：actor-model · affine-types · algebraic-data-types · capabilities · functional-programming · hindley-milner · linear-types · perseus

在 GitHub 上查看原仓库