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

In Myrddin[1], the code is amenable to loop versioning -- All references are bounded, one way or the other. Either you have a raw pointer, which is bounded by the size of the type, or you have a slice, which carries with it a length. This allows you (or the compiler) to trivially write an 'aliases(a, b)' predicate, which allows the compiler to write something like:

    if aliases(a, b)
Considering that this language seems to also keep track of bounds on the pointers, you could probably do something similar.


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