Oh god, this bullshit again. There is ZERO evidence that any type checker less powerful than Coq will catch more bugs than being healthy and well-rested. If you use Haskell but eat junk food and don't exercise, then you're unethical. nitter.vloup.ch/PttPrgrmmr/statu…