title: What is the difference between path-dependent types and dependent types?
body: <p>Scala has path-dependent types, but it is said that Scala doesn’t support dependent typing. What is the difference between path-dependent types and dependent types?</p>
  
  <p>As far as I understand, path-dependent types are one kind of dependent types.</p>