• Dependent Haskell with Vladislav Zavialov

  • 2021/08/23
  • 再生時間： 56 分
  • ポッドキャスト

Dependent Haskell with Vladislav Zavialov

無料で聴く

ポッドキャストの詳細を見る

  • サマリー

  • Curious about dependent types? Special guest Vladislav Zavialov from Serokell breaks it down for us. We discuss comparisons to refinement types, sigma and pi types, interactions with linear types, and much more!

    • https://serokell.io/blog/developing-ghc-for-a-living
    • https://twitter.com/int_index
    続きを読む 一部表示

あらすじ・解説

Curious about dependent types? Special guest Vladislav Zavialov from Serokell breaks it down for us. We discuss comparisons to refinement types, sigma and pi types, interactions with linear types, and much more!

  • https://serokell.io/blog/developing-ghc-for-a-living
  • https://twitter.com/int_index
続きを読む 一部表示
activate_buybox_copy_target_t1

Dependent Haskell with Vladislav Zavialovに寄せられたリスナーの声

カスタマーレビュー：以下のタブを選択することで、他のサイトのレビューをご覧になれます。

Audible.co.jp

Amazon.co.jp
レビューはまだありません。