Resultados da pesquisa a pedido "inference"

1 a resposta

Capturando curingas em genéricos Java

Deisto Tutorial do Oracle Java:O exemplo WildcardError produz um erro de captura quando compilado:

1 a resposta

Desafio de inferência / restrição de tipo TypeScript

Atualmente, estou tentando melhorar os tipos em algum código existente. Meu código é mais ou menos assim: /* dispatcher.ts */ interface Message { messageType: string; } class Dispatcher<M extends Message> { on< MessageType extends ...

1 a resposta

compreender o trabalho de Drools guvnor

can qualquer um plz me avise que como drool guvnor funciona eu fui para a documentação do guvnor, mas não conseguia entender a lógica básica de como as regras são processadas e como podemos usar o drools guvnor em coerência com o código java ...

3 a resposta

Chamar a função de modelo sem <>; inferência de tipo

Se eu tiver um modelo de função comtypename T, onde o compilador pode definir o tipo por si só, não preciso escrever o tipo explicitamente quando chamo a função, como: template < typename T > T min( T v1, T v2 ) { return ( v1 < v2 ) ? v1: v2; } ...

3 a resposta

Grammar inference library?

Quais são as melhores (ou quaisquer) bibliotecas de código aberto para inferência gramatical regular ou sem contexto de um conjunto de exemplos que se acredita serem gerados por uma gramática comum? Eu preferiria uma boa biblioteca em Java, ...

6 a resposta

Por que o C # não faz inferência de tipo "simples" em genéricos?

Apenas curioso: claro, todos sabemos que o caso geral de inferência de tipo para genéricos é indecidível. Portanto, o C # não fará nenhum tipo de sub-digitação: seFoo <T>é genéricoFoo <int>não é um subtipo deFoo <T>ouFoo <Objeto>ou de qualquer ...

24 a resposta

Por que não inferir parâmetro de modelo do construto

minha pergunta hoje é bem simples: por que o compilador não pode inferir parâmetros de modelo de construtores de classe, da mesma forma que pode fazer com parâmetros de função? Por exemplo, por que o código a seguir não pode ...