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

const does not imply pure. If applied to a member function, it makes this const; if applied to types it makes types const. Purity is a different concept. The closest match would probably be constexpr.


const does not imply pure. If applied to a member function, it makes this const; if applied to types it makes types const.

You just demonstrated what I mean when I comment that const is fraught.

Purity is a different concept.

Purity more easily maps more closely to an abstract concept and is easier to for people reason about.




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

Search: