A safe, concurrent, practical language