FPinScala

blog.magnolia.tech 第8章の「プロパティベースのテスト」に入ります。 この章は一度作ったAPI設計を、その後の検討で作り直す流れになっていて、演習問題の答えが都度変化していきます。そのため、正解を参照しようとしても用意されている正解は先回りして後半の仕様まで取り込まれているものが用意されていて本書の記載に沿って順番に解いていく時点では単なるコピペができません。一方でここで実装したライブラリは後半のモノイドの章でも利用されるので、動くところまで持っていく必要があります。 もともと、プロパティベースのテストに慣れていないと、新しい概念と実装の両方をこなしていかないといけないので、…

blog.magnolia.tech 今回はFP in Scalaの2nd edition用のリポジトリを見ていて気づいたScala3の構文の使い方について、調べたことのまとめです。 extensionについて Scala3のextensionは、既存のクラスに後からメソッドが追加できる構文です。 Extension Methods | Scala 3 Language Reference | Scala Documentation つまり、Scala2におけるenrich my libraryパターンの新しい書き方、というわけです。 https://scala-text..io/scala_…

blog.magnolia.tech 今回は「純粋関数型の並列処理」の前半を扱います。ここから「Part II 関数型デザインとコンビネータライブラリ」に突入します。 個人的にはこのPart IIから演習問題の難易度が格段に上がった印象でした。また、ここでの演習問題で実装したコードが後の章で使われたりするので、避けるわけにもいきません。それでも類似のライブラリや、ベースとなっているライブラリを触っていくことで次第に理解が深まっていくでしょう。 純粋関数型の並列処理 テストコード この章の演習問題を解く上で悩ましいのはテストコードです。実際に巨大な(時間のかかる)計算をさせ、「並列だと処理時間が…

blog.magnolia.tech まだまだ続きます。 演習問題を解く上で、そもそも既存のメソッドの挙動がよく分からない、みたいな時はこのサイトが参考になります。 superruzafa.github.io 純粋関数型の状態 テストコード この章で扱うState[S, +A]や、Rand[A]の関数群は、最終的にはシードであるRNGを引数に取り、生成された値と、新しいシードのタプルを返す関数を返す、という構成になっています。 つまり、最後はシード値を与えて得られた結果を期待値と比較してテスト結果を確認する、という形式になります。 例えばこのようなテストになります。 test("nonNega…

blog.magnolia.tech タイトルで言うほどScala3関係無いですね。単に読書メモだと思ってください。 例外を使わないエラー処理 ソフトウェアの複雑度を示すメトリクスに「循環的複雑度」というのがあります。 循環的複雑度 - Wikipedia 簡単に言うと条件分岐やループが有ると数値が上がっていって、一定の数値を超えるとコードを把握することが困難となり、バグが混入する確率が上がっていく、という考え方です。 この計測方法が適切か？閾値は適切か？というのは組織文化に依るものなので、パラメータの調整をしながら適用していくのが適切ですが、おおまかな考え方については非常に同意できる考え方で…

blog.magnolia.tech 関数型プログラミングのデータ構造 ……続き foldLeft, foldRight, foldについて この先読み進めていくと延々とfoldRightと、foldRightと、foldが出てきます。’畳み込む’という操作を抜き出し、一つのパターンとして定義しているのは関数型のパラダイムで見られるやり方です。ただ、コードだけを見て頭の中で挙動を想像しながら追いかけるだけでは理解しづらいので、下記のブログエントリを参考にすると理解が捗るでしょう。 dev.classmethod.jp dev.classmethod.jp www.m3tech.blog map…

blog.magnolia.tech 前回のエントリの続き。第3章の演習問題を解きます。 関数型プログラミングのデータ構造 第3章は、代表的なデータ構造であるimmutableなListの実装を通じて、概念と操作を理解していく章になっています。 この章をいきなり始めてもよいのですが、コップ本の愛称でおなじみの『Scalaスケーラブルプログラミング 第4版』の「第22章リストの実装」という章があり、Scalaの標準ライブラリにおける実装が解説されていますので、そちらを先に読んでおくと理解が早いでしょう(なお、この章は残念ながらScala3対応版の第5版では無くなっています)。 Scalaスケーラ…