From Tagless-Final to Typed-Final: Program Transformations in the Final StyleFrom Tagless-Final to Typed-Final: Program Transformations in the Final Style
Algebraic EffectsとExtensible Effectsの違いってなんや? 関係あんの?
1. はじめに 最近のエフェクトシステム2大ホットトピックといえばAlgebraic EffectsとExtensible Effectsだろう [要出典]｡ 度々この2つの違いは何なのかという質問を見ます｡ 比較というわけでも無いんですが､今回はこの2つを並べて見比べてみましょう｡ そいうえばだいぶ前の発表でこんなこと言ってましたけど 本当かしら 2. Algebraic Effects and Handlers PlotkinとPowerによりもたらされた､計算エフェクトを代数的に表現するという考え方[1]に､PlotkinとPretnarがハンドラを追加したもの[2]である｡ 詳細はカツアイしますんで､本ブログをご巡回ください｡ 簡単にまとめると､ 新たな言語機能 エフェクト(仕様)とハンドラ(実装)が分離できるモジュラーな手法 エフェクトシステムによって計算中にどのようなエフェクト
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
我々向けの Algebraic Effects 入門
