Resultados da pesquisa a pedido "type-inference"
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 ...
Noções Básicas Sobre Erros de Restrição de Valor F #
Não entendo como a Restrição de Valor no F # funciona. Eu li a explicação nowiki assim como oDocumentação MSDN. O que eu não entendo é:Por que, por exemplo, ...
ligação automática (inferência de tipo) de tipos genéricos pelo compilador
o código a seguir tem erro de compilação na linha de T3: public <E> List<E> getList() { return new ArrayList<E>(); } public <T> void first() { List<T> ret = new ArrayList<T>(); List<T> list = getList(); T t1 = ret.get(0); T t2 = list.get(0); T ...
Como escrever uma função para números genéricos?
Eu sou bastante novo em F # e acho que a inferência de tipo é realmente uma coisa legal. Mas atualmente parece que isso também pode levar à duplicação de código, o que énão é uma coisa legal. Quero somar os dígitos de um número como este: let ...
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! { ...
A resolução do método genérico em C # falha com um erro de chamada ambíguo
Suponha que eu tenha definido dois tipos não relacionados e dois métodos de extensão com a mesma assinatura, mas com filtros de tipos diferentes: public class Foo {} public class Bar {} public static class FooExtensions { public static TFoo ...
implementação de inferência de tipo
Vejo algumas discussões interessantes aqui sobre tipagem estática versus dinâmica. Geralmente, prefiro a digitação estática, devido à verificação do tipo de compilação, código melhor documentado, etc. No entanto, concordo que eles desordenam o ...
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) ...