Okay, sure, but that's just the classic argument for static type systems, i.e., ... | Hacker News

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

didibus on July 15, 2018 | parent | context | favorite | on: Lisp and Haskell (2017)

Okay, sure, but that's just the classic argument for static type systems, i.e., soundness.

I thought he was trying to allure to something more.

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