> I don't expect dependent types or logic programming to become widely-used in the next couple generations of mainstream languages, but they're still fascinatin

> I don't expect dependent types or logic programming to become widely-used in the next couple generations of mainstream languages, but they're still fascinating. why have an expectation one way or the other? the sophistication of compile-time analyses added to, e.g., Rust seems a plausible place such might appear.