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
      Rebuild by Tatsuhiko Miyagawa

      Rebuild

      48 Listeners

      耳で学ぶAI、ロボシンク by 矢野 哲平

      耳で学ぶAI、ロボシンク

      0 Listeners