Hi Alan,
What do think about the current state of language design (Swift, Rust, Go)? Anything that makes you happy/annoys you?
replies(1):
Concretely, I follow existing languages like Agda, Lean, Haskell, and Rust for pushing the envelope on language semantics, compiler ingenuity, and library abstractions; and http://unisonweb.org/ and http://www.lamdu.org/ for pushing the envelope on the programming workflow itself. While I don't believe editors and languages are orthogonal problems, I do believe there is enough independence to make pursuing these fronts separately in parallel worthwhile.
[Of all of those, http://unisonweb.org/ might especially fit your interests, if I understand them correctly.]