This note recapitulates and expands the contents of a tutorial on the mathematical theory of algebraic effects and handlers which I gave at the Dagstuhl seminar 18172 "Algebraic effect handlers go mainstream". It is targeted roughly at the level of a doctoral student with some amount of mathematical training, or at anyone already familiar with algebraic effects and handlers as programming concepts
Dive into Algebraic Effects びしょ〜じょ ML Days #2 September 16, 2018 �やること Algebraic Effects を伝道 Algebraic Effects is 何 Algebraic Effects が使える言語 Algebraic Effects の活用事例 研究のご紹介 先日 JSSST でポスター発表した内容を紹介シマス �目次 自己紹介 Algebraic Effects effect の型 デモ ポイント AE Implimentations Multicore OCaml 研究紹介 oneshot AE → oneshot s/r oneshot s/r → AC 課題、今後の予定 まとめ Dive into Algebraic Effects 自己紹介 Algebraic Effects effect
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く