> I guess I'm having trouble fathoming how languages were so far ahead while computers were seemingly VERY primitive.

I have a much bigger emotional conflict when contrasting that with the current state of mainstream programming languages, that are only just beginning to tread onto territories like algebraic data types and pattern matching that ML paved almost 50 years ago. Is there any hope for true dependent typing to become popular before 2040?