定期ミートアップ第5回 - prog-lang-sys-ja-meetup

定期ミートアップ第5回

2021/07/25（日） 20:00〜

発表者

前回定期ミートアップ第1回

定期ミートアップ第5回 yhara

BUG: Non exhaustive pattern causes segfault · Issue #69 · malgo-lang/malgo

関連資料

GADT

https://kakkun61.hatenablog.com/entry/2020/12/13/とりとめのない_GHC_線形型メモ

Ur 型で線形型と GADT がからんでくる

パターンマッチ

パターンマッチの網羅性検査

https://www.egison.org/

パターンの別名の活用例（Malgoのコード）

エラー表示

開発者向けとユーザー向けに分ける

動画

https://www.youtube.com/watch?v=2oj7fn_Q6p0&t=1s

#定期ミートアップ