Re:Esverify: LiquidHaskell inspired verification for JavaScript
by jononor on Saturday December 01, 2018 @07:13PM
(#18579903)
This combined with TypeScript (which seems to be on their roadmap), and property-based testing ala QuickCheck would be a serious toolkit for writing more correct JavaScript.
[ Parent
| on HN ]
There are no comments on this comment yet.