さらなる型安全性を求めて ~ Refinement TypeをScalaで実現する ~

SoRの性質が強いBtoBアプリケーションでは、「堅く」作ることを求められる箇所がしばしばあります。 Scalaの型安全性が頼もしく感じられるのは、まさにこのような箇所においてです。 「堅く」作るために、私たちがいま注目しているのが refined と newtype というライブラリです。 この記事では、refinedとnewtypeを使ってScalaの型安全性をさらに引き出すテクニックを紹介します。 Value Class / Tagged Type refined + newtypeの話題に入る前に、これまでにどのようなテクニックが使われてきたかを簡単に振り返りましょう。 ここに、SNSのユーザーアカウントを表現するクラスがあります。 case class User(id: String, email: String, age: Int) val user1 = User("@tod

[tarao]

よくまとまっていて完全同意な内容だった (個人的にはアノテーションが意味論に影響するの嫌なのでscalazのtagged typeとかで済ませたいとかはある)

[mather314]

良さそう

[baronhorse]

普通に使えるようになってんだ。まぶいわ

[Krouton]

Refinement Type面白そうで便利