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

The problem with a MOP is that it is so general that it is possible to do anything and thus impossible to reason about anything. Kiczales gave an interesting retrospective talk where he talks about this subject and more:

http://bc.tech.coop/blog/060709.html



Kiczales actually points out that the many recent advancements on reasoning about programs (type systems, contracts) can probably be applied here.




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

Search: