#41 – IDRIS — Systems Programming Meets Full Dependent Types

Misreading Chat - Podcast tekijän mukaan Hajime Morrita, Jun Mukai

kokeile Podimo ilmaiseksi 90!!! päivän ajan

universumia joka on täynnä satoja podcasteja ja äänikirjoja, klikkaa tätä kokeillaksesi

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