https://medium.com/@mwendakelvinblog/ada-the-language-of-safety-concurrency-and-precision-f482c81b017d
