Design by contract - Preconditions and Postconditions - I'm really amazed with Scala.

• iron

  20 407 8.3 Scala

  Strong type constraints for Scala (by Iltotore)

Scala likes to do design-by-contract on the type level. You encode your pre- and post- conditions into types. Libraries like iron (scala 3) https://github.com/Iltotore/iron and refined (scala 2) https://github.com/fthomas/refined allow you to do all that without throwing any exceptions and they can even enforce some simple predicates at compile time.

• refined

  16 1,680 8.5 Scala

  Refinement types for Scala

Scala likes to do design-by-contract on the type level. You encode your pre- and post- conditions into types. Libraries like iron (scala 3) https://github.com/Iltotore/iron and refined (scala 2) https://github.com/fthomas/refined allow you to do all that without throwing any exceptions and they can even enforce some simple predicates at compile time.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• stainless

  3 347 8.2 HTML

  Verification framework and tool for higher-order Scala programs (by epfl-lara)

  

You may find Dtainless interesting.

Suggest a related project