There are a good few languages (Cayenne and Qi spring to mind) with type systems that are so powerful that they themselves trip the halting problem: compilation is no longer guaranteed to terminate. :) I suppose a simple ranged length type (length must be >0) would have sufficed here: you wouldn't need separate types for every possible valid pointer range.
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds