ApplicativeDo
#WIP
https://kowainik.github.io/posts/arrows-zoo
Applicative Style
を
do記法
使って書く
依存関係も見てくれるのか
Haskell Day 2021
のGraphQLの発表の後半で少し説明されている
Applicative型クラス#618949df19827000008325de
みたいな話があるので、
do
で書いた時も、Applicativeで済むならApplicativeとして解釈して欲しい、となる
#??
「Applicativeで済むなら」という基準は機械的に判断できるものなのか？
あー、前の行の値に依存しているかどうかで判断できるのか
mrsekut.icon
https://qiita.com/thimura/items/120f40c4e49f9154ac8a
ざっくり概要がつかめる
https://kowainik.github.io/posts/arrows-zoo
https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/applicative_do.html
https://stackoverflow.com/questions/40689441/applicativedo-in-haskell
http://blog.nakaji.me/applicativedokuo-zhang-woshi-su/
https://dl.acm.org/doi/10.1145/2976002.2976007