Resultados da pesquisa a pedido "type-inference"

4 a resposta

Existe um equivalente à palavra-chave "var" do C # em C ++ / CLI?

Em C #, eu gosto do

3 a resposta

Java 8: Melhorias de inferência de tipo genérico

1 a resposta

Condição de cobertura liberal introduzida no GHC 7.7 quebra código válido no GHC 7.6

A ideia Estou escrevendo umDSL [http://en.wikipedia.org/wiki/Domain-specific_language], que é compilado para Haskell. Os usuários dessa linguagem podem definir estruturas de dados imutáveis próprias e funções associadas. Por função associada, ...

1 a resposta

Por que scala não infere o tipo a partir de parâmetros de tipo genérico?

Suponha que esta função def func[A](data: List[A], mapper: A => String) = { data.map(item => mapper(item)) }Por que esse código não compila: val list = List(1, 2, 3) func(list, a => a.toString)Mas este faz: val list = List(1, 2, 3) ...

3 a resposta

O GHCi pode me dizer o tipo de uma função Haskell local?

É possível consultar o ghci para o tipo inferido para uma função dentro de outra função?

3 a resposta

Por que este programa Java 8 não é compilado?

Este programa compila bem no Java 7 (ou no Java 8 com-source 7), mas falha ao compilar com o Java 8: interface Iface<T> {} class Impl implements Iface<Impl> {} class Acceptor<T extends Iface<T>> { public Acceptor(T obj) {} } public class Main { ...

14 a resposta

Verificando se um objeto é um determinado tipo no Swift

Eu tenho uma matriz que é composta deAnyObject. 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?

3 a resposta

Como passar um tipo de classe como parâmetro de função

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 ...

7 a resposta

Chamada de genéricos com o tipo T no Swift

No meu aplicativo, quero criar um método genérico que crie uma matriz de objetos dependendo do tipo T. Eu criei a seguinte função: func getArray<T : ROJSONObject>(key:String) -> T[] { var elements = T[]() for jsonValue in getValue(key).array! { ...

2 a resposta

Diferenças na inferência de tipo JDK8 javac / Eclipse Luna?

Estou tentando mudar um projeto para Java8 e encontrar diferenças estranhas entre o Eclipse Luna e a inferência de tipo de javac. Com o JDK 1.7.0_65 javac, esse código compila perfeitamente. O JDK 1.8.0_11 reclama que toString (char []) e ...