#41 – IDRIS — Systems Programming Meets Full Dependent Types
Misreading Chat · Jun Mukai
December 26, 201829m 47s
Audio is streamed directly from the publisher (misreadingchat.files.wordpress.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。
感想などはハッシュタグ #misreading か [email protected] にお寄せください。
- 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”