airx 1.24.1__tar.gz

airx-1.24.1/PKG-INFO

@@ -0,0 +1,87 @@
+Metadata-Version: 2.4
+Name: airx
+Version: 1.24.1
+Summary: Toy symbolic-language experiment built on ASTx and IRx
+License-Expression: Apache-2.0
+Author: Ivan Ogasawara
+Author-email: ivan.ogasawara@gmail.com
+Requires-Python: >=3.10,<4
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Requires-Dist: astx (==1.24.1)
+Requires-Dist: jsonschema (>=4.0.0)
+Requires-Dist: packaging (>=23)
+Requires-Dist: pyirx (==1.24.1)
+Requires-Dist: pyyaml (>=4)
+Requires-Dist: tomli (>=2.0.0) ; python_version < "3.11"
+Requires-Dist: types-pyyaml (>=6.0.12.20250516)
+Description-Content-Type: text/markdown
+
+# AIX
+
+AIX is a toy symbolic-language experiment built for fun on top of ASTx and IRx.
+It is not a primary ArxLang product or a stability commitment.
+
+- PyPI distribution: `airx`
+- Python import: `aix`
+- CLI command: `aix`
+- Source extension: `.aix`
+
+> Status: toy project. The lexer, limited parser, CLI inspection modes, and IRx
+> handoff work for the documented subset. The grammar can change freely.
+
+## Install and inspect
+
+```bash
+pip install airx
+aix --help
+aix --show-tokens program.aix
+aix --show-ast program.aix
+aix --show-llvm-ir program.aix
+aix --run program.aix
+```
+
+## Toy syntax
+
+```aix
+∴ fib ⟦ n:ℕ ⟧ → ℕ
+  ⊢ n ≤ 1 ⇒ n
+  ⊢ fib⟦n - 1⟧ + fib⟦n - 2⟧
+∎
+
+∴ main ⟦⟧ → ∅
+  ⟣ fib⟦10⟧
+∎
+```
+
+Implemented forms:
+
+- `∴` function and constant definitions
+- `⟦...⟧` parameters and calls
+- `→` return types
+- `⊢ expr` return and `⊢ condition ⇒ expr` conditional return
+- `⌁ name:T ≔ expr` local bindings
+- `⟣ expr` output through the existing print node
+- `∎` blocks and compact `{...}` / `;` layout
+- `κ⟦...⟧` metadata parsing (ignored after parsing)
+- Unicode identifiers, scalar literals, arithmetic, and comparisons
+
+Reserved APL-inspired operators such as `⍴`, `⍳`, `¨`, `↑`, `↓`, `⍋`, and `⍒`
+are tokenized but rejected until semantics and backend mappings exist.
+
+## Scope
+
+AIX maps its small supported subset to ASTx and relies on IRx for semantics and
+LLVM. It does not expose Arx imports, classes, templates, Tensors, DataFrames,
+RecordBatches, or other Arrow-backed language types. There is no committed
+feature roadmap.
+
+Canonical documentation, including the grammar and lexical reference, is at
+<https://arxlang.org/aix/>.
+
+License: Apache-2.0.
+

airx-1.24.1/README.md

@@ -0,0 +1,63 @@
+# AIX
+
+AIX is a toy symbolic-language experiment built for fun on top of ASTx and IRx.
+It is not a primary ArxLang product or a stability commitment.
+
+- PyPI distribution: `airx`
+- Python import: `aix`
+- CLI command: `aix`
+- Source extension: `.aix`
+
+> Status: toy project. The lexer, limited parser, CLI inspection modes, and IRx
+> handoff work for the documented subset. The grammar can change freely.
+
+## Install and inspect
+
+```bash
+pip install airx
+aix --help
+aix --show-tokens program.aix
+aix --show-ast program.aix
+aix --show-llvm-ir program.aix
+aix --run program.aix
+```
+
+## Toy syntax
+
+```aix
+∴ fib ⟦ n:ℕ ⟧ → ℕ
+  ⊢ n ≤ 1 ⇒ n
+  ⊢ fib⟦n - 1⟧ + fib⟦n - 2⟧
+∎
+
+∴ main ⟦⟧ → ∅
+  ⟣ fib⟦10⟧
+∎
+```
+
+Implemented forms:
+
+- `∴` function and constant definitions
+- `⟦...⟧` parameters and calls
+- `→` return types
+- `⊢ expr` return and `⊢ condition ⇒ expr` conditional return
+- `⌁ name:T ≔ expr` local bindings
+- `⟣ expr` output through the existing print node
+- `∎` blocks and compact `{...}` / `;` layout
+- `κ⟦...⟧` metadata parsing (ignored after parsing)
+- Unicode identifiers, scalar literals, arithmetic, and comparisons
+
+Reserved APL-inspired operators such as `⍴`, `⍳`, `¨`, `↑`, `↓`, `⍋`, and `⍒`
+are tokenized but rejected until semantics and backend mappings exist.
+
+## Scope
+
+AIX maps its small supported subset to ASTx and relies on IRx for semantics and
+LLVM. It does not expose Arx imports, classes, templates, Tensors, DataFrames,
+RecordBatches, or other Arrow-backed language types. There is no committed
+feature roadmap.
+
+Canonical documentation, including the grammar and lexical reference, is at
+<https://arxlang.org/aix/>.
+
+License: Apache-2.0.

airx-1.24.1/pyproject.toml

@@ -0,0 +1,123 @@
+[project]
+name = "airx"
+version = "1.24.1"  # semantic-release
+description = "Toy symbolic-language experiment built on ASTx and IRx"
+readme = "README.md"
+authors = [
+  {name = "Ivan Ogasawara", email = "ivan.ogasawara@gmail.com"}
+]
+license = "Apache-2.0"
+requires-python = ">=3.10,<4"
+dependencies = [
+  "pyyaml >=4",
+  "astx == 1.24.1",  # semantic-release
+  "pyirx == 1.24.1",  # semantic-release
+  "jsonschema (>=4.0.0)",
+  "packaging >=23",
+  "types-pyyaml (>=6.0.12.20250516)",
+  "tomli >=2.0.0 ; python_version < \"3.11\""
+]
+
+[project.scripts]
+"aix" = "aix.__main__:app"
+
+[build-system]
+requires = ["poetry-core>=2"]
+build-backend = "poetry.core.masonry.api"
+
+[tool.poetry]
+include = [
+  "src/aix",
+  "src/aix/builtins/**/*.aix",
+  "src/aix/builtins/**/*.x",
+  "src/aix/schema/*.json",
+  "src/aix/py.typed",
+  "src/aix/lexer/syntax.json",
+  "src/aix/stdlib/**/*.aix",
+  "src/aix/stdlib/**/*.x",
+]
+exclude = [
+  ".git/*",
+  ".env*",
+]
+packages = [
+  {include = "aix", from="src"},
+]
+
+[tool.pytest.ini_options]
+testpaths = [
+    "tests/python",
+]
+filterwarnings = [
+    "error::RuntimeWarning",
+    "error::typeguard.TypeHintWarning",
+]
+
+[tool.bandit]
+exclude_dirs = ["tests"]
+targets = "./"
+
+[tool.vulture]
+exclude = ["tests"]
+ignore_decorators = ["abc.abstractmethod"]
+ignore_names = []
+make_whitelist = true
+min_confidence = 80
+paths = ["./"]
+sort_by_size = true
+verbose = false
+
+[tool.ruff]
+target-version = "py310"
+line-length = 79
+force-exclude = true
+src = ["./"]
+exclude = [
+  'docs',
+]
+fix = true
+
+[tool.ruff.lint]
+ignore = [
+  "F811",
+  "PLR0911",
+  "PLR0912",
+  "PLR0913",
+  "PLR0917",
+  "RUF012",
+  "PLR0915",
+  "PLR2004",
+  "PLC0415",
+]
+select = [
+  "E",
+  "F",
+  "YTT",
+  "PL",
+  "RUF",
+  "I001",
+]
+extend-select = [
+  "UP006",
+  "UP007",
+]
+
+[tool.ruff.lint.pydocstyle]
+convention = "numpy"
+
+[tool.ruff.lint.isort]
+lines-between-types = 1
+
+[tool.ruff.format]
+quote-style = "double"
+
+[tool.mypy]
+python_version = "3.10"
+check_untyped_defs = true
+strict = true
+ignore_missing_imports = true
+warn_unused_ignores = true
+warn_redundant_casts = true
+warn_unused_configs = true
+show_error_codes = true
+exclude = ["scripts/"]

airx-1.24.1/src/aix/__init__.py

@@ -0,0 +1,26 @@
+"""
+title: AIX package metadata.
+"""
+
+from importlib import metadata as importlib_metadata
+
+_DISTRIBUTION_NAME = "airx"
+
+
+def get_version() -> str:
+    """
+    title: Return the installed package version.
+    returns:
+      type: str
+    """
+    try:
+        return importlib_metadata.version(_DISTRIBUTION_NAME)
+    except importlib_metadata.PackageNotFoundError:  # pragma: no cover
+        return "1.24.1"  # semantic-release
+
+
+version: str = get_version()
+
+__author__: str = "Ivan Ogasawara"
+__email__: str = "ivan.ogasawara@gmail.com"
+__version__: str = version

airx-1.24.1/src/aix/__main__.py

@@ -0,0 +1,8 @@
+"""
+title: Entrypoint module, in case you use `python -m aix`.
+"""
+
+from aix.cli import app
+
+if __name__ == "__main__":
+    app()

airx-1.24.1/src/aix/builtins/__init__.x

@@ -0,0 +1,4 @@
+```
+title: Bundled builtin package
+summary: Root namespace for compiler-provided Arx builtin modules.
+```

airx-1.24.1/src/aix/builtins/generators.x

@@ -0,0 +1,27 @@
+```
+title: Bundled generators builtin module
+summary: >-
+  Compiler-provided generator-adjacent helpers shipped inside the Arx package.
+```
+
+# TODO: Expand this module when iterable generators and `yield` land.
+fn range(start: i32, stop: i32, step: i32 = 1) -> list[i32]:
+  ```
+  title: range
+  summary: >-
+    Returns the integer values from `start` up to but not including `stop`,
+    advancing by `step`. Positive steps count up, negative steps count down,
+    and zero step is rejected.
+  ```
+  assert step != 0, "range() step must not be 0"
+  var values: list[i32]
+  var current: i32 = start
+  if step > 0:
+    while current < stop:
+      values.append(current)
+      current = current + step
+  else:
+    while current > stop:
+      values.append(current)
+      current = current + step
+  return values