汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。
感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
- IDRIS — Systems Programming Meets Full Dependent Types (PDF)
- Idris | A Language with Dependent Types
- Kazuyoshi Kato on Twitter: “最近の言語で dependent types… 多分 Idris じゃないかと https://t.co/tRLdzd0KAr #misreading”