Re: [RFC] Safe Casting Functions

> On 19 Nov 2014, at 03:02, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote: > > I would like to have DbC to harden app security as well. > I'm looking for something like D language. > > http://dlang.org/contracts.html > > With DbC, checking parameter types/range/etc happen only when development. > Therefore, app runs faster for production. All of runtime checks cannot be removed > from app code by DbC, so this RFC is nice to have even with DbC. Something like contracts is actually an idea I’ve had before. Even some of the most expressive type systems (like Haskell’s) seem to neglect that only a certain range of values of a primitive type may be desired. Having something like that in PHP might be useful. But I wouldn’t say it’s really on-topic. -- Andrea Faulds http://ajf.me/