-
@matthew_d_green Well, I'm a fan of (strongly) typed languages for more reasons than just memory safety. I believe that writing complex cryptographic protocol parsers in an untyped language is too hard to make it safe. That's why primitives and the protocols on top should be compiled code.
-
@matthew_d_green Or put differently, I feel very unconformable trusting the unit test coverage reports of a complex validation state machine for corner cases that are hard to produce in testing.