Limited-Time Offer: Up to 75% Off Coursera Plus!
7000+ certificate courses from Google, Microsoft, IBM, and many more.
This course teaches how to use Scala 3 features for constraint typing with Boolean algebra to specify constraints on data types in a composable way. The learning outcomes include understanding the limitations of primitive types, implementing compile-time enforced constraints, and embracing literal types. The course covers topics such as refinement types, singleton constraint typing, and the transition from a black box to a white box paradigm. The intended audience for this course is software engineers interested in enhancing their ability to design correct programs using advanced programming techniques in Scala.
