Skip to main content
tags editadas
Link
Maniero
  • 484,4mil
  • 94
  • 1,3mil
  • 2,2mil
Tweeted twitter.com/StackOverflowPT/status/1370117340638158849
tags editadas; tags editadas
Link
Luiz Felipe
  • 36,5mil
  • 10
  • 74
  • 154
Fonte Link
Luiz Felipe
  • 36,5mil
  • 10
  • 74
  • 154

O que são tipos dependentes e uma linguagem dependentemente tipada?

Sobre o que são linguagens estaticamente tipadas eu já estou ciente, mas o conceito de linguagem dependentemente tipada é novo para mim.

Creio que tem a ver com algo chamado tipos dependentes, mas também não sei o que são.

  • O que são tipos dependentes?
  • Uma linguagem dependentemente tipada seja aquela que possui a feature de tipos dependente? Ou há algo a mais?
  • Toda linguagem com tipos dependentes deve ser, necessariamente, estaticamente tipada?