freer-ppl16.keyFreer Monads, More Extensible Effects PPL 2016 岡山県玉野市 2016/03/08 Oleg Kiselyov Tohoku University Hiromi ISHII University of Tsukuba (Originally Published in Haskell Symposium '15) Table of Contents • Background: Monad Transformer • Extensible Effects • More Extensible Effects • Examples • Benchmarks • Conclusions Background Background モナド：関数型言語で命令的に副作用を記述する方法の一つ Background •問題：モナド（=副作用）の合成 モナド：関数型言
