Episode 41 – IDRIS — Systems Programming Meets Full Dependent Types

汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。

汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。

感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

Follow up