The Blow programming language

The developer of Braid has streamed two talks so far (with more to come) on his pain points in language design. He's uploaded the recordings here:

https://www.youtube.com/watch?v=TH9VCN6UkyQ
https://www.youtube.com/watch?v=5Nc68IdNKdg

It seems to me that what he actually wants is more or less Rust, but he doesn't realize it because he's hung up on design decisions that strike him as opinionated, when really they're the natural outcome of the overall design constraints ("no GC, no run-time type checking if we can help it," and so on) or represent planned features that merely have yet to be implemented. Then again, the D community is saying something similar, and I don't know D as well as Rust so I'm not sure what to think.

>>12
I agree with him.

foo : int
foo = 5

is much better.

For one thing, it allows

foo, bar, baz : OneType

For another, it allows the code editor to cleanly hide and show type declarations. E.g.

foo : [Char] -> [[Char]]
foo = words >>> reverse

bar : [Char] -> Int
bar = length >>> (*(-1))

can be displayed as

foo = words >>> reverse

bar = length >>> (*(-1))

You can hide/show typedecls without lines squeezing and swelling weirdly.