Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
jolux
on Nov 8, 2019
|
parent
|
context
|
favorite
| on:
Parse, Don’t Validate
Seems less useful in languages with strong static type systems?
mcphage
on Nov 8, 2019
[–]
It requires a language with dependent types, like Idris.
jolux
on Nov 8, 2019
|
parent
[–]
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
|
root
|
parent
[–]
It exists in Perl. So I figure it can be implemented in any language.
jolux
on Nov 9, 2019
|
root
|
parent
[–]
Probably! But I think monads might make it more useful and ergonomic.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
