Haskell's type system does sound interesting. Been on my list to check out for a long time, but so little time. I write C++ for living. About a year ago, I wro

Haskell's type system does sound interesting. Been on my list to check out for a long time, but so little time. I write C++ for living. About a year ago, I wrote one pet project in Go. 30k lines, complicated concurrency, two different TCP servers, thousands of simultaneous goroutines that send messages over channels to each other. I was shocked how good experience it has been from the start when it comes to error handling and general reliability. Despite being my first and only project in Go, the project just had pretty much no bugs. We've used this project daily by handful of people for over half a year and so far just a few minor bugs have been reported. I've never achieved that low initial defect count for similar size and complexity C++ projects.