Windymelt https://blog.hatena.ne.jp/Windymelt/ Lambdaカクテル https://blog.3qe.us/ 技術 scala Scala 3 には篩型（refinement types）を実現するためのライブラリであるIronが存在する。 blog.3qe.us このライブラリを使うと、非負整数とか、8桁の文字列とか、UUIDといった、元々の型に加えて制約を加えたものをそのまま型情報に載せて扱うことができる。詳しくは記事を読んでみてほしい。 ↑の記事にも追記したことだが、先日 Iron v3.0.0 がリリースされた。おめでとう！ github.com この記事では、ほぼ上に書かれていることをなぞっているだけだが、 Iron 3 の変更について紹介する。 また、公式にマイグレーションガイドが提供されている。 ilto… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.3qe.us%2Fentry%2F2025%2F03%2F29%2F014816" title="Scalaの篩型ライブラリ Iron v3.0.0 がリリースされた / 構文がより簡潔になり、扱いやすく、強力に（ただし Scala 3.6.3 が必要） - Lambdaカクテル" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-03-29 01:48:16 rich https://blog.3qe.us/entry/2025/03/29/014816 1.0 100%