Readers may also be interested in LiquidHaskell: https://ucsd-progsys.github.io/... | Hacker News

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

		patrickmn on Oct 29, 2019 \| parent \| context \| favorite \| on: Moving Beyond Types (2017) Readers may also be interested in LiquidHaskell: https://ucsd-progsys.github.io/liquidhaskell-blog/ https://ucsd-progsys.github.io/liquidhaskell-tutorial/01-int... The Python hypothesis package strikes me more like a dynamic version of Haskell/LiquidHaskell than Haskell/hedgehog.

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