draft schedule by CindyLinz
| 自造者 | 開發平台 | 期待用途 | Repository |
|---|---|---|---|
| Cindy | Javascript (browser) | 寫一個像 Scratch 的, 在 browser 裡玩的 Haskell 拼圖 | github |
| Yun-Yan Chi | Haskell (native) | 可以對 Haskell 隨意加功能 | github |
| Chia-Chi Tsai | (native) | 還在想 | |
| Chiang, Yi-Yo | (native) | 可以對 Haskell 隨意改語法 | github |
| Shuk | Javascript (node.js) | 寫 web 程式 & 想把開發過程記錄下來 | github |
| Lex | Python | 使用 Python library, 但可以寫 Haskell 不用寫 Python | |
| AlvinChiang | Python | 用 Haskell 寫一個 compiler 把自訂語言生成 latex | |
| Pomin Wu | Go | 還在想 | github |
| YunLiaw | 還在想 | ||
| Kelly/Kai | 還在想 | ||
| AlexLu | Python | 用 Python 執行的一個用 Haskell 寫的 Haskell compiler | lambda interpreter, transpiler |
| 卡西 | WASM or Javascript | 做個 lambda-wasm-prototype 之類的工具 | ulc.ls, playground |
| GeorgeLi | Python | 理解 Haskell | github |
| Summit | Python | 還在想 | |
| Carl | Javascript (node.js + browser) | 在公司 production 環境用 | |
| GeorgeChao | Python | 資料處理 | |
| LCamel | JVM or WASM (browser) | 還在想 | github |
| 瑋隆 | Javascript (browser) | 寫一個瀏覽器小遊戲 | |
| Eric | Scala | 讓已用 Agda 證明正確性的 Haskell 程式可以直接在 JVM 執行, 而不用手動翻譯成 Scala 或 Java | |
| 127 | coffeescript or LLVM | 還在想 | |
| Chia-Chi Chang | Javascript or Python | 還在想 | |
| Kevin | Javascript Scheme | 還在想 | |
| Kazami | C++ | 還在想 |
-
lambda playground
-
Lambda Calculus playground (卡西)
有 IO
-
Lambda Calculus playground (CindyLinz)
純 lambda
-
Lambda to JSON
-
Lambda pretty printer (CindyLinz)
JSON to Lambda
-
-
desugar
-
配合 haskell-src-exts syntax tree 長相生成對應的處理函數
$ cabal run desugar-template [module name] [function name prefix] [mode: 0.normal / 1.annotated] [# of additional arguments] > [module name .hs]
-
- 卡西 2015.10.24 Build Your Own λ-calculus Interpreter