Resultados da pesquisa a pedido "types"
Declarando uma lista de tipos
Eu quero declarar uma lista contendo tipos basicamente:
Como decidir se deve ser parametrizado no nível de tipo ou no nível do módulo ao projetar módulos?
Estou trabalhando para uma compreensão profunda dos módulos no estilo ML: acho que o conceito é importante e adoro o tipo de pensamento que eles incentivam. Agora, estou descobrindo a tensão que pode surgir entre tipos paramétricos e módulos ...
Tentando tratar classes de tipos e sub-tipos como conjuntos e subconjuntos
Esta questão está relacionada com a minha pergunta anterior sobre SOclasses de tipo. Eu faço esta pergunta para configurar uma questão futura sobre as locali...
O que é um subtipo Isabelle / HOL? Quais comandos do Isar produzem subtipos?
Eu gostaria de saber sobre os subtipos de Isabelle / HOL. Eu explico um pouco sobre por que é importante para mim na minha resposta parcial à minha última pe...
Regras de variação em c #
oRegras exatas para validade de variância são um pouco vagos e não específicos. Vou listar as regras para o que faz um tipo válido-covariantly e anexar algum...
Polimorfismo F-ligado com tipos abstratos em vez de tipos de parâmetro?
Como faço para converter o seguinte polimorfismo F-Bound para codificar usando tipos abstratos?
Por que Java não permite Casting Boolean -> Int?
Eu estava me perguntando por que o Java não permite transmitir de um booleano para um int, assim:
Como exibir uma matriz de bytes como uma matriz de bytes hexadecimais ou números decimais não assinados no depurador Java do Eclipse?
Desejo exibir uma matriz de bytes no depurador Java do Eclipse (Helios Release, build id: 20100617-1415) como uma matriz de bytes hexadecimais (2 dígitos cada) ou números decimais não assinados? Isso é possível? Quão? Por exemplo, eu quero ...
Por que DuplicateRecordFields não pode ter inferência de tipo?
Post relacionado:Como desambiguar a função ...
Sobrecarga de função / método C ++: Confusão de tipo de dados?
Estou tendo algum problema ao sobrecarregar métodos em C ++. Como exemplo do problema, tenho uma classe com vários métodos sobrecarregados e cada método tend...