https://github.com/dr-nekoma/salem
An interpreter for the Sal programming language written in Zig
https://github.com/dr-nekoma/salem
concatenative interpreter language programming-language public-domain unlicense zig
Last synced: about 1 year ago
JSON representation
An interpreter for the Sal programming language written in Zig
- Host: GitHub
- URL: https://github.com/dr-nekoma/salem
- Owner: Dr-Nekoma
- License: unlicense
- Created: 2023-10-14T05:16:39.000Z (over 2 years ago)
- Default Branch: master
- Last Pushed: 2025-03-22T22:43:57.000Z (over 1 year ago)
- Last Synced: 2025-03-22T23:25:23.307Z (over 1 year ago)
- Topics: concatenative, interpreter, language, programming-language, public-domain, unlicense, zig
- Language: Zig
- Homepage:
- Size: 32.2 KB
- Stars: 11
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Salem
Salem is the Sal Execution Model. It is a Zig implementation of the
[Sal](intro-to-sal.md) programming language.
## Data model
* Basic data types:
* [RRB-Trees](https://hypirion.com/thesis.pdf) for arrays and byte arrays
* B-Trees, for dictionaries, sets and multisets
* Pairs and Variables
* Primitive and constructed functions
* A very minimal object system (needed for efficient mutual recursion)
* Promises for lazy evaluation
* Numeric tower:
* Fixnums
* Arbitrary precision integers
* Ratios
* Complex numbers and quaternions (restricted to rational coefficients)
* [Multisets (we will treat numbers as a proper subtype of multisets)](https://www.youtube.com/playlist?list=PLIljB45xT85D94vHAB8joyFTH4dmVJ_Fw)
* We are explicitly not supporting IEEE 754 Floats, but we may at some point support [Posits](https://posithub.org/)
## Inspirations
* [Clojure](https://clojure.org/)
* [John Shutt's Kernel](https://ftp.cs.wpi.edu/pub/techreports/pdf/05-07.pdf) and [Vau Calculus](https://web.cs.wpi.edu/~jshutt/dissertation/etd-090110-124904-Shutt-Dissertation.pdf)
* [Racket](https://racket-lang.org/)
* [colorForth](https://colorforth.github.io/cf.htm)
* [RetroForth](https://retroforth.org/)
* [Joy](https://www.kevinalbrecht.com/code/joy-mirror/joy.html)
* [Factor](https://factorcode.org/)
* [Mercury](https://mercurylang.org/)
* [Lua](https://www.lua.org/)
* [Erlang](http://www.erlang.org/)
* [Haskell](https://www.haskell.org/)
* [Zig](https://ziglang.org/)
* [Roc](https://www.roc-lang.org/)