検索

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

24.02.19

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

Read More

関連記事

『はじめてのScala3』書評

『はじめてのScala3』書評

25.05.28

ibus-skkでキーリピートが暴走する問題の解決策

ibus-skkでキーリピートが暴走する問題の解決策

25.05.21

Zshでスラッシュ単位で移動・削除できるようにするには$WORD···

Zshでスラッシュ単位で移動・削除できるようにするには$WORDCHARSを設定する

25.05.20

Devin 感想 (驚かない)

Devin 感想 (驚かない)

25.05.19

Redacted: Scalaのcase classの特定のフィ···

Redacted: Scalaのcase classの特定のフィールドを隠すコンパイラプラグイン

25.05.19

Scalaの言語サーバMetalsがMCPに対応したのでRoo ···

Scalaの言語サーバMetalsがMCPに対応したのでRoo Codeで使ってみた / 型やシンボル···

25.05.15

新着記事

『はじめてのScala3』書評

『はじめてのScala3』書評

25.05.28

ibus-skkでキーリピートが暴走する問題の解決策

ibus-skkでキーリピートが暴走する問題の解決策

25.05.21

Zshでスラッシュ単位で移動・削除できるようにするには$WORDCHARSを設定する

Zshでスラッシュ単位で移動・削除できるようにするには$WORD···

25.05.20

Devin 感想 (驚かない)

Devin 感想 (驚かない)

25.05.19

Redacted: Scalaのcase classの特定のフィールドを隠すコンパイラプラグイン

Redacted: Scalaのcase classの特定のフィ···

25.05.19

Scalaの言語サーバMetalsがMCPに対応したのでRoo Codeで使ってみた / 型やシンボル···

Scalaの言語サーバMetalsがMCPに対応したのでRoo ···

25.05.15

人気ランキング

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

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

FreeBSD 14.0でPT3を動かす

FreeBSD 14.0でPT3を動かす

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

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

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

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

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

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

生成AIがWeb上のコンテンツを読めるようになる鍵は暗号通貨によるマイクロペイメント···