Our great sponsors
-
ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
You can actually try to have a magic language which "does not ignore decades of PL research" but you are likely to get either something broken or a project that is likely not going to release in our lifetime.
-
For finite solutions that you can fit in your head maybe, but I'm still sure that fuzzing, coverage, and [advanced testing](https://github.com/flyingmutant/rapid) are ways to go. And nothing beats integration testing if you need to see how application interacts as a whole.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Many languge features get proposed and explored in RFCs, some of them don't quite work out, sometimes it's for good reasons and sometimes for bad reasons, but you can't say they weren't evaluated. There was discussion of dependent types here, with thus-far not great outcomes: https://github.com/rust-lang/rfcs/issues/2709
-
Go Team wanted generics since the start. It was always a problem implementing them without severely hurting compile time and creating compilation bloat. Rust chose to ignore this problem, by relying on LLVM backend for optimizations and dead code elimination.
-
You can actually try to have a magic language which "does not ignore decades of PL research" but you are likely to get either something broken or a project that is likely not going to release in our lifetime.
-
Those 3 main items are actually exactly the 3 that I most want from Go, which I don't think is a coincidence. We might be on the same page about a lot of this already. I have been only intermittently following Go evolution proposal issues, so I hadn't yet seen the sum type proposal posted two months ago. Are either of the other two also under discussion?