[swift-users] plugins, verifiable code?

[Jens Alfke]

> On May 25, 2016, at 8:54 PM, Robert Nikander via swift-users <swift-users at swift.org> wrote:
> 
> has there been any discussion about doing something in Swift like Java’s “verified” code, where you can load a 3rd party plugin and trust that it’s not going to segfault or call some C-library?

Any Swift code can abort the process by failing an assertion, or by calling a library function in a way that will cause it to fail an assertion (e.g. by accessing an out-of-bounds array element.) Swift isn’t designed as a “safe” language.

—Jens
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-users/attachments/20160525/a3f6323b/attachment.html>