Misreading Chat « »
#41 – IDRIS — Systems Programming Meets Full Dependent Types

 
再生
再生中
シェア
 

MP3•エピソードのホーム
Manage episode 224008398 series 2151064
著作 Hajime Morrita , Jun Mukai の情報はPlayer FM及びコミュニティによって発見されました。著作権は出版社によって所持されます。そして、番組のオーディオは、その出版社のサーバから直接にストリーミングされます。Player FMで購読ボタンをタップし、更新できて、または他のポッドキャストアプリにフィードのURLを貼り付けます。

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

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

https://misreadingchat.files.wordpress.com/2018/12/ep41.mp3

Follow up

80 つのエピソード