https://github.com/rurumimic/sml
Standard Meta Language
https://github.com/rurumimic/sml
sml smlnj standardml
Last synced: 3 months ago
JSON representation
Standard Meta Language
- Host: GitHub
- URL: https://github.com/rurumimic/sml
- Owner: rurumimic
- Created: 2021-07-12T14:11:29.000Z (almost 4 years ago)
- Default Branch: master
- Last Pushed: 2021-07-12T14:14:32.000Z (almost 4 years ago)
- Last Synced: 2025-01-03T08:29:04.130Z (5 months ago)
- Topics: sml, smlnj, standardml
- Language: Standard ML
- Homepage:
- Size: 1000 Bytes
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Standard ML
- [Standard ML of New Jersey](https://www.smlnj.org/)
- [Versions](https://www.smlnj.org/dist/working/index.html)
- [Literature](https://www.smlnj.org/doc/literature.html)
- [ML for the Working Programmer](https://www.cl.cam.ac.uk/~lp15/MLbook/): [contents](https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html)
- [Programming in Standard ML](http://www.cs.cmu.edu/~rwh/isml/book.pdf)
- Wikipedia: [Standard ML](https://en.wikipedia.org/wiki/Standard_ML)
## Example
```bash
sml
Standard ML of New Jersey (64-bit) v110.99.1 [built: Mon Apr 12 18:45:14 2021]
```
```sml
- use "./sum.sml";
[opening ./sum.sml]
val sum = fn : int * int -> int
val it = () : unit
```
```bash
- sum (3, 5);
val it = 8 : int
```
```sml
- ^D (* Control + D *)
```
## Install on mac
brew: [smlnj](https://formulae.brew.sh/cask/smlnj)
```bash
brew install --cask smlnj
```
To use smlnj, you may need to add the /usr/local/smlnj/bin directory to your `PATH` environment variable, e.g. (for Bash shell): `export PATH=/usr/local/smlnj/bin:"$PATH"`
```bash
echo 'export PATH=/usr/local/smlnj/bin:"$PATH"' >> ~/.bashrc
# ~/.bash_profile, ~/.zshrc, ~/.zshenv
```