Resultados de la búsqueda a petición "type-signature"
¿Qué está pasando en este tipo de firma? (Vector.Mutable modificadores en Haskell)
Los vectores mutables en Haskell tienen tres mutadores de nivel de elemento:
Escriba firmas que nunca tengan sentido
Considerar (a->a) -> [a] -> Bool¿Hay alguna definición significativa para esta firma? Es decir, ¿una definición que no simplemente ignora el argumento? x -> [a] -> BoolParece que hay muchas firmas que se pueden descartar de inmediato.
Sobrecarga de firmas de funciones haskell
Recibo el siguiente mensaje de error cuando compilo: Firma de tipo duplicado: weightedMedian.hs: 71: 0-39: findVal :: [ValPair] -> Double -> Double weightedMedian.hs: 68: 0-36: findVal :: [ValPair] -> Int -> Double Mi solución es tener ...
Escriba error al probar una función con un número negativo
Estoy siguiendo junto con elAprenderte un Haskell para bien, He implementadotake': take' :: (Ord i, Num i) => i -> [a] -> [a] take' n _ | n <= 0 = [] take' _ [] = [] take' n (x:xs) = x: take' (n-1) xsAl probar la función con: take' -2 [2]en ...
Tipo de firma Haskell con múltiples restricciones de clase.
¿Cómo puedo tener múltiples restricciones de clase, por lo que si
Utilizando "Quizás" de Haskell, escriba las declaraciones [pregunta del principiante]
Empecé a experimentar con Haskell y tengo un problema. qqq es una función que debería imprimir una cadena si se llama con "Nothing" e imprimir otras cosas si se llama con "Just something". El primer intento parece funcionar: qqq Nothing = ...