[langsec-discuss] Enforcing validation layer with types

David-Sarah Hopwood 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:
> 
> http://blog.tmorris.net/understanding-practical-api-design-static-typing-and-functional-programming/

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...
Name: signature.asc
Type: application/pgp-signature
Size: 553 bytes
Desc: OpenPGP digital signature
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20130103/e04cccf9/attachment.pgp>


More information about the langsec-discuss mailing list