Já vi várias fontes ecoarem a opinião de que "o Haskell está gradualmente se tornando uma linguagem de tipo dependente". A implicação parece ser que, com mais e mais extensões de linguagem, Haskell está à deriva nessa direção geral, mas ainda não está lá.

Existem basicamente duas coisas que eu gostaria de saber. A primeira é, simplesmente, o que significa "ser uma linguagem de tipo dependente"significar? (Espero que sem ser muito técnico sobre isso.)

A segunda pergunta é ... qual é a desvantagem? Quer dizer, as pessoas sabem que estamos indo nessa direção, então deve haver alguma vantagem nisso. E, no entanto, ainda não chegamos lá, então deve haver algumas desvantagens em parar as pessoas indo até o fim. Tenho a impressão de que o problema é um aumento acentuado da complexidade. Mas, sem entender realmente o que é digitação dependente, não sei ao certo.

O que euFaz O que eu sei é que toda vez que eu começo a ler sobre uma linguagem de programação de tipo dependente, o texto é totalmente incompreensível ... Provavelmente esse é o problema. (?)