[swift-evolution] Code Contracts

[Suminda Dharmasena]

This is how C# does it -
https://msdn.microsoft.com/en-us/library/dd264808(v=vs.110).aspx

There is a language called WhyML which has it buildin -
http://why3.lri.fr/doc-0.80/manual004.html. Another such language is:
http://whiley.org/ and Ada (Spark subset) :
https://en.wikipedia.org/wiki/SPARK_(programming_language)

In F* see section on "Statically checked assertions" -
https://www.fstar-lang.org/tutorial/

This can give a better idea on available syntax and how this can be adopted
to Swift.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160115/0497dc31/attachment.html>