Claire Foster

`@freeze` is ok, though it's a bit too much of an analogy for me. I'd prefer something more literal, perhaps `@rebind`.

Looking back, I can't say I'm entirely happy with any of the names above. `@bind` might be better?

To be honest, I'm quite surprised that `var(rand(SVector{3,Float32}, 3))` even works: Naively I'd expect it to be an error because `*` is not defined on vectors! Being able to use...

> Being able to use various definitions of * to get inner, outer and elementwise products would certainly be cool. I should point out that regardless of being "cool" I...

> I'm probably misunderstanding, but vector spaces admit multiplication by a scalar. Sure, but this is literally computed as `[2,2]/2`, so it appears we've allowed not just scalar multiplication, but...

> I think this is surprising as we decided not to allow other similar things like `[2,2] + 2`. Thinking further about that, I guess scalar division isn't ambiguous in...

For context, this originated on slack where @cossio was asking for FTP progress logging via DataDeps.jl. (Currently DataDeps uses a system downloader for `ftp://` but `FTPClient` could be used.)

I had a bit of a dig. This goes via `promote_array_type`, which in turn ends up calling `Base.promote_op(.*, Vec{3,Float64}, Float64)` which comes out as `Any`. In this specific case, a...

Might you be able to get rid of the `promote_array_type` overloads if you define the `promote_op` as above?

@SimonDanisch - just to check I understand you - you're saying that it all comes down to dispatch: you want the visualization of `Vector{P