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 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 ]

There are no comments on this comment yet.