Mostly dead influential programming languages (2020)