Mech Documentation

Getting Started

1. Introduction

2. Install Mech

3. Build and Run Mech Programs

4. Mech REPL

5. Your First Mech Program todo

Platform Reference

Data Model

• Data Types

• atom - symbolic constants, often used for tags or enums

• bool - logical values for true and false

• empty - represents an absence of value

• kind - a category of values

• number - numeric values, including integers and floating-point numbers

• string - sequence of UTF-8 characters representing text

• Data Structures

• map - stores key-value pairs for fast lookups

• matrix - 2D array of homogenous values arranged in rows and columns

• record - groups related fields, usually for representing structured data

• set - unordered collection of unique values

• table - collection of heterogeneous data organized into rows and columns

• tuple - fixed-size, ordered grouping of heterogeneous values

• Statements and Expressions

• Defining, Assigning, and Accessing Data todo - create data and change it

• Data Conversion todo - convert data from one kind to another

• Expression Broadcasting - apply operations over data structures

• Indexing - access elements within data structures

Program Model

• Functions

• Error Handling todo

• Comprehensions

• State Machines todo

• Synthesis and Generation todo

• Tests todo

• Programs todo

Functions

Functions are branch-based and use pattern matching over inputs.

See: Functions Reference

Comprehensions

Comprehensions construct sets from generators and predicates in a concise declarative form.

See: Comprehensions Reference

System Model

• Modules

• Capabilities

• Distributed Computation

• Concurrency

Mechdown Reference

• Introduction

• What is Mechdown? todo

• Writing Mechdown Documents todo

• Mechdown Syntax Overview todo

• Mechdown Documents todo

• Sections and Subsections todo

• Tables of Contents todo

• Bredcrumbs todo

• Document Metadata todo

• Document Elements

• Title

• Paragraph

• List

• Code Block

• Table

• Image

• Thematic Break

• Equation

• Callout Block

• Diagram

Standard Library

• Assign todo

• Access todo

• Combinatorics todo

• Compare todo

• Convert todo

• Io todo

• Logic todo

• Math

• Matrix todo

• Range todo

• Set

• Stats todo

• String todo

Guides

• Mech in Fifteen Minutes

• Tutorials todo

Project Design Documents

• Platform Specification

• Design Principles todo

• Syntax Design Notes todo

• History todo

• Roadmap

Examples

• Fizz Buzz - a classic programming exercise that demonstrates the use of Mech's data model and operators.

• N-Body Simulation - a simulation of gravitational interactions between multiple bodies.

• Extended Kalman Filter - an implementation of the Extended Kalman Filter algorithm for state estimation.

document/index:={name:"docs", version:"v0.3.2", authors:[
"Corey Montella"
], machine-url:"https://gitlab.com/mech-lang/mech/docs", license:"Apache-2.0"}