[swift-evolution] Epic: Typesafe calculations

[Thorsten Seitz]

> Am 12.01.2016 um 23:49 schrieb Matt Whiteside via swift-evolution <swift-evolution at swift.org>:
> 
> struct InvertibleMatrix: SquareMatrix where determinant() != 0 
> //                       ^~~ 'restriction’ clause, i.e., not inheritance;
> //                       determinant() is executed at compile time,
> //                       since `entries` is a constexpr

Wouldn't that only work for literal matrices?

-Thorsten 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160113/40ee4e0f/attachment.html>