[swift-evolution] Code Contracts

Javier Soto javier.api at gmail.com
Thu Jan 14 17:13:07 CST 2016


Maybe it's unfamiliarity on my part, but "code contract" seems like a very
vague term.
Do you have an example of what this could look like in swift and what the
benefits of such feature would be?

On Wed, Jan 13, 2016 at 6:59 PM Suminda Dharmasena via swift-evolution <
swift-evolution at swift.org> wrote:

> Hello,
> One feature that might be very useful to have in Swift is code contracts.
> Is it possible to see how this can be added to the language?
> Suminda
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution
Javier Soto
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160114/66a3d5e9/attachment.html>

More information about the swift-evolution mailing list