←back to thread

Parse, Don't Validate (2019)

(lexi-lambda.github.io)
389 points melse | 1 comments | | HN request time: 0.282s | source
Show context
mirekrusin ◴[] No.27640199[source]
In typescript parsing/asserting types with combinators works very well merging runtime with static type system [0], it has to be used at i/o boundary, then it enters static type system guarantee and no assertions are necessary, makes very nice codebase.

[0] https://github.com/appliedblockchain/assert-combinators

replies(1): >>27640428 #
lloydatkinson ◴[] No.27640428[source]
I wish it had actual proper examples. I've no idea how to use that.
replies(3): >>27640723 #>>27642258 #>>27642707 #
1. mirekrusin ◴[] No.27642707[source]
Thank you, you are right. I’ll add examples and ping here.