Preguntas etiquetadas con haskell

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 = …

9 functional-programming  haskell  validation  monad 

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 . Principalmente soy un desarrollador de .NET, por lo que normalmente …

9 scala  haskell  clojure  scheme  operating-systems 

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 nivel inferior. …

9 libraries  gui  haskell 

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 del Getter …

9 functional-programming  haskell  scala 

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 . Cerrado hace 7 …

9 haskell 

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 …

9 syntax  haskell 

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 no entiendo qué problema resuelven.

9 haskell  pragmatism  monad 

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 …

9 functional-programming  haskell  patterns-and-practices 

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 expresión …

9 python  haskell  scheme  lambda  lambda-calculus 

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 fracaso del …

9 haskell  monad 

Sabemos que en Prolog , los predicados no deterministas son una característica utilizada para reducir los problemas combinatorios . En Haskell vemos un comportamiento no determinista similar al de Prolog en la Lista Mónada . En Haskell también vemos el no determinismo al elegir el orden de evaluación thunk : …

8 haskell  non-determinism 

Me pregunto si hay una diferencia entre las clases de tipo de Haskell y las interfaces de Go. Ambos definen tipos basados ​​en funciones, de esa manera, que un valor coincide con un tipo, si una función requerida por el tipo se define para el valor. ¿Hay alguna diferencia o …

8 haskell  type-systems  polymorphism  go 

En las universidades y en los libros de texto de algoritmos, es bastante común que el maestro y el autor expliquen el flujo de control en pseudocódigo. Con el advenimiento de lenguajes más expresivos como Python y Haskell entre otros, ¿es razonable que las universidades cambien para explicar algoritmos a …

8 algorithms  python  haskell  pseudocode  teaching 

Recientemente me asignaron a trabajar en un pequeño proyecto que se está implementando en Haskell. Viniendo de un entorno OO / imperativo, estoy acostumbrado a convertir requisitos / historias de usuario en casos de uso y diagrama de secuencia antes de la codificación. Sin embargo, en el proyecto de Haskell …

8 functional-programming  requirements  haskell  logic  formal-methods 

Después de desarrollar varias aplicaciones de Haskell, me encontré segregando rigurosamente el código impuro y las funciones de fallas ( parciales ) de sus contrapartes puras y totales . Estos esfuerzos han reducido notablemente el costo de mantenimiento asociado con las aplicaciones. Con el tiempo me he encontrado confiando en …

8 design-patterns  haskell  control-structures