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

Something like the proposal for C++ Concepts captures some of the semantics via axioms (http://en.wikipedia.org/wiki/Concepts_(C%2B%2B)#Axioms) seems like a really interesting solution for this idea.



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

Search: