I will make some heretical statements. I think unit-testing sucks. I think current type systems are overrated. Logic programming + meta-programming as well as

I will make some heretical statements. I think unit-testing sucks. I think current type systems are overrated. Logic programming + meta-programming as well as Logic programming powered RTEPLs (Read-Typecheck-Eval-Print-Loop) can give us optional rich, strong guarantees without adversely affecting runtime performance. This is a space that needs more exploration.