くりらじ静岡局から、技術屋目線で技術情報を追いかける番組をお届けします。
…
continue reading
コンテンツは Hajime Morrita , Jun Mukai によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Hajime Morrita , Jun Mukai またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作物をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。
Player FM -ポッドキャストアプリ
Player FMアプリでオフラインにしPlayer FMう!
Player FMアプリでオフラインにしPlayer FMう!
#63: Programming with Algebraic Effects and Handlers
Manage episode 236752535 series 2151064
コンテンツは Hajime Morrita , Jun Mukai によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Hajime Morrita , Jun Mukai またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作物をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。
関数型言語業界ではやっているらしい Algebraic Effects の論文を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreadingchat.files.wordpress.com/2019/06/ep63.mp3
- [1203.1539] Programming with Algebraic Effects and Handlers
- Algebraic Effects for Functional Programming
- Programming and Reasoning with Algebraic Effects and Dependent Types
- yallop/effects-bibliography: A collaborative bibliography of work related to the theory and practice of computational effects
- Eff Programming Language
- Koka – Microsoft Research
- Episode 41 – IDRIS — Systems Programming Meets Full Dependent Types – Misreading Chat
follow-up
135 つのエピソード
Manage episode 236752535 series 2151064
コンテンツは Hajime Morrita , Jun Mukai によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Hajime Morrita , Jun Mukai またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作物をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。
関数型言語業界ではやっているらしい Algebraic Effects の論文を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreadingchat.files.wordpress.com/2019/06/ep63.mp3
- [1203.1539] Programming with Algebraic Effects and Handlers
- Algebraic Effects for Functional Programming
- Programming and Reasoning with Algebraic Effects and Dependent Types
- yallop/effects-bibliography: A collaborative bibliography of work related to the theory and practice of computational effects
- Eff Programming Language
- Koka – Microsoft Research
- Episode 41 – IDRIS — Systems Programming Meets Full Dependent Types – Misreading Chat
follow-up
135 つのエピソード
すべてのエピソード
×プレーヤーFMへようこそ!
Player FMは今からすぐに楽しめるために高品質のポッドキャストをウェブでスキャンしています。 これは最高のポッドキャストアプリで、Android、iPhone、そしてWebで動作します。 全ての端末で購読を同期するためにサインアップしてください。