Chapel tries to do a bit that language, however it looks they only care about HPC workloads, that are not everyday programming anyway.
Very nice overview, also agree with the points that you presented.
Very nice overview, also agree with the points that you presented.
Also I think I mixed up acronyms 2 weeks ago, and meant TLA+ instead of SAT:
https://news.ycombinator.com/item?id=49909056 (What TLA+ can and can't check)