Tags » Type System

Efficient optional values

In this post we will see a library for storing nullable/optional values that can in certain situations replace and outperform Boost.Optional. 1,992 more words


Extending the Access Ramp: Optional Type Checking?

One of Salt’s main goals is to provide a smoother transition from a prototype to a fully-verified system. The idea is that if we have a smooth, pay-as-you-go transition, then developers will be more likely to make use of the ability to verify the most sensitive parts of their programs. 631 more words


Handling short codes — part II

Today, we will continue with the implementation of a type capable of storing short codes. For the previous post on the subject see here. This time, we will focus on… 1,653 more words


A First Look At TypeScript Type System

TypeScript type system is just a formalisation of JavaScript types. You can represent runtime types of JavaScript statically by annotating them in the source code. But at the same time it is quite unique compared to other programming language type systems as it is optional and not “provably type safe”. 179 more words


PHPStrongV - Augmenting PHP Data Types

PHP is known as a programming language of love and hate for many developers. It was primarily designed as a procedural language, although it has implemented object oriented features such as classes. 502 more words