It requires a language with dependent types, like Idris. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

mcphage on Nov 8, 2019 | parent | context | favorite | on: Parse, Don’t Validate

It requires a language with dependent types, like Idris.

jolux on Nov 8, 2019 [–]

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)

hnick on Nov 9, 2019 | [–]

It exists in Perl. So I figure it can be implemented in any language.

jolux on Nov 9, 2019 | | [–]

Probably! But I think monads might make it more useful and ergonomic.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact