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

Would love to see more of the type system described.

If each scrap carries its own versions of its dependencies, then even the "same type" could actually be a "different type" because of version mismatches?



The version isn’t considered when comparing types. If the types structurally fits into the spot, you’re good to go.

I’m planning on publishing more of these kinds of details in the next month or two




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: