数学
1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, 208012, 742900・・・ という数列を知ってますか?カタラン数と言うらしいです。
scalazに限らずHaskellもしくはCoqなどの定理証明系の言語の文脈でもLeibniz Equalityという言葉出てくると思いますが、その話
「環や体や群とはどういう概念か?」 という説明は面倒なので、ググるか、wikipediaでも読んでください。 日本語版wikipediaの環 日本語版wikipediaの体 現状、自分が把握してるのは、以下の2種類のライブラリ。(他にも存在したら、追記するかもしれないので…