Hacker News Reader

> By default, the biggest value from this is catching unexpected runtime exceptions with certain values (the edge cases you don't think of yourself).

So it's a fuzzer?

View on HN

Yes! A smart one though, that limits itself to the type constraints you've specified to avoid redoing the work of your type checker.

Reply on news.ycombinator.com