An interpreter handling over effects for Ef
An interpreter handling over effects for Eff Yoshimura Hikaru（吉村 優） hikaru_yoshimura@r.recruit.co.jp Recruit Marketing Partners Co., Ltd. October 17, 2020 @ ScalaMatsuri 2020 https://github.com/y-yu/scalamatsuri2020 (e6fc40b) Yoshimura Hikaru (hikaru_yoshimura@r.recruit.co.jp) An interpreter handling over effects for Eff October 17, 2020 @ ScalaMatsuri 2020 1 / 45 Table of contents 1 Who am I? 2 I
Extensible Effects はモナド変換子に対する救世主になり得るか？
Extensible Effects はモナド変換子に対する救世主になり得るか？ konn-san.com Oleg, Sabry and Swords らによる Extensible Effects: An Alternative to Monad Transformers の論文を読んだメモ的な何かです。モナド変換子に関する簡単な現状確認から入ってはいますが、想定読者層は日常的にモナドやモナド変換子を用いたプログラムを書いている人達です。 どちらかというと自分向けのメモの性格が強いので、詳しい部分は論文を参照してみてください。 背景：モナド変換子とその問題 Haskell を中心に、関数型言語では副作用のある函数を合成するための手段としてモナドが広く用いられている。モナドは非常に強力な抽象化で、およそ副作用と呼べるものはモナドを使って定式化することが出来た。例えば、大域的な環境 r を
はじめての Monad, Monad Transformer, Extensible Effects | Recruit Tech Blog
はじめての Monad, Monad Transformer, Extensible Effects Ariizumi Shumpei こんにちは。RECRUIT Job for Student 2021 Summer で、スタディサプリ ENGLISH の開発を行なっていた有泉洵平です。 スタディサプリ ENGLISH のサーバサイドでは Extensible Effects を導入しています。それを扱うにあたり Monad, Monad Transformer, Extensible Effects を学んだため、この記事にまとめます。 また、RECRUIT Job for Student 2021 Summer に興味のある方は、そちらについても記事を書いたため、参考にしてください。 要約 Monad とは、pure と flatMap というメソッドを持ち、Monad 則を満たすも
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
アルプのEff独自エフェクト集 / Alp-original ’Eff’ pearls
Extensible Effects with Scala/eff-with-scala
