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++	還在想

活動記錄

• 2015.9.24 #1: 實作 Lambda Calculus interpreter

• 2015.10.15 #2: 加上 primitive, lazy evaluation

• 2015.10.29 #3: 加上 IO FFI

• 2015.11.12 #4: 將 Haskell 基本語法 compile 成自己的 lambda 程式

• 2015.11.26 #5: 分享 transpiler 實作

• 2015.12.10 #6: 寫 desugar 、自修 type check/inference

• 2015.12.24 #7: pattern matching 相關的 extensions

• 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.3.10 #11: STM (部分)與 pattern binding

• 2016.3.31 #12: Haskell Web 應用

• 2016.4.14 #13: 討論確認之後活動進行的方式

• 2016.4.28 #14: 用 stack 建立專案，大家一起讀 modules 然後 pretty print

• 2016.5.12 #15: 上週進度加上兩個 bonus 支線任務

• 2016.5.26 #16: 實作 desugar 骨幹

• 2016.6.9 #17: 實作 desugar 骨幹

• 2016.6.30 #18: 實作 desugar 骨幹

• 2016.7.21 #19: 實作 desugar 骨幹

輔助工具

• lambda playground

  • Lambda Calculus playground (卡西)

    有 IO

  • Lambda Calculus playground (CindyLinz)

    純 lambda

  • Lambda parser (CindyLinz)

    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]

參考資料

• REFERENCES.md

心得筆記

• 卡西 Build Your Own Haskell Compiler 系列心得