Get the latest tech news

Structural Correctness

Type systems are great: they catch huge swaths of bugs at compile time, and contribute to a grammar/vocab of forward development for your app. Like type systems, modern tools for verifying correctness leverage structural descriptions of the problem, via graph-structured model of the domain: - Type systems describe programs as a graph of types, functions, traits/etc, and their relationships.

None

Get the Android app