Месяц: Август 2015

In the weakly interacting massive particle (WIMP) paradigm

By grecha | Comments: 0 | 24.08.2015

8MbAbstractTypes express a program’s meaning steroids, and checking types ensures that a program has the intended meaning. In a dependently typed programming language types are predicated on values, leading to the possibility of expressing invariants of a program’s behaviour in its type. Dependent types allow us to give more detailed meanings to programs, and hence