[swift-evolution] Proposal: Contiguous Variables (A.K.A. Fixed Sized Array Type)

[Jacob Bandes-Storch]

What is a "type-level integer expression"? The only thing I can think of is
allowing numeric parameters to generics, like "Tuple<4, Int>", but I don't
think that's what you're talking about.

Jacob

On Thu, Jan 28, 2016 at 2:38 PM, Joe Groff <jgroff at apple.com> wrote:

>
> > On Jan 28, 2016, at 2:37 PM, Joe Groff <jgroff at apple.com> wrote:
> >
> >
> >> On Jan 28, 2016, at 2:36 PM, Jacob Bandes-Storch <jtbandes at gmail.com>
> wrote:
> >>
> >> I like this idea, but the syntax seems dangerously close to a call site
> for  "func *(lhs: Int, rhs: Any.Type)"  (which is obviously ill-advised,
> but it is allowed).
> >>
> >> Maybe we could take advantage of something which would be very invalid
> under the current grammar, namely (n T) rather than (n * T):
> >>
> >>    let values: (4 Int) = (1, 2, 3, 4)
>
> Bare juxtaposition might be problematic if we ever do introduce type-level
> integer expressions, though.
>
> -Joe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160128/ff299f64/attachment.html>