[swift-evolution] Code Contracts

[Javier Soto]

Hi!

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?

Thanks!
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>