30th
March
2021
ZIOへの環境Rのprovide方法各種
ScalaのライブラリZIOにはDIを扱うための仕組みが組み込みで備わっている。
DIの実態をprovideする方法はいくつかあるので紹介する。
なおZIOの基本的な理解は所与とする。
DIを補助する仕組みとしてのZLayerやHasについてはこの記事がよくまとまっている。
29th
March
2021
ScalaのF[_]と高カインド型(Higher Kinded Type)を完全に理解していく
Scalaはなんとなく書けるようになったけどライブラリコードとか読めないし、関数型はもっとわかない。
特にF[_]みたいなやついっぱい出てくるけどなに？みたいな人に捧げる記事です。
このようなものは高カインド型などと呼ばれ、なかなか理解が難しいものです。
型のさらなる抽象化の旅に出ましょう。
これはUnderstanding F[_] in Scalaの日本語訳です。
29th
March
2021
Scalaのシングルトン型(~.type)について
ドを読んでいたりするとたまに~.typeというものが出てきてこれはなんだろうと思ったが、検索方法もよくわからんし何なのかも不明だったので調べてまとめ。
