Resultados de la búsqueda a petición "type-inference"
Diferencias en la inferencia de tipos para cierres y funciones en óxido
¿Por qué es posible inferir los tipos de argumentos y el tipo de retorno para una expresión de cierre sin una función en óxido?
En Scala, ¿por qué `_` no se puede usar en groupBy here?
Estoy tratando de calcular la lista de ocurrencias de cada carácter en una palabra, mis códigos actuales se ven así: "hello" .groupBy((x:Char)=>x) .map(a=>(a._1, a._2.length))Pienso que el.groupBy((x:Char)=>x) parece torpe y, por lo tanto, ...
Números extraños Swift tipo casting
Acabo de notar que Swift realiza algún tipo de conversión sobre Int y Double. Cuando trato de evaluar (10 / 3.0) - (10 / 3)0.333... se espera, pero en realidad es0.0. ¿Alguien podría explicar esto por favor?
¿Se puede definir el tipo de función por inferencia?
La inferencia de tipo Scala es realmente agradable y es fácil acostumbrarse a no tener que escribir dos veces. Cuanto más duele cuando tienes que hacerlo. Un ejemplo de ello son los tipos de funciones. A veces me gustaría crear un tipo con ...
¿Por qué este método genérico con un límite puede devolver algún tipo?
¿Por qué se compila el siguiente código? El métodoIElement.getX(String) devuelve una instancia del tipoIElement o de sus subclases. El código en elMain la clase invoca elgetX(String) método. El compilador permite almacenar el valor de retorno en ...
¿Por qué falla aquí la inferencia de tipo Scala?
yo tengoesta clase [http://jamesgolick.com/2010/2/8/monkey-patching-single-responsibility-principle-and-scala-implicits.html] en Scala: object Util { class Tapper[A](tapMe: A) { def tap(f: A => Unit): A = { f(tapMe) tapMe } def tap(fs: (A => ...
Código que ejercita la inferencia de tipos
Estoy trabajando en un lenguaje de programación experimental que tiene inferencia global de tipo polimórfico. Recientemente obtuve el algoritmo funcionando lo suficientemente bien como para escribir correctamente los bits de código de muestra ...
Implementación del algoritmo de inferencia de tipo Damas-Hindley-Milner
Estoy buscando información sobre el conocidoAlgoritmo Damas-Hindley-Milner [https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system]hacer inferencia de tipos para lenguajes funcionales, especialmente información sobre implementación. Ya ...
Sugerencia para la inferencia de tipo SML
Soy nuevo en SML y estoy tratando de practicar en la referencia de tipo SML. Estoy tratando de deducir los siguientes tipos: a)fun add42 x =x+42 b)fun comp F G = let fun C x = G(F(x)) in C end c)fun compA42 x = comp add42 x d)val foo = compA42 ...
¿Cómo lidiar cómodamente con el sistema de tipos en Haskell?
El sistema de tipos de Haskell es poderoso y apreciado por su rigurosidad matemática y solidez lógica, por otro lado, algo tan ingenuo como a continuación me hace preguntarme por qué no funciona como lo espera la intuición. P.ej. porque no ...