Extensible Effects ステップ・バイ・ステップ

2017/12/09 13 users ステップ ステップ・バイ

Haskell アドベントカレンダー (その１) の9日目の記事です． Backpack の話の予定でしたが，先にこっちが書けたので その３ のと入れ替えました． 複数とっておくとこういうことが出来るよね(いいの？)． さて本題． タイトルからお察しの通り，以下の記事のオマージュです． モナドトランスフォーマー・ステップ・バイ・ステップ(Monad Transformers Step By Ste... 続きを読む

快速のExtensible effects - モナドとわたしとコモナド

2017/08/02 24 users Haskell モナド Extensible 下火 コモナド

2017 - 08 - 02 快速のExtensible effects extensible は拡張可能レコードだけでなく拡張可能作用(extensible effects)も用意している。拡張可能作用は一時期 Haskell 界隈で話題になったものの、今では人気も下火になってしまった。新しいバージョンをリリースした今、拡張可能作用の動機と使い方について改めて紹介しよう。 難行の一次関数 Has... 続きを読む

Extensible Effects はモナド変換子に対する救世主になり得るか？ - konn-san.com

2013/07/21 62 users モナド変換子 救世主 モナド 論文 メモ

Oleg, Sabry and Swords らによる Extensible Effects: An Alternative to Monad Transformers の論文を読んだメモ的な何かです。モナド変換子に関する簡単な現状確認から入ってはいますが、想定読者層は日常的にモナドやモナド変換子を用いたプログラムを書いている人達です。 どちらかというと自分向けのメモの性格が強いので、詳しい部分は... 続きを読む