矢印のパターンで理解する Functor〜Applicative〜Monad
F[A]→F[B] に至る矢印を比べて、いろいろな型クラスをまとめて理解する、Cats 入門者向け記事。 はじめに この記事では、Cats の型クラスをテーマにする。 Cats は関数型な Sc...
9
7
Comment0
64 search resultsShowing 1~20 results
Stocked
You need to log-in
関数型DDD〜Domain Modeling Made Functional まとめ
『Domain Modeling Made Functional』という関数型ドメインモデリングの本を読んでみた。とても面白かったので紹介したい。 はじめに 著者について 『Domain Dri...
211
134
Comment0
現在時刻が関わるコードを関数型で書いてテスタビリティを見てみた
最近、現在時刻が関わるプログラムを題材に、高テスタビリティなプログラミング作法を解説した素晴らしい記事が復刻されて、感想などがTLに流れてきたので、自分もそのお題を関数型プログラミングで解いてみ...
48
46
Comment0
実はけっこう多い DDDの本
DDDの本と言っても、青い本、赤い本だけではなく実はいろいろある。用途や時代、知識や技術レベルに合う本を選んで時間を有効に使いたい1。 書籍・資料 以下に DDDの関連本を簡単に紹介し2、その後...
12
8
Comment0
Cats MTL 〜 8つの型クラス
モナドトランスフォーマーの型クラスを提供する Cats の MTL について。 ※ Scala 3 と最新ライブラリで書き直した (2022-08-14) はじめに モナドあるいはエフェクトの合...
9
6
Comment0
DI とモナドの差し替え：Tagless Final / Free Monad
以前書いた記事『Scalaでいろんな DIを試してみる Cake 〜 Free+ReaderT』で、モナドの決定までを含めて依存と考えて、Cake パターンや Free Monad などDIの方...
15
9
Comment0
Scala で書く関数型な DI： Cake 〜 Free+ReaderT、ZIO
"Functional Programming Patterns in Scala and Clojure"(以下、FPPSC)(PDF)の第3章に、関数型言語のイディオムでオブジェクト指向のパ...
24
22
Comment0
Profunctor の dimap に着目してみた
以前の記事で Cats のArrowを試してみた。cats.arrow パッケージの中で、Arrow は Strongを継承し、その Strong は 階層最上位の Profunctor を継承...
7
3
Comment0
http4s × tapir 〜 エンドポイントにおける記述と実行の分離
HTTP エンドポイントをタイプフルに記述してビジネスロジックを分離するライブラリ tapir の http4s への適用。 はじめに 関数型な Scala の界隈では記述と実行の分離がよく奨励...
15
5
Comment0
シンプルな型 Pair[A]=(A, A) でいろいろな型クラスを実装してみる
とても簡単でわかりやすいデータ型 Pair[A]=(A, A) （同じ型の値のペア）について、Functor, Applicative, Monad, Traverse などを実装して型クラスを...
5
2
Comment0
Cats Effect の７つの型クラス
Scala の IO モナドライブラリ Cats Effect に含まれる 7つの型クラスのまとめ はじめに Cats Effect の解説では、IO モナドを中心に語られることが多いが、この記...
9
7
Comment0
Hammock による Free Monad な HTTPクライント
Hammock という純粋関数型HTTPクライアントライブラリがある。HTTP アクセスを Free Monad で表現していて、effect のパラメータ化技法の応用例として面白いので、今回は...
3
2
Comment0
半順序〜PartialOrder の実装例と Discipline テスト
半順序の定義と例を調べて、実装サンプルと法則への準拠テストを書いた。Cats と Discipline と refined 等を使った。 定義と例 Wikipediaによれば、集合$P$上の２要...
1
0
Comment0
cats-collection の PairingHeap を使った素数の無限リスト
Cats 関連モジュールの cats-collection に入ってる、コレクションクラス PairingHeap を使って、素数の無限リストを書いてみる。 (サンプルコードを Scala 3 ...
0
0
Comment0
Cats の表現可能関手 Representable を調べてみる
Cats の表現可能関手 圏論の表現可能関手が Scala の関数型プログラミングライブラリ Cats にもあるので調べてみた。 はじめに 前の投稿では、ふだんあまり使わないけど何か興味を惹かれ...
7
3
Comment0
Cats Effect 3 の型クラスチートシート
Cats の チートシートの Cats Effect 3 版を作った。 はじめに Scala の 関数型プログラミングに慣れると、生のメソッドのシグネーチャより一段高い抽象度で型を考えたいことが...
2
2
Comment0
Scala 2 の Partially-Applied Type イディオムを Scala 3でシンプルにする
Scala 2 で定番だった Partially-Applied Type イディオムを Scala 3 で簡素化する解説。 結論 こんな感じの Scala 2 コードが、、、 final cl...
1
0
Comment0
なんか気になる Cats のマイナーな型クラス５選
Scala の関数型プログラミングライブラリ Cats でたまに見かける、ふだん余り使わないけど何か気になる型クラスを調べてみた。 はじめに Cats でよく使う型クラスといえば、Monad、M...
11
7
Comment0
FS2 Stream の作り方アラカルト
純粋関数型の Streaming IO ライブラリ FS2 でいろんなストリームを作ってみる。 はじめに Scala 開発で、http4s や doobie といった関数型なライブラリがもっと使...
11
6
Comment0
Squants 〜 型安全な量と単位の表現
コード上の数値の意図を明瞭かつ安全に型で表現する「量と単位」のライブラリ Squants について。 はじめに 例えば、ユーザが注文時に製品サイズを微調整できるような ECサイトで、増減値指定に...
5
1
Comment0
64 search resultsShowing 1~20 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles