[Swift-devel] Swift reference manual and syntax specification

[Tim Armstrong]

There's been someone at Indiana working on semantics of monotonic
variables, which is pretty much exactly what Ben described:
http://www.cs.indiana.edu/~rrnewton/papers/2012-lambdapar-draft.pdf

On Sun, Mar 10, 2013 at 6:46 PM, Ben Clifford <benc at hawaga.org.uk> wrote:

>
> > Your example is a good one, in that it (and probably several others)
> > would be needed to understand the topic of array closing.  The current
> > Swift/T Guide says only "Arrays are part of Swift dataflow semantics. An
> > array is closed when all possible insertions to it are complete" but it
> > doesnt say how to understand that clause "...when all possible
> > insertions to it are complete", in particular what "all possible" means.
> > More examples are needed to understand it fully. Ideally, precise rules
> > and examples complement each other.
>
> wrt this, one approach to array closing that I had before was regarding
> the state of the array as constrained to move on a directed graph of
> states until they reach an end state (the closed state) - that gives not
> really a state machine, but perhaps something a bit like it, onto which
> maybe you could say "this kind of Swift code moves an array into this
> state". I never wrote that more formally, and I don't think it lines up
> entirely with the way that Swift does things, but it might be interesting
> to pursue.
>
> --
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/swift-devel/attachments/20130310/15a7ac15/attachment.html>