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, trans |
| 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 | 還在想 | github |
| Chia-Chi Chang | Javascript or Python | 還在想 | |
| Kevin | Javascript Scheme | 還在想 | |
| Kazami | C++ | 還在想 |
-
2016.1.14 #8: 補充上次漏講的 pattern matching 語法，聊聊 symbol table 的實作
-
2016.1.28 #9: pattern matching 半成品與 a127 的 lambda interpreter
-
2016.2.18 #10: import / export 語法與語意，還有 pattern matching 的重大進展
-
2016.4.28 #14: 用 stack 建立專案，大家一起讀 modules 然後 pretty print
-
2016.5.26 #16: 實作 desugar 骨幹
-
2016.6.9 #17: 實作 desugar 骨幹
-
2016.6.30 #18: 實作 desugar 骨幹
-
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]
-