Julia and Cython are just two of the languages that already achieve this (albeit with their own warts and bumps) and from what I see at the Ritchie page, I think I'll stick with those.

BTW -- speaking as someone who first learned to program in a dynamically typed language and only later saw the beauty of static typing, I would strongly debate the idea that type inference everywhere is a good thing. The benefit of strict static typing is not so much that it allows a compiler to produce fast code -- there are lots of ways to achieve that. The benefit is that by forcing the programmer to type out the type signatures of functions in advance, you force a level of thought clarity and appreciation for the way that different pieces of code have to pass off data or state to other parts. I find it leads to better software not because of the compiler (although a compiler catching your mistakes is great for productivity), but because it makes you think much more clearly.

It's sort of like the habit of writing down your moves in chess. The benefit is that it creates a ritual of thought and reflection, and potentially makes you more careful.

These days, I see code with enforced type declarations and typed signatures as so much more elegant than similar code that, while having fewer characters, conveys significantly less about the programming intention. Those extra characters for type info are not clutter, not by a long shot.

I find that specifying parameter types, encouraging pure functions, and encouraging small functions is the best formula to be able to reason locally about code, which I think is one of the most powerful abilities in order to not be overwhelmed by large and complicated projects. I find myself increasingly drawn toward languages and frameworks that encourage this sort of programming. Fortunately, I seem to be in agreement with many language and framework authors these days, and I'm really excited about the landscape over the next few years.

Some of the current open issues worry me, this is a very very early stage project.

I will keep an eye on it and wish it the best, but I feel like Nim is still my go to (pun not intended) for "C speeds but not C level"

Nim was the first language that popped into my mind as well when I read "The beauty of Python meets the power of C."

> The beauty of Python

> Ritchie is whitespace sensitive

As I thought. No thanks.

Y'know, I used to feel the same way. But using a decently configured Vim or Atom, programming in Nim (which is white-space sensitive) has been perfectly fine. Not good, not bad, it just _is_. The language itself is great, too.

If you're still getting stuck up on semantic whitespace in 2015, you must not use any of:

+ Python + Haskell + Javascript + Go + Ruby + Bash

Anything else I'm missing? Whitespace is useful. Figure out how to view it in your editor and move on already. This is so far beyond bike-shedding it's just a depressing comment on how much programmers obsess on syntax.

Line endings are a different question than indentation.

Language design decisions do matter. "Figure out how to view it in your editor" doesn't do one lick to address the problems of semantic indentation.

God no. Most of those hold no value or any interest for me. Bash only because it is the default shell. And thanks for pointing out why I should avoid the others.

Have you never looked at a diff? Massive whitespace changes hide real changes. Next someone will say "Git has a -w option". To which I say "A diff without whitespace changes in those languages would be useless". I can't test it, apply it, or otherwise use it without re-indenting the source myself.

Significant-whitespace languages don't introduce any additional whitespace changes because most people keep their code in whitespace-agnostic languages neatly indented anyway.

Then I guess you don't work on any projects that only want to see non-whitespace changes.

Swift, where semicolons are optional unless you have multiple statements on the same line.

Also C++, C99, and Java if you count // comments.

? How does Javascript use semantic whitespace?

I'm not sure of the details but surely the answer involves semi-colon insertion.

That's the only one I'm aware of.

Put me in the "if that makes a difference in your code, you're doing it wrong" camp (and yes, I recognize that not everyone agrees, and that argument has already been had too many times).

.kniht uoy naht tnatropmi erom s'ti spahrep os ytilibadaer stcapmi xatnyS

I also don't see the interest, but with a decent editor this shouldn't be a problem. For the little Python I write, Vim takes care of formatting the code.

Wouldn't you agree that the code inspection should be easy enough to be performed without fancy tools? It's good to empower yourself with tools to make oneself more efficient but I can't see any compelling reason for us to rely on them so much that we could not do without!