News for hackers. Stuff that matters.

A comment on Generalizing 'jq' and Traversal Systems using optics and standard monads. Parent comment

Re:Generalizing 'jq' and Traversal Systems using optics and ... by drdeca on Thursday October 08, 2020 @01:34PM (#24721546)
because it isn't a type error?

Obviously if the spec says to create a word processor program, and you instead write a flight simulator, the compiler isn't going to correct that mistake.

[ Parent | on HN ]
Re:Generalizing 'jq' and Traversal Systems using optics and ... by synthc on Wednesday October 14, 2020 @09:57AM (#24776562)
that is exactly my point, static type system help a lot, but saying that 'if the types check there are no bugs' is too much. There are many classes of errors that are beyond types, even dependant types.
[ Parent | on HN ]