Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/keens/webml
A Standard ML Compiler for the Web
https://github.com/keens/webml
compiler rust standard-ml webassembly
Last synced: 5 days ago
JSON representation
A Standard ML Compiler for the Web
- Host: GitHub
- URL: https://github.com/keens/webml
- Owner: KeenS
- License: mit
- Created: 2016-12-16T13:17:01.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2022-09-21T07:21:52.000Z (over 2 years ago)
- Last Synced: 2024-12-08T16:53:44.428Z (14 days ago)
- Topics: compiler, rust, standard-ml, webassembly
- Language: Rust
- Homepage:
- Size: 4.38 MB
- Stars: 385
- Watchers: 14
- Forks: 13
- Open Issues: 23
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# WebML -- A Standard ML compiler for the Web
[](https://travis-ci.org/KeenS/webml)
WebML is to be a Standard ML (SML '97) Compiler that works on web browsers and generates [WebAssembly](http://WebAssembly.org) binaries. WebAssembly binaries can be run on web browsers.
This means you can run SML REPL on web browsers.
## Status
Under very early stage of initial development.
Compiles only minimal subset of SML codes. The garbage collector is not complete.
## Links
* Try [Online-compiler](https://KeenS.github.io/webml/online-compiler.html)
* Project is hosted at [GitHub](https://github.com/KeenS/webml)
## Implemented features
### Core
* Declaration
+ [ ] `val`
- [x] basic (`val ident = expr`)
- [x] pattern (`val pat = expr`)
- [ ] tyvar `val 'a pat = expr`
- [ ] typed (`val pat : ty = expr`)
- [ ] `and` (`val pat = expr and pat = expr`)
+ [ ] `fun`
- [x] basic (`fun ident ident ... = expr`)
- [x] pattern (`fun ident pat ... = expr`)
- [x] multi-clause (`fun ident pat ... = expr | ident pat ... = expr`)
- [x] `op` (`fun op ident pat ... = expr`)
- [ ] tyvar (`fun 'a ident pat ... = expr`)
- [ ] typed (`fun ident pat ... : ty = expr`)
- [ ] `and` (`fun ident pat ... = expr and ident pat ... = expr`)
+ [ ] `type` (`type ident = ty`)
+ [ ] `datatype`
- [ ] `datatype ident = Con of ty | Con ...`
- [x] basic (`datatype ident = Con of ty | Con ...`)
- [ ] tyvar (`datatype 'a ident = Con of ty | Con ...`)
- [ ] `and` (`datatype ident = Con | ... and ident = Con | ...`)
- [ ] `withtype` (`datatype ident = Con ... withtype ..`)
- [ ] `datatype ident = datatype ident`
+ [ ] `abstype`
+ [ ] `exception`
+ [x] `local ... in ... end`
+ [ ] `open ..`
+ [x] `decl ; decl`
- [x] `decl decl`
- [x] `decl ; decl`
+ [x] `infix`
+ [x] `infixr`
+ [x] `nonfix`
* Expressions
+ [ ] special constant
- [x] integer
- [ ] real
- [x] `123.456`
- [ ] `123e456`
- [ ] `123E456`
- [ ] `123e~456`
- [ ] word
- [x] char
- [x] string
+ [x] value identifier
+ [x] `op`
+ [ ] record
- [ ] basic (`{ label = expr , ...}`)
- [x] tuple
- [x] 0-tuple
- [ ] `#label`
+ [ ] list (`[expr, ..., expr]`)
+ [x] `(expr; ...; expr)`
+ [x] paren (`(expr)`)
+ [x] `let .. in .. end`
- [x] basic (`let decl ... in expr end`)
- [x] derived (`let decl ... in expr; ...; expr end`)
+ [x] function application
+ [x] infix operator
- [x] L
- [x] R
+ [ ] typed (`exp : ty`)
+ [ ] exception
- [ ] `handle`
- [ ] `raise`
+ [ ] `fn`
- [x] basic (`fn ident => expr`)
- [ ] pattern (`fn pat => expr`)
- [ ] multi-clause `fn pat => expr | pat => expr ...`
+ [x] `andalso`
+ [x] `orelse`
+ [x] `if .. then .. else`
+ [x] `while .. do ..`
+ [x] `case .. of ..`
* Pattern
+ [x] wildcard
+ [ ] special constant
- [x] integer
- [ ] word
- [x] char
- [x] string
+ [x] value identifier
+ [x] `op`
+ [ ] record
- [ ] basic (`{ label = pat , ...}`)
- [ ] wildcard (`...`)
- [ ] label as variable (`{ var (as pat), ...}`)
- [x] tuple
- [x] 0-tuple
+ [ ] list
+ [x] paren
+ [x] Constructor
+ [x] infix
+ [ ] typed (`pat : ty`)
+ [ ] layerd (`ident as pat`)
* Type
+ [ ] type variable
+ [ ] record
+ [ ] type construction
- [x] without param (`ident`)
- [ ] with param (`ty ident`)
+ [x] tuple
+ [x] function
+ [x] paren
* Initial Basis
+ [x] `unit`
+ [x] `bool`
- [x] `true`
- [x] `false`
+ [x] `int`
+ [ ] `word`
+ [x] `string`
+ [x] `char`
+ [ ] `list`
- [ ] `nil`
- [ ] `::`
+ [ ] `ref`
- [ ] `ref`
- [ ] `:=`
+ [ ] `exn`
+ [x] `=`
+ [ ] `Match`
+ [ ] `Bind`
* Overloaded
+ [x] `+`
+ [x] `-`
+ [x] `*`
+ [x] `div`
+ [x] `mod`
+ [x] `/`
+ [x] `<`
+ [x] `>`
+ [x] `<=`
+ [x] `>=`
+ [ ] `abs`
+ [ ] `~`
### Module
not yet implemented
### Program
* Program
+ [x] decl (`decl decl ...`)
+ [x] expr (`expr decl ...`)
- Note: toplevel expression `expr` should be treated as `val it = expr`