Bump to v9: Restructure mathsys as library-first

.github/CHANGELOG.md

@@ -207,4 +207,28 @@ No changelog available.
 1. IR target.
 1. Runtime flags.
 ### Fixed
-1. Full issue coverage now.
+1. Full issue coverage now.
+
+## v8 -- Semantic solver
+### Added
+1. Local module importing from filesystem.
+1. Added `README.md` in `Cargo.toml`.
+### Changed
+1. Contextual semantic solver replaced old heuristic solver.
+1. Improved filetree and directories.
+### Removed
+1. Old numerical solver.
+### Fixed
+1. Imported modules now must have `.msm` file extension.
+
+## v9 -- Semantic-driven disambiguation
+### Added
+1. Functions.
+1. Ambiguity resolution for function calls and implicit multiplication based on context.
+### Changed
+1. Definitions now are done with `:=` instead of `==` and `=` always produces equations.
+### Removed
+1. Old declaration constructs.
+1. Locking mechanics.
+### Fixed
+1. CLI behaviour under stress.

.github/README.md

@@ -45,7 +45,7 @@ Mathsys can be tried out at the [online playground](https://abscissa.eu/playgrou
 
 ### Local installation
 
-Install the latest version via `pip`:
+Install the latest version via `cargo`:
 
 ```sh
 cargo install mathsys

.gitignore

@@ -7,9 +7,7 @@
 
 #> IGNORE -> FOLDER INFO
 **/.DS_Store
+.DS_Store
 
 #> IGNORE -> SYMLINK
-mathsys
-
-#> IGNORE -> TEST FILE
-file.msm
+mathsys

.vscode/settings.json

@@ -36,11 +36,19 @@
           "backgroundColor": "transparent",
           "bold": false,
           "italic": true
-        }
+        },
+        {
+          "tag": "!",
+          "color": "#00FF00",
+          "strikethrough": false,
+          "underline": false,
+          "backgroundColor": "#FF00FF",
+          "bold": true,
+          "italic": false
+        },
     ],
     "rust-analyzer.inlayHints.genericParameterHints.const.enable": false,
     "rust-analyzer.inlayHints.parameterHints.enable": false,
     "rust-analyzer.inlayHints.typeHints.enable": false,
-    "rust-analyzer.inlayHints.renderColons": false,
-    "python.analysis.ignore": [".venv/**"]
+    "rust-analyzer.inlayHints.renderColons": false
 }

Cargo.toml

@@ -1,11 +1,16 @@
 [package]
 name = "mathsys"
-version = "7.0.0"
+version = "9.0.0"
 edition = "2024"
 authors = ["Alejandro Vaz <alejandro.vaz.myt@gmail.com>"]
 description = "The Natural Language of Math."
 license = "MIT"
 repository = "https://github.com/alejandro-vaz/mathsys"
+readme = ".github/README.md"
+
+[lib]
+name = "mathsys"
+path = "lib.rs"
 
 [[bin]]
 name = "mathsys"
@@ -25,5 +30,6 @@ indexmap = "2.13.0"
 ahash = "0.8.12"
 smallvec = "1.15.1"
 rustc_version_runtime = "0.3.0"
+strum = "0.27.2"
 strum_macros = "0.27.2"
 enum_dispatch = "0.3.13"

backends/latex.rs

@@ -4,7 +4,10 @@
 
 //> HEAD -> PRELUDE
 use crate::prelude::{
-    LazyLock, Regex, Map, Captures
+    LazyLock, 
+    Regex, 
+    Map, 
+    Captures
 };
 
 

backends/mod.rs

@@ -0,0 +1,74 @@
+//^
+//^ HEAD
+//^
+
+//> HEAD -> MODULES
+pub(super) mod latex;
+
+//> HEAD -> PRELUDE
+use crate::prelude::{
+    dispatch
+};
+
+//> HEAD -> LOCAL
+use self::super::{
+    solver::{
+        nonterminal::{
+            Item, 
+            NonTerminal
+        },
+        context::Context
+    },
+    syntax::{
+        Start,
+        level1::{
+            Definition, 
+            Function, 
+            Level1, 
+            Node, 
+            Equation, 
+            Use
+        },
+        level2::{
+            Level2, 
+            Expression
+        },
+        level3::{
+            Level3, 
+            Term
+        },
+        level4::{
+            Limit, 
+            Level4, 
+            Factor
+        },
+        level5::{
+            Absolute, 
+            Level5, 
+            Infinite, 
+            Variable, 
+            Nest, 
+            Tensor, 
+            Whole, 
+            Undefined, 
+            Rational,
+            Call
+        }
+    }
+};
+
+
+//^
+//^ TRAITS
+//^
+
+//> TRAITS -> SPAWN
+pub(super) trait Spawn: Backends {
+    fn spawn(items: Vec<Item>, context: Option<&mut Context>) -> NonTerminal;
+}
+
+//> BACKENDS -> TRAIT
+#[dispatch]
+pub(super) trait Backends {
+    fn latex(&self) -> String;
+}

entry.rs

@@ -4,7 +4,11 @@
 
 //> HEAD -> PRELUDE
 use crate::prelude::{
-    FilePath, readFile, writeFile
+    FilePath, 
+    readFile, 
+    writeFile,
+    EnumString,
+    AsRefStr
 };
 
 //> HEAD -> LOCAL
@@ -29,32 +33,47 @@ pub enum Argument {
 //^
 
 //> INPUT -> FILE
-#[derive(Clone, Debug)]
-pub struct File {
-    pub name: FilePath
-} impl File {
-    pub fn read(&self) -> Result<String, Issue> {readFile(&self.name).ok().ok_or_else(|| Issue::FileNotFound(self.name.to_str().unwrap().to_string()))}
-    pub async fn write(&self, extension: &str, content: String) -> () {
-        let mut path = self.name.clone();
+#[derive(Clone)]
+pub struct File (pub FilePath); impl File {
+    pub fn read(&self) -> Result<String, Issue> {readFile(&self.0).ok().ok_or_else(|| Issue::FileNotFound(self.0.to_str().unwrap().to_string()))}
+    pub fn write(&self, extension: &str, content: String) -> () {
+        let mut path = self.0.clone();
         path.set_extension(extension);
         writeFile(path, content).unwrap();
     }
 }
 
 //> INPUT -> FLAG
-#[derive(Clone, Debug)]
-pub struct Flag {
-    pub value: String
+#[derive(EnumString, Clone, Copy, AsRefStr)]
+#[strum(serialize_all = "lowercase")]
+pub enum Flag {
+    Quiet,
+    Verbose
 }
 
 //> INPUT -> ALIAS
 #[derive(Clone, Debug)]
-pub struct Alias {
-    pub letters: Vec<char>
-}
+pub struct Alias(pub Vec<char>); impl Alias {pub fn expand(self) -> Result<Vec<Flag>, Issue> {
+    let mut converted = Vec::new();
+    for letter in &self.0 {converted.push(match letter {
+        'q' => Flag::Quiet,
+        'v' => Flag::Verbose,
+        other => return Err(Issue::UnknownAliasCharacter {
+            alias: self, 
+            at: converted.len()
+        })
+    })}
+    return Ok(converted);
+}}
 
 //> INPUT -> TARGET
-#[derive(Clone, Debug)]
-pub struct Target {
-    pub name: String
+#[derive(EnumString, Clone, AsRefStr, Copy)]
+#[strum(serialize_all = "lowercase")]
+pub enum Target {
+    Help,
+    Version,
+    Tokens,
+    Check,
+    Ast,
+    Latex
 }