使っている処理系、興味のある処理系
altJSも楽しいよね
Haskell
二つ
定理証明系 Coq
F Sharp
F SahrpからJS生成
Fable · JavaScript you can be proud of!
Idris
依存型をマスターしたい。tryidrisでJS 生成すると、よくわかんないJSが生成。
https://tryidris.herokuapp.com/consoletryidris.herokuapp.com
F*
これも依存型、前のバージョンはJSも吐けたとか。
OCaml
ScratchみたいなOCaml
Elm
AltJSかな
https://ellie-app.com/newellie-app.com
Agda
Agda、全く知らないです
Rust
PureScript
生成されるJSがかなりわかりやすい。JSが人間読めるAltJSでは最強では?関数型プログラミング限定の範囲ではさ。
ReasonML
これはOCamlなのか?
そのほか
モデル検査とかはWEB上の処理系では無いみたいですね、ほしい