[swift-evolution] [Generics] [Pitch] Dependent Types

Nevin Brackett-Rozinsky nevin.brackettrozinsky at gmail.com
Mon Oct 2 19:01:48 CDT 2017


I rather suspect that we would be best served by starting with integer
literals as the only accepted “values in generics”. This would let us
define fixed-size arrays and matrices, the modular arithmetic types you
describe, and several other mathematical entities.

Nevin.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20171002/7b986527/attachment.html>


More information about the swift-evolution mailing list