Estoy aprendiendo programación funcional y tengo problemas para entender cómo se implementan algunos escenarios particulares sin el uso de la asignación. El siguiente problema simple resume mi confusión. Escriba un programa que reciba eventos sobre cambios en una estructura de datos dada y emita...
Cerrada . Esta pregunta necesita estar más centrada . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un problema solo editando esta publicación . Cerrado hace 6 años . Simplemente...
La mayor parte de la sintaxis de Haskell tiene belleza de pureza. Pero la sintaxis de registro se ve fea. Es incómodo. Se siente una especie de mezcla con C. Requiere coma y llaves. Haskell tiene tabulación, separación basada en línea. Por lo tanto, se ve demasiado detallado de lo que originalmente...
Es difícil saber qué se pregunta aquí. Esta pregunta es ambigua, vaga, incompleta, demasiado amplia o retórica y no se puede responder razonablemente en su forma actual. Para obtener ayuda para aclarar esta cuestión para que se pueda volver a abrir, visite el centro de ayuda ....
Uno de los principios de la programación funcional es el uso de funciones puras. Una función pura es aquella que no tiene efectos secundarios y es referencialmente transparente. Los getters no son referencialmente transparentes: si se llama a un Setter entre llamadas al Getter, el valor de retorno...
He estado queriendo probar gráficos en Haskell. Por lo que he visto, las bibliotecas disponibles son front-end para bibliotecas C / C ++, o una abstracción de ellas con características mínimas. Las bibliotecas de alto nivel no parecen satisfacer mis necesidades, por lo que me quedan front-end de...
Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 4 años .
En la mónada de error, la primera falla detiene cualquier ejecución aún más, simplemente llevando la falla a través de los siguientes enlaces. ¿Qué mónada se detiene en el éxito solo llevando éxitos y básicamente tragándose cualquier falla e intentando el siguiente enlace sin tener en cuenta el...
Me pregunto qué es mejor en cuanto al diseño para la usabilidad / mantenibilidad, y qué es mejor en lo que respecta a la comunidad. Dado el modelo de datos: type Name = String data Amount = Out | Some | Enough | Plenty deriving (Show, Eq) data Container = Container Name deriving (Show, Eq) data...
He llegado a comprender que mucho antes de Haskell, O'Caml o LISP, las funciones de orden superior eran un tema de investigación académica y en matemáticas, Schönfinkel (en 1967) y Haskell Curry (en 1968) ya aplicaban técnicas como el curry, pero eso fue antes de que estuviera disponible en...
Me han dicho en preguntas anteriores que los lenguajes de programación funcional no son adecuados para sistemas dinámicos como un motor de física, principalmente porque es costoso mutar objetos. ¿Cuán realista es esta afirmación y por
El patrón arquitectónico de tubería y filtro se define como una cadena de elementos de procesamiento, dispuestos de modo que la salida de cada elemento sea la entrada del siguiente . Cada ejemplo parece considerar la conexión entre procesos o entre hilos realizada a través de algún tipo de búfer...
Quiero implementar un almacén de datos en memoria para un servicio web en Haskell. Quiero ejecutar transacciones en la STMmónada. Cuando busco en Google Hashell Steam Table solo obtengo esto: Data. BTree. HashTable. STM.el nombre del módulo y las complejidades sugieren que esto se implementa como...
Recientemente, me he interesado profundamente en Haskell. Mientras intento aprender nuevos conceptos (por ejemplo, la palabra clave forall y la mónada ST ) y el sistema de tipos de Haskell en general, continuamente me encuentro con conceptos de teoría de categorías y cálculo lambda . Entonces, me...
He leído que Go en realidad no tiene una verdadera inferencia de tipos en el sentido que los lenguajes funcionales como ML o Haskell tienen, pero no he podido encontrar una comparación simple de entender de las dos versiones. ¿Podría alguien explicar en términos básicos cómo la inferencia de tipos...
En lenguajes ansiosos como Scheme y Python, puede usar una expresión lambda sin parámetros para retrasar la evaluación, por ejemplo, en Scheme (Chicken Scheme): #;1> (define (make-thunk x) (lambda () (+ x 1))) #;2> (define t (make-thunk 1)) #;3> (t) 2 En la línea 2, testá vinculada a la...
Parece que cualquier instancia de Bounded debería tener una implementación sensata de Enum. No puedo pensar personalmente en un contraejemplo, aunque si a alguien se le ocurre uno que no sea patológico, entenderé por qué este no es el caso. Al hacerlo :ien las dos clases de tipos, parece que la...
En Haskell, puedo usar el tipo a -> Maybe bpara modelar una función que devuelve un valor de tipo bo no devuelve nada (falla). Si tengo tipos a1, ..., a(n+1)y funciones f1, ..., fn, con fi :: ai -> Maybe a(i+1)for all i, 1 <= i <= npuedo encadenar las funciones usando el...
Cerrada . Esta pregunta necesita estar más centrada . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un problema solo editando esta publicación . Cerrado hace 4 años . El artículo...
Tal como está actualmente, esta pregunta no es adecuada para nuestro formato de preguntas y respuestas. Esperamos que las respuestas estén respaldadas por hechos, referencias o experiencia, pero esta pregunta probablemente requerirá debate, argumentos, encuestas o discusión