最弱ポータル自作日誌

自作ポータルとか自作ニュースサイトをコツコツ作るプログラマの作業記録

Webで遊べるプログラミング処理系のリスト(関数型言語)

使っている処理系、興味のある処理系

altJSも楽しいよね

Haskell

二つ

www.tryhaskell.org

replit.com

定理証明系 Coq

coq.vercel.app

F Sharp

try.fsharp.org

F SahrpからJS生成

Fable · JavaScript you can be proud of!

Idris

依存型をマスターしたい。tryidrisでJS 生成すると、よくわかんないJSが生成。

https://tryidris.herokuapp.com/consoletryidris.herokuapp.com

F*

これも依存型、前のバージョンはJSも吐けたとか。

www.fstar-lang.org

OCaml

try.ocamlpro.com

ScratchみたいなOCaml

Blockly Demo

Elm

AltJSかな

https://ellie-app.com/newellie-app.com

Agda

Agda、全く知らないです

tio.run

Rust

play.rust-lang.org

PureScript

生成されるJSがかなりわかりやすい。JSが人間読めるAltJSでは最強では?関数型プログラミング限定の範囲ではさ。

PureScript

ReasonML

これはOCamlなのか?

reasonml.github.io

そのほか

モデル検査とかはWEB上の処理系では無いみたいですね、ほしい

LTSAはJavaアプレットだった

www.doc.ic.ac.uk