Perguntas com a marcação «type-inference»

Bloqueado . Esta pergunta e suas respostas estão bloqueadas porque a questão está fora do tópico, mas tem um significado histórico. No momento, não está aceitando novas respostas ou interações. Após uma discussão com os colegas sobre o uso da palavra-chave 'var' no C # 3, perguntei-me qual seria a …

406 c#  type-inference  var 

Estou com problemas para navegar na regra do Java para inferir parâmetros de tipo genérico. Considere a seguinte classe, que possui um parâmetro de lista opcional: import java.util.Collections; import java.util.List; public class Person { private String name; private List<String> nicknames; public Person(String name) { this(name,Collections.emptyList()); } public Person(String name,List<String> nicknames) …

269 java  generics  type-inference 

Eu tenho uma matriz que é composta AnyObject. Eu quero iterar sobre ele e encontrar todos os elementos que são instâncias de matriz. Como posso verificar se um objeto é de um determinado tipo no Swift?

267 swift  type-inference  typechecking 

Eu tenho usado a nova autopalavra-chave disponível no padrão C ++ 11 para tipos de modelos complicados, e é para isso que acredito que foi projetada. Mas também estou usando para coisas como: auto foo = std::make_shared<Foo>(); E mais ceticamente para: auto foo = bla(); // where bla() return a …

218 c++  types  c++11  type-inference  auto 

Estou usando o Xcode 6 Beta 6. Isso é algo que me incomoda há algum tempo agora, mas está chegando a um ponto em que dificilmente pode ser usado agora. Meu projeto está começando a ter um tamanho decente de 65 arquivos Swift e alguns arquivos Objective-C em ponte (que …

209 swift  optimization  compilation  type-inference  compilation-time 

Eu tenho uma função genérica que chama um serviço web e serializa a resposta JSON de volta para um objeto. class func invokeService<T>(service: String, withParams params: Dictionary<String, String>, returningClass: AnyClass, completionHandler handler: ((T) -> ())) { /* Construct the URL, call the service and parse the response */ } O …

146 swift  generics  type-inference 

Parece que autofoi um recurso bastante significativo a ser adicionado no C ++ 11 que parece seguir muitas das linguagens mais recentes. Como em uma linguagem como Python, não vi nenhuma declaração explícita de variável (não tenho certeza se é possível usar os padrões Python). Existe uma desvantagem em usar …

143 c++  c++11  type-inference  auto 

De acordo com o Scala Language Spec : ... a inferência de tipo local é permitida para limitar a complexidade de limites inferidos [dos parâmetros de tipo]. Minimalidade e maximalidade de tipos devem ser entendidas em relação ao conjunto de tipos de complexidade aceitável. Na prática, quais são os limites? …

120 scala  type-inference 

Estou trabalhando em um recurso de conclusão (intellisense) para C # no emacs. A ideia é que, se um usuário digitar um fragmento e, em seguida, solicitar a conclusão por meio de uma combinação de teclas específica, o recurso de conclusão usará o reflexo do .NET para determinar as conclusões …

109 c#  reflection  appdomain  type-inference 

Encontrei uma situação curiosa envolvendo métodos genéricos estáticos. Este é o código: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } Por que não preciso especificar nenhum argumento de tipo na expressão …

106 java  generics  static  type-inference 

Vejo algumas discussões interessantes aqui sobre tipagem estática x dinâmica. Eu geralmente prefiro a tipagem estática, devido à verificação de tipo de compilação, código melhor documentado, etc. No entanto, eu concordo que eles bagunçam o código se feitos da maneira que o Java faz, por exemplo. Portanto, estou prestes a …

91 compiler-construction  functional-programming  language-design  type-inference 

Enquanto escrevia o código para outra resposta neste site, me deparei com esta peculiaridade: static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: Unhandled exception: java.lang.Exception } @SuppressWarnings("unchecked") static <T extends Throwable> void sneakyThrow(Throwable t) throws T { throw (T) t; } static …

85 java  generics  java-8  type-inference 

A referência do método usado possui tipo de retorno Integer. Mas um incompatível Stringé permitido no exemplo a seguir. Como corrigir a withdeclaração do método para obter o tipo de referência do método seguro sem transmitir manualmente? import java.util.function.Function; public class MinimalExample { static public class Builder<T> { final Class<T> …

38 java  generics  lambda  type-inference  method-reference 

Todos sabemos que Long se estende Number. Então, por que isso não compila? E como definir o método withpara que o programa seja compilado sem nenhuma conversão manual? import java.util.function.Function; public class Builder<T> { static public interface MyInterface { Number getNumber(); Long getLong(); } public <F extends Function<T, R>, R> …

19 java  type-inference 

A implementação de std::mem::dropestá documentada para ser a seguinte: pub fn drop<T>(_x: T) { } Como tal, eu esperaria que o fechamento |_| ()(conhecido coloquialmente como fechamento do vaso sanitário ) fosse um potencial substituto 1: 1 para drop, em ambas as direções. No entanto, o código abaixo mostra que …

13 rust  closures  traits  type-inference  higher-kinded-types