タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
RegexFestaで発表した内容を詳しく紹介しますPosted by YAMAMOTO Yuji(@igrep) on December 30, 2019Tags: 正規表現 先日、といっても2019年10月18日のことなんでもう2ヶ月以上も経ってしまいましたが、私はRegex Festaというイベントで、「regex-applicative」というパッケージの紹介を致しました。 今回はその際使用したスライドを、ブログ記事として詳しく共有させていただきたいと思います！ 発表時のスライドと比べて、よりHaskellを知っている人向けになってしまいますが、regex-applicativeの魅力を明確に伝えるために必要なのでご了承ください。 Applicativeスタイルを前提知識とします。 Link to hereはじめにまとめ regex-applicativeは、Haskellの式で正
Functor, applicative, and monad are related concepts that frequently arise in functional programming. These three ideas give a name to common patterns across different operations defined on different data types, so recognizing their occurrences are important. However, these entities are shrouded in mystery, being associated with "category theory," and in particular, monads have been elevated to a
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
Transformations on Applicative Concurrent Computations - FP Complete
When deciding which language to use to solve challenges that require heavy concurrent algorithms, it’s hard to not consider Haskell. Its immutable and persistent data structures reduce the introduction of accidental complexity, and the GHC runtime facilitates the creation of thousands of (green) threads without having to worry as much about the memory and performance costs. The epitome of Haskell’
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 系
regex-applicative: 内部DSLとしての正規表現 Yuji Yamamoto (山本悠滋) 2019-10-18 Regex Festa はじめまして！ 👋😄 山本悠滋 (@igrep) Haskell歴 ≒ プリキュアおじさん歴 ≒ 約7年。 趣味Haskeller兼仕事Haskeller @ IIJ-II 😁 igrep.elというEmacsプラグインがありますが無関係です！ 宣伝 hask(_ _)eller 2017年から日本Haskellユーザーグループというコミュニティーグループを立ち上げ、その発起人の一人として活動しております。 愛称: Haskell-jp SlackのワークスペースやSubreddit、ブログ、Wikiなど、いろいろ運営しております。
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
regex-applicative: 内部DSLとしての正規表現（ブログ記事版） - Haskell-jp
Functor, applicative, and monad - TAH's Site
Applicative parsing | Notes on Computing
Applicative Computation Expressions
Validated applicative functorの良さ + Traverse
regex-applicative: 内部DSLとしての正規表現
blog.livedoor.jp/news_sabu
coffee-labo.co.jp
airu.dt.weblog.vc
etutorend.com
bunshun.jp
bunshun.jp