#41 – IDRIS — Systems Programming Meets Full Dependent Types

Misreading Chat - Een podcast door Hajime Morrita, Jun Mukai

Probeer Podimo de eerste 30! dagen gratis

Probeer Podimo de eerste 30! dagen gratis

Luister 30 dagen gratis naar exclusieve podcasts en duizenden luisterboeken

Podcast artwork

Categorieën:

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