Put the condition in the type. If you truly know that the pointer is nonnull, yo... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

lmm on Oct 20, 2017 | parent | context | favorite | on: Pointer Free Programming and the Future of Nim

Put the condition in the type. If you truly know that the pointer is nonnull, you can explain how you know to the compiler.

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