新卒2年目のエンジニアがモノイドの数学的な定義について調べてScalaで実装してみた - MicroAd Developers Blog
はじめに モノイド 代数学 圏論 Scalaでモノイドを実装する 代数学的な定義に従った整数を加算するモノイドの実装 圏論的な定義に従った整数を加算するモノイドの実装 モノイドの合成 Catsによるモノイドの利用例 おわりに はじめに こんにちは。マイクロアドでソフトウェアエンジニアをしている飛田と申します。私は主に UNIVERSE Ads というプロダクトの開発に携わっています。 UNIVERSE Ads では、より関数型ライクな設計や実装を取り入れることにより、高い保守性を目指しています。 この記事では、関数型プログラミングの入門的な話として、モノイドについて調べてみたので、この記事で共有させていただきたいと思います。 モノイドについてより深い理解をするために、まず、圏論と絡めたモノイドの説明をしたいと思います。 そしてその次に、より理解を深めるために、Scala のサンプルコードを
「Scalaにおける数学」について、とその補足 #scala_ks - Qiita
10/8日(土曜日) Scala 関西があり、そこで「Scalaで学ぶ数学」で登壇した。 そこで、話した感想と、話し切れなかったことについて記事にしておく。 1 + 1 = 2をScalaの型で表現する 話した内容としては、まず、Scalaで1 + 1 = 2の記述をScalaの型によって表現することである。 その後もう、「50%の勝率でn試合すると(n/2)勝する確率」についてを、少しだけしゃべったが時間が無いのでさらっと流した。(これについては後述しておく) 1 + 1 = 2で話たコードの全体だけ記しておく。 object Peano{ sealed class Number sealed class Zero extends Number sealed class Succ[N <: Number] extends Number type One = Succ[Zero] type
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
