[langsec-discuss] Enforcing validation layer with types
david-sarah at jacaranda.org
Thu Jan 3 23:51:02 UTC 2013
On 03/01/13 22:43, William Sargent wrote:
> It's not the case that the type is a label that partially constraints eligible actions. Types are a way of constructing proofs to the compiler. For example, you can specify a game of Tic Tac Toe at compile time using the type system:
That depends on the type system and other aspects of the language, but
the link above isn't a valid demonstration of it.
David-Sarah Hopwood ⚥
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 553 bytes
Desc: OpenPGP digital signature
More information about the langsec-discuss