Como expressar tipos existenciais usando polimorfismo do tipo rank mais alto (rank-N)?

Question

Nov 30, 2012, 10:35 PM

haskell existential-type functional-programming higher-rank-types

Como expressar tipos existenciais usando polimorfismo do tipo rank mais alto (rank-N)?

Estamos acostumados a ter tipos universalmente quantificados para funções polimórficas. Tipos quantificados existencialmente são usados com muito menos frequência. Como podemos expressar tipos quantificados existencialmente usando quantificadores de tipo universal?

questionAnswers(2)

Perguntas populares

0 a resposta

Como posso obter mais de 50 resultados para exibir no excel usando o mysql?

0 a resposta

Por que posso acessar os membros particulares de uma referência de classe de inclusão?

0 a resposta

Qual é o motivo por trás de Enum.hashCode ()?

0 a resposta

Problema de preservação do estado de CoreBluetooth: willRestoreState não chamado no iOS 7.1

0 a resposta

AngularJS- por que estou precisando de $ scope. $ Para aplicar dentro de $ scope. $ On?

Você é muito ativo! É ótimo!

Como expressar tipos existenciais usando polimorfismo do tipo rank mais alto (rank-N)?

questionAnswers(2)

yourAnswerToTheQuestion

Perguntas populares