Resultados de la búsqueda a petición "functional-programming"
¿Cómo traduciría una clase de tipo Haskell a F #?
Estoy tratando de traducir las flechas de la biblioteca principal de Haskell a F # (creo que es un buen ejercicio para comprender mejor las flechas y F #, y podría usarlas en un proyecto en el que estoy trabajando). Sin embargo, una traducción ...
implementación de inferencia de tipos
Veo algunas discusiones interesantes aquí sobre la escritura estática frente a la dinámica. Generalmente prefiero la escritura estática, debido a la verificación de tipo de compilación, código mejor documentado, etc. Sin embargo, estoy de acuerdo ...
¿Dónde puedo encontrar una explicación / resumen de los símbolos utilizados para explicar la programación funcional, específicamente Ramda.js?
La documentación API para la biblioteca de programación funcional de JavaScript Ramda.js contiene abreviaturas simbólicas pero no proporciona una leyenda para comprenderlas. ¿Hay algún lugar (sitio web, artículo, hoja de referencia, etc.) al que ...
IntStream itera en pasos
¿Cómo iterar a través de un rango de números (0-100) en los pasos (3) con IntStream? Lo intentéiterate, pero esto nunca deja de ejecutarse. IntStream.iterate(0, n -> n + 3).filter(x -> x > 0 && x < 100).forEach(System.out::println)
¿Cómo pruebo que dos implementaciones de Fibonacci son iguales en Coq?
Tengo dos implementaciones de Fibonacci, que se muestran a continuación, que quiero demostrar que son funcionalmente equivalentes. Ya he demostrado propiedades sobre los números naturales, pero este ejercicio requiere otro enfoque que no puedo ...
Mensajes impresos en el momento equivocado con putStr
import Control.Monad import Data.Char main = forever $ do putStr "Give me some input: " l <- getLine putStrLn $ map toUpper lHe estado aprendiendo Haskell aprendiendo haskell. Cuando intento ejecutar este código, no se comporta como debería. l ...
FP mecanografiado: argumentos de tupla y argumentos curriables
En lenguajes de programación funcional tipados estáticamente, como Standard ML, F #, OCaml y Haskell, una función generalmente se escribirá con los parámetros separados uno del otro y del nombre de la función simplemente por espacios ...
Cómo comprimir listas en una lista
Quiero comprimir la siguiente lista de listas: >>> zip([[1,2], [3,4], [5,6]]) [[1,3,5], [2,4,6]]Esto podría lograrse con la corrientezip implementación solo si la lista se divide en componentes individuales: >>> zip([1,2], [3,4], [5,6]) (1, 3, ...
¿Usar Opcional en las clases de caso de Scala y los campos de clases es un olor a código?
Ya hubo bastantes discusiones sobre Stackoverflow sobre formas adecuadas de usarOpcional en Java (discusiones comoéste [https://stackoverflow.com/questions/31922866/why-should-java-8s-optional-not-be-used-in-arguments] , o ...
¿Por qué esta línea Scala devuelve una Unidad?
Aquí hay un poco de código Scala para sumar los valores del 1 al 9 que son divisibles por 3 o 5. ¿Por qué la línea 5 devuelve una Unidad y no un tipo booleano? object Sample { def main(args : Array[String]) { val answer = (1 ...