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
      セキュリティのアレ by セキュリティのアレ

      セキュリティのアレ

      1 Listeners

      Rebuild by Tatsuhiko Miyagawa

      Rebuild

      51 Listeners

      バイリンガルニュース (Bilingual News) by Michael & Mami

      バイリンガルニュース (Bilingual News)

      225 Listeners

      backspace.fm by backspace.fm

      backspace.fm

      11 Listeners

      楽しいラジオ「ドングリFM」 by donguri.fm

      楽しいラジオ「ドングリFM」

      5 Listeners

      fukabori.fm by iwashi

      fukabori.fm

      2 Listeners

      EM . FM #EMFM by EM.FM

      EM . FM #EMFM

      0 Listeners

      Off Topic // オフトピック by Off Topic

      Off Topic // オフトピック

      16 Listeners

      ゆる言語学ラジオ by Yuru Gengogaku Radio

      ゆる言語学ラジオ

      53 Listeners

      ひまじんプログラマーの週末エンジニアリングレッスン by ひまじんプログラマー

      ひまじんプログラマーの週末エンジニアリングレッスン

      0 Listeners

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

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

      15 Listeners

      Podcast by Yuka Studio // ユカスタポッドキャスト by Podcast by Yuka Studio

      Podcast by Yuka Studio // ユカスタポッドキャスト

      3 Listeners

      となりのデータ分析屋さん by 佐々木亮とたっちゃん

      となりのデータ分析屋さん

      0 Listeners

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

      耳で学ぶAI、ロボシンク

      0 Listeners

      中島聡のLife is Beautiful by Satoshi Nakajima

      中島聡のLife is Beautiful

      0 Listeners