#41 – IDRIS — Systems Programming Meets Full Dependent Types

Misreading Chat - Ein Podcast von Hajime Morrita, Jun Mukai

Podimo 90!!! Tage kostenlos! testen

Ein Universum voller exklusiver Podcasts und Hörbücher. Klicken Sie hier um loszulegen!

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