Merge branch 'v0.2-beta' into 'main'

v.0.2.48-beta

See merge request mech-lang/mech!123

Author: cmontella

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "mech"
-version = "0.2.47"
+version = "0.2.48"
 authors = ["Corey Montella <[email protected]>"]
 description = "Mech is a reactive programming language for building robots, games, and animations."
 documentation = "https://mech-lang.org/docs"
@@ -18,11 +18,11 @@ gitlab = { repository = "mech-lang/mech", branch = "main" }
 maintenance = { status = "actively-developed" }
 
 [dependencies]
-mech-core = "0.2.47"
-mech-syntax = "0.2.47"
-mech-interpreter = "0.2.47"
+mech-core = "0.2.48"
+mech-syntax = "0.2.48"
+mech-interpreter = "0.2.48"
 
-clap = {version = "4.5.32", features = ["cargo"]}
+clap = {version = "4.5.40", features = ["cargo"]}
 colored = "3.0.0"
 bincode = "2.0.1"
 serde = "1.0.219"
@@ -32,11 +32,11 @@ crossbeam-channel = "0.5.14"
 crossterm = "0.29.0"
 tabled = "0.18.0"
 nalgebra = "0.33.2"
-indexmap = {version = "2.9.0", features = ["serde"]}
+indexmap = {version = "2.10.0", features = ["serde"]}
 nom = "7.1.3"
 ctrlc = "3.4.5"
 csv = "1.3.1"
-reqwest = {version = "0.12.15", features = ["blocking"]}
+reqwest = {version = "0.12.20", features = ["blocking"]}
 chrono = "0.4.40"
 warp = {version = "0.3.7", features = ["compression"]}
 tokio = { version = "1.44.1", features = ["full"] }
@@ -53,7 +53,8 @@ members = [
   "src/syntax",
   "src/interpreter",
   "src/wasm",
-  "notebook"]
+  "notebook",
+  "mech-app/src-tauri"]
 
 [build-dependencies]
 winres = "0.1.12"
@@ -77,13 +78,13 @@ mech-interpreter = { path = 'src/interpreter'}
 #mech-logic = { path = '../machines/logic' }
 
 [patch.'https://gitlab.com/mech-lang/core']
-mech-core = { path = 'src/core', version = '0.2.47' }
+mech-core = { path = 'src/core', version = '0.2.48' }
 
 [patch.'https://gitlab.com/mech-lang/syntax']
-mech-syntax = { path = 'src/syntax', version = '0.2.47' }
+mech-syntax = { path = 'src/syntax', version = '0.2.48' }
 
 [patch.'https://gitlab.com/mech-lang/interpreter']
-mech-interpreter = { path = 'src/interpreter', version = '0.2.47' }
+mech-interpreter = { path = 'src/interpreter', version = '0.2.48' }
 
 #[patch.'https://gitlab.com/mech-lang/wasm']
 #mech-wasm = { path = 'src/wasm', version = '0.2.44' }

docs/I.getting-started/install.mec

@@ -6,7 +6,7 @@ Download and Install Mech
 
 The easiest way to install Mech is to use the installer provided for your platform. The installer includes the `mech` command-line tool, which is a standalone executable that includes everything you need to get started with Mech.
 
-- **Windows** - [x86-64](https://github.com/mech-lang/mech/releases/download/v0.2.47-beta/mech-installer-v0.2.47-beta-win-x86-64.exe)
+- **Windows** - [x86-64](https://github.com/mech-lang/mech/releases/download/v0.2.48-beta/mech-installer-v0.2.48-beta-win-x86-64.exe)
 
 Right now, the installer is only available for Windows, but we are working on providing installers for other platforms in the future.
 
@@ -19,10 +19,10 @@ Precompiled binaries are available for the following platforms:
 
 | OS         | Architecture                                                                                                 |
 | ---------- | ------------------------------------------------------------------------------------------------------------ |
-| **Wndows** | [x86-64](https://github.com/mech-lang/mech/releases/download/v0.2.47-beta/mech-v0.2.47-beta-win-x86-64.7z)   |
-| **Linux**  | [x86-64](https://github.com/mech-lang/mech/releases/download/v0.2.47-beta/mech-v0.2.47-beta-win-x86-64.7z)   |
-| **macOS**  | [aarch64](https://github.com/mech-lang/mech/releases/download/v0.2.47-beta/mech-v0.2.47-beta-mac-aarch64.zip) |
-| **Web**    | [wasm](https://github.com/mech-lang/mech/releases/download/v0.2.47-beta/mech_wasm_bg.wasm.br)                |
+| **Wndows** | [x86-64](https://github.com/mech-lang/mech/releases/download/v0.2.48-beta/mech-v0.2.48-beta-win-x86-64.7z)   |
+| **Linux**  | [x86-64](https://github.com/mech-lang/mech/releases/download/v0.2.48-beta/mech-v0.2.48-beta-win-x86-64.7z)   |
+| **macOS**  | [aarch64](https://github.com/mech-lang/mech/releases/download/v0.2.48-beta/mech-v0.2.48-beta-mac-aarch64.zip) |
+| **Web**    | [wasm](https://github.com/mech-lang/mech/releases/download/v0.2.48-beta/mech_wasm_bg.wasm.br)                |
 
 You can find previous releases and release notes at [/mech-lang/mech/releases](https://github.com/mech-lang/mech/releases).
 

docs/IV.design/specification.mec

@@ -122,7 +122,7 @@ punctuation := period
       | apostrophe ;
 ```
 
-**Examples:**
+(3.2.2.1) Examples
 
 ```
 . ! ? , : ; " ' 
@@ -148,7 +148,7 @@ symbol := ampersand
       | underscore ;
 ```
 
-**Examples:**
+(3.2.3.1) Examples
 
 ```
 & $ | % @ / # = \ ~ + - * ^ _
@@ -167,7 +167,7 @@ grouping-symbol := left-parenthesis
       | right-bracket ;
 ```
 
-**Examples:**      
+(3.2.4.1) Examples
 
 ```
 ( ) < > { } [ ]
@@ -207,32 +207,38 @@ Because Mech has a focus on literate programming, comment have less of an emphas
 
 Therefore, comments are primarily used for writing notes inline with the code that cannot be broken out into a paragraph. For example, to make a note within a state machine definition.
 
-**Examples:**
+(3.3.1) Examples
 
 Here are some ways to write a comment in Mech:
 
 ```
-  -- Single line comment.
-  // Also a single line comment.
+  -- Comment prefix with --
+  // Comment prefixed with //
+  -- Supports formatting like **bold**, __underline__, `inline code`, and [links](https://example.com).
   x := 1 -- Comment after an expression
 ```
 
 When parsed and rendered, these become:
 
-```mech-comment
+```mech:disabled
   -- Comment prefix with --
   // Comment prefixed with //
+  -- Supports formatting like **bold**, __underline__, `inline code`, and [links](https://example.com).
   x := 1 -- Comment after an expression
 ```
 
+One special ability comments have is they can be used to print out the evaluation of a Mech code statement.
+
+qq := 10 * 20     -- The value of qq is {qq}
+
 (3.4) Keywords
 
 There are only two keywords in Mech: `true` and `false`. Because Mech is designed to be used by non-English speakers, the syntax allows for an alternative representation, which can be used in place of the English keywords.
 
-| Keyword | Alternative |
-|---------|-------------|
-| true    | ✓           |
-| false   | ✗           |
+| Keyword   | Alternative |
+|-----------|-------------|
+| `true`    | `✓`         |
+| `false`   | `✗`         |
 
 This allows users to write code in their native language without the need to learn English keywords.
 
@@ -281,12 +287,13 @@ Mech supports several types of literals, which are used to represent values in t
       - `f32` - 32-bit floating-point number
       - `f64` - 64-bit floating-point number
   - **Imaginary** - Represent imaginary components of complex numbers.
-- **String** - A sequence of UTF-8 characters representing text.
-  - `string` - A sequence of characters enclosed in double quotes.
-- **Boolean** - Represents logical truth values.
+- **String**
+      - `string` - A sequence of UTF-8 characters representing text.
+- **Boolean** 
+      - `bool` - Represents logical truth values.
 - **Atom** - A symbolic constant, often used for tags or enums.
-- **Empty** - Represents an empty value, placeholder, or the absence of a value.
-- **Kind** - A meta-type that categorizes types
+- **Empty**
+      - `_` - Represents an empty value, placeholder, or the absence of a value.
 
 (4.1) Kinds
 
@@ -334,15 +341,12 @@ Kinds are used to specify the type of a literal or expression in Mech. Kinds are
 
 **Examples:**
 
-```
 <_>             -- Empty         
 <`A>            -- Atom         
 <{A:B}>         -- Map          
-<(A,B)=(C,D)>   -- Function                    
 <{A}>           -- Set              
 <[A]>           -- Matrix              
 <(A,B,C)>       -- Tuple              
-```
 
 (4.2) Numbers
 
@@ -364,7 +368,7 @@ An integer literal is a sequence of digits representing a whole number. Mech sup
 - Octal: Prefixed with 0o, containing digits 0-7 (e.g., 0o755).
 - Binary: Prefixed with 0b, containing only 0 and 1 (e.g., 0b1010).
 
-**Examples:**
+(4.2.1.1) Examples
 
   42                  -- decimal
   0d42                -- decimal
@@ -373,13 +377,15 @@ An integer literal is a sequence of digits representing a whole number. Mech sup
   0o12345670          -- octal 
   0b100110101         -- binary
 
+(4.2.1.2) Kind
+
 By default, Mech can represent integers in the following data types:
 
 - Signed: `i8`, `i16`, `i32`, `i64`, `i128`
 - Unsigned: `u8`, `u16`, `u32`, `u64`, `u128`
 - Float: `f32`, `f64`
 
-Unless specified or inferred, the default data type for integer literals is `f64`. This is different from many systems languages but consist with other languages like Python, JavaScript, and Ruby.
+Unless specified or inferred, the default data type for integer literals is `f64`. This is different from many systems languages but consist with other languages like Matlab, Python, and Javascript.
 
 (4.2.2) Fractional Numbers
 
@@ -404,7 +410,7 @@ A floating-point literal represents a real number, potentially with a fractional
 - **Scientific notation**: A number followed by e or E, then an optional sign and exponent (e.g., `2.5e10`, `1e-3`)
 - **Rational literals**: A fraction of two integers separated by `/` (e.g., `3/4`, `22/7`) — these may be evaluated as exact values or approximated depending on context.
 
-**Examples:**
+(4.2.2.1) Examples
 
   3.14         -- decimal float
   0.001        -- decimal float
@@ -657,9 +663,14 @@ A Set is defined using curly braces `{}` and contains a comma-separated list of
 
 (5.2.4) Kind
 
-```
-<{u8}:3>
-```
+The kind of a set consists of:
+
+- The kind of the elements
+- The number of elements, which can be dynamic or fixed
+
+<{u8}>            -- Generic set of unsigned 8-bit integers
+<{u8}:3>          -- Set of 3 unsigned 8-bit integers
+<{{i8}}>          -- Set of sets of signed 8-bit integers 
 
 (5.3) Map
 
@@ -696,27 +707,30 @@ A Map is defined using curly braces `{}` and contains a set of key-value mapping
 
 (5.3.3) Examples
 
-```
-- Empty:             {_:_}
-- Single element:    {"a":1}
-- Multiple elements: {"a":10, "b":20, "c": 30}
-- Nested:            {"a":{"a":10}}
-- Multiline:
-    { "a" : 10 
-      "b" : 20
-      "c" : 30 }
-```
+{_:_}                       -- Empty map
+{"a": 1}                    -- Map with a single key-value pair
+{1: 0xA, 2: 0xB, 3: 0xC}    -- Map with multiple key-value pairs
+{"a": {"b": 10}}            -- Nested map
+{ "a" : 10                 
+  "b" : 20
+  "c" : 30 }                -- Multiline map
 
 **Edge Cases**
 
 - `{_:_}` represents an empty map.
-- Duplicate keys result in an overwrite of the previous value, as long as the map is mutable.
-- `{1: "hello", 2: "world"}` is valid, but `{1: "hello", "one": "world"}` results in a type error if homogeneity is enforced.
+- If the map is mutable, inserting a duplicate key overwrites the previous value
+- `{1: "hello", 2: "world"}` is valid, but `{1: "hello", "one": "world"}` results in an error, as the keys are not homogenous.
 
 (5.3.4) Kind
 
-- A map of strings to u8s: `<{string:u8}>`
-- A map of strings to a map of strings to u8: `<{string:{string:u8}}>`
+The kind of a map consists of:
+
+- The kind of the keys
+- The kind of the values
+- The number of key-value pairs, which can be dynamic or fixed
+
+<{string:u8}>           -- A map of strings to unsigned 8-bit integers
+<{string:{string:u8}}>  -- A map of strings to a map of strings to unsigned 8-bit integers
 
 (5.4) Tuple
 

docs/index.mec

@@ -66,7 +66,7 @@ Mech Programming Language Documentation
 
 docs/machine := {
   name: "docs" 
-  version: "v0.2.47"
+  version: "v0.2.48"
   authors: ["Corey Montella"] 
   machine-url: "https://gitlab.com/mech-lang/mech/docs"
   license: "Apache-2.0"}