News for hackers. Stuff that matters.

A comment on Parse, Don’t Validate. Parent comment

Re:Parse, Don’t Validate by mcphage on Friday November 08, 2019 @10:59AM (#21483436)
It requires a language with dependent types, like Idris.
[ Parent | on HN ]
Re:Parse, Don’t Validate by jolux on Friday November 08, 2019 @11:51AM (#21484043)
I don't think it does require dependent types, actually. Can't it be implemented as a monad? (possibly https://hackage.haskell.org/package/Tainted)
[ Parent | on HN ]
Re:Parse, Don’t Validate by hnick on Saturday November 09, 2019 @07:14AM (#21491065)
It exists in Perl. So I figure it can be implemented in any language.
[ Parent | on HN ]
Re:Parse, Don’t Validate by jolux on Saturday November 09, 2019 @01:18PM (#21493165)
Probably! But I think monads might make it more useful and ergonomic.
[ Parent | on HN ]