What is "incredibly dangerous"? Having contracts that can catch errors at compil... | Hacker News

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

lerno on July 14, 2025 | parent | context | favorite | on: C3 solved memory lifetimes with scopes

What is "incredibly dangerous"? Having contracts that can catch errors at compile time?

rowanG077 on July 14, 2025 [–]

I understood your comment as that contracts are not statically checked at compile time. That is incredibly dangerous and means I would never go to bat for the language.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact