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

• iron

  20 476 7.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.

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• refined

  16 1,717 8.6 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.

• stainless

  3 365 9.0 Scala

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

  

  You may find Dtainless interesting.

Suggest a related project