BYOHC workshop 活動記錄
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]
-