Conversation

Jun 12, 2018

It's one of those days when I want to tweet: "It's one of those days I'm so glad I have a solid set of automated tests! I'm refactoring a ton of stuff and my tests are saving me!!! WOO!" Then I realize what I should tweet is: I probably should use a statically typed language.

145

Mark Dalgleish

@markdalgleish

Jun 13, 2018

let add = (x: int, y: int): int => x + y + 42; ✔️ COMPILATION SUCCESSFUL

Brian McKenna

@puffnfresh

Jun 13, 2018

forall(x => add(x, 0) === x) ✗ 100 out of 100 tests failed

Replying to

and

Property-based testing is one hell of a drug, especially when coupled with a type system. Would actually be cool to see it used more for user interfaces too - dunno if that's possible though!

12:17 PM · Jun 13, 2018Twitter Web Client