Resultados da pesquisa a pedido "types"
Você pode aplicar uma tipealias rapidamente
Estou tentando impor um tipo simples, apoiado por umInt não se confunde com outrosInts. Digamos que você tenha as seguintes tipealiases: typealias EnemyId = Int typealias WeaponId = IntGostaria que o seguinte tivesse um erro do compilador: var ...
Tipo de retorno no bloco
Estou tentando entender as mônadas em Haskell e, durante minhas inúmeras experiências com código, encontrei esta coisa: f2 = do return "da"e o fato de não querer compilar com um erro enorme em relação ao tipo. Eu acho que a única parte ...
Hierarquia de tipos em Agda
Eu estou tentando descobrir como as hierarquias de tipos funcionam em Agda.Assumindo que eu defino um tipo de conjunto X:
Como usar os tipos padrão C99 para máxima portabilidade E eficiência na maioria das plataformas?
Primeiro, aqui está o que eu entendo e penso o que é verdade para a questão.Use tipos de dados rápidos para variáveis únicas, como contadores ou
Drive de um tipo singleton através de um brickwall
Aqui está uma versão muito condensada: case class Brickwall[A](otherSide: A) trait Monoman { def me(m: this.type): Unit } def test(m: Monoman): Unit = m.me(Brickwall(m).otherSide) -> error: type mismatch; found : Monoman required: m.type ...
Por que há uma conversão implícita de tipo de ponteiros para bool no C ++?
Considere a classefoo com dois construtores definidos assim: class foo { public: foo(const std::string& filename) {std::cout << "ctor 1" << std::endl;} foo(const bool some_flag = false) {std::cout << "ctor 2" << std::endl;} };Instanciar a classe ...
O que aconteceu com types.ClassType em python 3?
Eu tenho um script onde faço algumas coisas mágicas para carregar dinamicamente um módulo e instanciar a primeira classe encontrada no módulo. Mas não posso usartypes.ClassType mais em Python 3. Qual é a maneira correta de fazer isso agor
Correspondência de padrão em objetos de caso com membros de tipo
O Scala possui um recurso interessante para inferir o parâmetro de tipo dentro da correspondência de padrões. Ele também verifica a exaustividade da correspondência de padrões. Por exemplo: sealed trait PField[T] case object PField1 extends ...