Q# looks really interesting. I played with it during a public release a few years ago.