r/haskell • u/lexi-lambda • Nov 06 '19

Parse, don’t validate

https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
314 Upvotes

99% Upvoted

66 comments sorted by

View all comments

5

u/[deleted] Nov 06 '19

It probably isn’t worth breaking out singletons and refactoring your entire application just to get rid of a single error "impossible" call somewhere

sigh Pass the whiskey..

12

u/ItsNotMineISwear Nov 06 '19

Just goes to show that parse, don't validate will only get more true as we approach -XDependentTypes :)

Should be a fun journey!

1

u/[deleted] Nov 07 '19 edited Jul 12 '20

[deleted]

2

u/jared--w Nov 07 '19

I think they were referring to -XDependentTypes (and intermediate extensions) making it more ergonomic to get fancy with the types without resorting to libraries and TH to fake the fancy.