Misreading Chat

#41 – IDRIS — Systems Programming Meets Full Dependent Types

Listen Later

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

感想などはハッシュタグ #misreading か [email protected] にお寄せください。

https://misreading.chat/wp-content/uploads/2018/12/ep41.mp3

  • IDRIS — Systems Programming Meets Full Dependent Types (PDF)
  • Idris | A Language with Dependent Types
  • Kazuyoshi Kato on Twitter: “最近の言語で dependent types… 多分 Idris じゃないかと https://t.co/tRLdzd0KAr #misreading”
    • Follow up
    • skip · A programming language to skip the things you have already computed
    • Chromeのメモリ割り当てフック機構 – kanejaku.org
      • ...more
      View all episodesView all episodes
      Download on the App Store
      Misreading ChatBy Hajime Morrita, Jun Mukai
      • 5
      • 5
      • 5
      • 5
      • 5

      5

      6 ratings

      More shows like Misreading Chat

      View all
      歴史を面白く学ぶコテンラジオ （COTEN RADIO） by COTEN inc.

      歴史を面白く学ぶコテンラジオ （COTEN RADIO）

      243 Listeners

      超相対性理論 by 超相対性理論

      超相対性理論

      17 Listeners

      ゆるコンピュータ科学ラジオ by ゆるコンピュータ科学ラジオ

      ゆるコンピュータ科学ラジオ

      21 Listeners

      リファクタリングとともに生きるラジオ by リファラジ

      リファクタリングとともに生きるラジオ

      0 Listeners

      日本一たのしい哲学ラジオ by 日本一たのしい哲学ラジオ

      日本一たのしい哲学ラジオ

      10 Listeners

      ぽこピーのゆめうつつ by POKOPEA

      ぽこピーのゆめうつつ

      5 Listeners