Yep, the CoffeeScript folks are working on CoffeeScript 2 (I think JA is participating in some discussions but not actively working on it himself). It's not released officially, but there's a beta, and lots of discussions here: https://github.com/coffeescript6/discuss
Hasn't the community (finally) learned that simply transposing a better syntax onto JavaScript does not solve or help programmers in a meaningful way like the way that static typing does? Or is me hoping that a community will collectively reach a realization like this a pipe dream?
Patronizing? I've mostly switched to TypeScript from CoffeeScript for the time being, because types are indeed a huge boon, but a better syntax is meaningfully helpful and my preference any day would be for some merger into typed CoffeeScript.
For what it's worth, I've found that F# has a similar 'feel' to what I'd expect from a typed CoffeeScript. I'm not sure exactly why; it's probably just the look and shape of the code, along with the lack of brackets.
Writing React apps in F# using Fable is pretty nice, too.