Realistically, in a bigger project, you might have a NodeSystem type n layers de... | Hacker News

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

login

gf000 5 months ago | parent | context | favorite | on: Some programming language ideas

Realistically, in a bigger project, you might have a NodeSystem type n layers deep buried.

E.g. you just grabbed a hypothetical canvas dependency, which has a Canvas. Can you tell if it does any form of IO or not?

continuational 5 months ago [–]

Only capability type can have fields containing other (concrete) capability types.

If Canvas contains NodeSystem, then Canvas must be a capability type itself.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact