16:30 - 17:30 (09.11)
Computability, types, tests, and why flat-earthers are bad at QA
Lucas Fernandes da Costa, Converge
Зал 1, для практикующих инженеров
When an apple hit Newton’s head, he couldn’t prove all apples would do the same, but he could prove they wouldn’t. When we write tests, we cannot prove our code works, we can only prove it doesn’t. Types complement tests like mathematics complement physics, in this talk we’ll see why, and how. We'll also dig deep into how testing tools work and how we can get the most out of them.