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...
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>...
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
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()...
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 realmente não são a causa do...
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...
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...
Encontrei esse termo Hindley-Milner e não sei se entendi o que isso significa. Eu li os seguintes posts: Steve Yegge - Revolução de idiomas dinâmicos Steve Yegge - O problema de Pinóquio Daniel Spiewak - O que é Hindley-Milner? (e por que é legal?) Mas não há uma entrada única para esse termo...
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...
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...
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...
minha pergunta hoje é muito simples: por que o compilador não pode inferir parâmetros de modelo de construtores de classe, tanto quanto pode fazer a partir de parâmetros de função? Por exemplo, por que o código a seguir não poderia ser válido: template<typename obj> class Variable { obj...
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...
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:
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...
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();...
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...
Porque é public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {...} mais rigoroso então public <R> Builder<T> with(Function<T, R> getter, R returnValue) {...} Este é um acompanhamento de Por que o tipo de retorno lambda não é...
Por que a correspondência de padrões funciona de maneira diferente quando o parâmetro type é proveniente de um método de fechamento em oposição a uma classe de fechamento? Por exemplo, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg...