The type system can verify values as well, but can do so more exhaustively than ... | Hacker News

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

codygman on Jan 16, 2017 | parent | context | favorite | on: Rasa: Extremely modular text editor built in Haske...

The type system can verify values as well, but can do so more exhaustively than you can practically test.

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