News for hackers. Stuff that matters.

A comment on Rasa: Extremely modular text editor built in Haskell. Parent comment

Re:Rasa: Extremely modular text editor built in Haskell by mpweiher on Saturday January 14, 2017 @10:54AM (#13398927)
> Static typing helps a lot to catch basic type errors

> but it is surely not the "Messiah" of code safety.

I've been wondering why that is, and one reason I can think of is that testing verifies values. This also implicitly verifies the types of those values.

[ Parent | on HN ]
Re:Rasa: Extremely modular text editor built in Haskell by codygman on Monday January 16, 2017 @11:10AM (#13410749)
The type system can verify values as well, but can do so more exhaustively than you can practically test.
[ Parent | on HN ]