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

but as usual, it's optional.

such is life, especially in dynlangs, things got added, it's already cool that it's known and works finely as it is.

maybe one day domains, limits and code/proofs will be a single entity in source

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