タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
Parser combinators are sets of functions for building parsers in a composable fashion. Haskell’s Parsec library and OCaml’s Angstrom are two examples. Both of these libraries expose monadic interfaces for describing context-sensitive grammars. This post looks at implementing a more restricted parsing library, structured around applicative functors rather than monads. What could justify giving up o
この記事は、F# Advent Calendar 2020の7日目の記事です。初日の記事であるF# 5.0の新機能でも触れられていますが、 コンピュテーション式でApplicativeな計算を扱えるようにして、より効率的にコンピュテーション式の処理をチューニングすることができる Applicative Computation Expressions について、少しだけ掘り下げてみようと思います。 Optionモナドのコンピュテーション式 まず、手ごろなサンプルとしてOptionモナドのコンピュテーション式の挙動をみてみましょう。 type OptionBuilder1 () = member __.Bind(x, f) = printfn "%s" $"{nameof(OptionBuilder1)}:Bind x:{x}" Option.bind f x member __.Return
Monad は継続、Applicative は並列
Scala の cats のドキュメント群が Monad に関する説明としてすごくわかりやすかったので、そこで学んだことをまとめておこうと思った。 モナドを理解したい モナドを理解したいというモチベーションをずっと持っている。Wasm 文脈で Rust に入門しそこで Option や Result と出会い、OCaml で Monadic Parser を意味も分からず実装し、そのための勉強で Parsec を知りH 本で Haskell と一緒に勉強したり、同僚に Scala と cats を布教されたりで、長いことモナド周りの技術に触れている。しかし今でもきちんと理解できている自信がない。何が理解できないのだろうか。 H 本で学んだこと H 本は型クラスについて解説したあとに Functor の説明に入る。ここでは文脈を持った値、文脈を維持したまま関数を適用できる関数として fmap
前提: 型クラス 型クラスの話をしています。型クラスは、ダックタイピングのすごく良いやつです（適当）（コメントで識者がツッコんでくれる） 型クラス（とその具体例であるインスタンス）にはいろいろあるけど、今回はValidatedとTraverseについて話しているよ 言語によって呼び名はいろいろあるけどここではScala（のCatsライブラリ）での呼び名で書いています ValidatedはApplicative、Functorのインスタンスだよ（ApplicativeとFunctorのインスタンスであることを強調してValidated applicative functorと呼ぶことがあるよ） Monadじゃないよ Monad版はEitherが相当するよ TraverseはFunctorにtraverseという操作を導入した型クラスだよ 例えばListはTraverseのインスタンスだよ V
Cats の関数覚え書き(Functor, Apply, Applicative, FlatMap) - Qiita
この記事は MicroAd Advent Calendar 2021 の 1 日目の記事です。 はじめに 現在、弊チームでは Cats 製の WEB アプリを実装(既存のアプリのリプレイス)を進めています。 Cats にはたくさんの型クラスにたくさんの関数が定義されているのですが、それを知った上で実装を行うのと、知らないで実装を行うのではコーディングの難易度に天と地ほどの差があるように感じています。 今回はチームメンバーへの共有も兼ねて、よく使うであろう型クラスの関数について覚書程度ですが使い道などを書いていこうと思います。 flatMap とそれに連なる型クラス Functor Bifunctor FunctorFilter Apply Applicative FlatMap エラー処理に関する型クラス ApplicativeError MonadError cats.kernel 系
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Applicative parsing | Notes on Computing
Applicative Computation Expressions
Validated applicative functorの良さ + Traverse
www.utanutan.com
nanjpride.blog.jp
kicks-blog.com
makoro.hatenablog.jp
anond.hatelabo.jp
naigpt.jugem.jp