On 17 March 2015 at 08:02, Sanford Whiteman <figureone...@gmail.com> wrote:
> > rather than having a single untyped parameter amongst typed ones > > > Yes, when experimenting with strict types, I'd rather move things in and > out of 'mixed' than remove the notation completely. Like you said, 'mixed' > means, "I've reviewed this area and concluded it needs to be dynamic." > > Also, maybe I missed this upthread, but are the docs still going to refer > to 'mixed'? > Yes. > > -- Sandy >