> doesn't natively support dependent types Well, it does. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		premium-concern on Aug 22, 2016 \| parent \| context \| favorite \| on: Higher-kinded types: the difference between giving... > doesn't natively support dependent types Well, it does.

vorotato on Aug 22, 2016 [–]

Scala supports dependent types like how F# supports higher kinded types. Kind of, some of the time, but you might be able to find a library which shims full support.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact