PROBING THE UNPROVABLE AND PROVING THE IMPROBABLE
summary
Two new Scala libraries appear: Probably is a tiny orthogonal test library that treats tests as ordinary expressions or statement assertions, runs them inline (even inside futures, constructors, pattern matches), supports expression vs statement tests, a CLI, property testing and 10,000-iteration runs that record which iteration failed and prints a hash-named report. Quarantine is a type-heavy result system that encodes expected exceptions in a domain as dependent types (answer/error/surprise), enforces exhaustivity at compile time, gives adaptors between domains, and aims to reduce runtime tests. Both are experimental and on GitHub.
AI-written summary · about
chapters (16)
- 0:00Intro
- 0:25Types vs Tests
- 2:30When should we test?
- 7:16Where can you put tests?
- 8:53Expressions vs Statements
- 9:58The Test Runner
- 11:45CLI interface
- 14:29CLI Output
- 19:48Proving the Improbable
- 22:33Partiality and Totality
- 25:10Exceptions
- 34:43The Result Type
- 36:19Example: JSON API
- 41:16Transitions
- 43:08Ouarantining Your Code
- 45:27About Ouarantine
