[swift-evolution] Code Contracts

Suminda Dharmasena sirinath1978m at gmail.com
Fri Jan 15 02:09:41 CST 2016

This is how C# does it -

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) :

In F* see section on "Statically checked assertions" -

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>

More information about the swift-evolution mailing list