Conversation

@andy_matuschak

Fits in well with an important piece of my professional philosophy: aggressively fight to strip magic away from my dependency tree.

4

2

11

@andy_matuschak

Thanks, guys!

1

1

@andy_matuschak

Right on. Also, with, say, a compiler, "correct" is unambiguous and testable. Much easier!

1

2

@andy_matuschak

Replying to

Oh, man, they’re even *provably correct*! compcert.inria.fr/compcert-C.html

12:37 AM · Aug 9, 2013 from Civic Center, San FranciscoTweetbot for Mac