2020/10/16
さらなる型安全性を求めて ~ Refinement TypeをScalaで実現する ~
SoRの性質が強いBtoBアプリケーションでは、「堅く」作ることを求められる箇所がしばしばあります。
Scalaの型安全性が頼もしく感じられるのは、まさにこのような箇所においてです。
「堅く」作るために、私たちがいま注目しているのが refined と newtype というライブラリです。
この記事では、refinedとnewtypeを使ってScalaの型安全性をさらに引き出すテクニックを紹介します。