I don ' t see any solid science or logical reasoning on the slidesAs I said before , you don ' t understand the content of the slides , and that is fair though . 1 Types helps catch bugs at compile time and not runtime 2 Testing helps catch bugs before releasing 3 Algebraic data types help you model you application so you ensure that illegal states can ' t be represented , hereby reducing test mathematics ? science ? proofs ? If you use a language that has those features , tools become irrelevant , but I ' m smelling a bit of trolling here <| sep |> Pede para estar l a assistir , s assim ters a certeza . <| sep |> I love visiting the trop ! Only been there 3 times but it ' s not as bad as everyone makes it to be . 1 st game I got a autograph from Kenny Lofton and almost caught asdrubal cabreras first home run . 2 nd game went 16 innings of 1 run baseballweirdest 10 game ever vs the red sox . 3 rd game I met John Cena and got to watch Mariano Rivera get a save . Always a memorable time at the trop lol