Hi Brandon, OK, so you're basically saying that segfaults can be eliminated with a strong type system, whereas pattern matching errors is the result of some dodgy laziness going on? I personally think such pattern matching errors are a weaknesss of the language; with possibly no solutions to resolve. regards, Chris. On Sat, 23 Aug 2008, Brandon S. Allbery KF8NH wrote:
On 2008 Aug 23, at 17:29, C.M.Brown wrote:
I wonder whether seg faults are the true analogue to errors such as "error: head empty list." or pattern match errors.
Not really; while laziness does introduce a certain amount of "spooky action at a difference" to such errors, it's not nearly as bad as the memory corruption (due to effective type mismatches) that often leads to the segfault.