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

No, because in discrete differentiation like this, there is no limiting process where openness matters, and open/closedness is completely trivial in discrete spaces.

The "one-hole" is in the discrete types, not the potentially continuous values.




Right, the "elements of x" made me think values, but those elements really are other types.

Crazy where operator overloading will get you. If there are postmodern math papers I feel like this is one of them




Consider applying for YC's Spring batch! Applications are open till Feb 11.

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

Search: