検索

値の検証もコンパイラにやらせよう: Scala 3でRefinement TypesやるにはIronっていうライブラリが良さそう

24.02.19

Scala 3でRefinement Types(篩型)を実現するライブラリIronに入門したので紹介します。最初はRefinedに入門しようとしてたら、Scala 3ではあまり動か···

Read More

関連記事

ScalaのCirceでEnumをUntaggedなJSONにす···

ScalaのCirceでEnumをUntaggedなJSONにするためのエンコーダを定義する

25.10.22

水筒(SU-AA48)買った、自販機のお茶の結露で荷物がベチョベ···

水筒(SU-AA48)買った、自販機のお茶の結露で荷物がベチョベチョになる惨事を防げて便利

25.10.15

スキッとしない / する

スキッとしない / する

25.10.15

ADHD日記 3

ADHD日記 3

25.10.11

ポン付けで何か動かしたいときにRubyが便利

ポン付けで何か動かしたいときにRubyが便利

25.10.01

ADHD日記 2

ADHD日記 2

25.09.17

新着記事

ScalaのCirceでEnumをUntaggedなJSONにするためのエンコーダを定義する

ScalaのCirceでEnumをUntaggedなJSONにす···

25.10.22

水筒(SU-AA48)買った、自販機のお茶の結露で荷物がベチョベチョになる惨事を防げて便利

水筒(SU-AA48)買った、自販機のお茶の結露で荷物がベチョベ···

25.10.15

スキッとしない / する

スキッとしない / する

25.10.15

ADHD日記 3

ADHD日記 3

25.10.11

ポン付けで何か動かしたいときにRubyが便利

ポン付けで何か動かしたいときにRubyが便利

25.10.01

ADHD日記 2

ADHD日記 2

25.09.17

人気ランキング

プログラミングを始めたころとは考え方が全然変わっていることに気づいてびっくりした話

プログラミングを始めたころとは考え方が全然変わっていることに気づ···

FreeBSD 14.0でPT3を動かす

FreeBSD 14.0でPT3を動かす

Scala3で引数の型によって他の引数を有効化したり無効化したりする

Scala3で引数の型によって他の引数を有効化したり無効化したりする

自分がやってる副業やそれぞれの比較: 儲け話ではなく儲からない話

自分がやってる副業やそれぞれの比較: 儲け話ではなく儲からない話

リリース前の動作確認のコスパについて

リリース前の動作確認のコスパについて

Cyclic Barrierで安全なじゃんけんを実装する feat. Scala +···