Preguntas etiquetadas con haskell

Una de las principales ventajas de la memoria transaccional de software que siempre se menciona es la componibilidad y la modularidad. Se pueden combinar diferentes fragmentos para producir componentes más grandes. En los programas basados ​​en bloqueo, este no suele ser el caso. Estoy buscando un ejemplo simple que ilustra …

11 haskell  clojure  stm 

La siguiente declaración da un error: type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) …

11 haskell 

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 eventos cuando esta estructura de datos …

10 functional-programming  haskell  reactive 

El lenguaje central de Haskell es realmente simple. Viniendo de un entorno OO, la principal dificultad es adaptarse al paradigma funcional puro. Mientras aprendía Haskell "básico", siempre he considerado las extensiones de lenguaje como juguetes para personas con CS o como experimentos para futuras versiones del lenguaje (como from future …

10 haskell 

Ahora veo que Racket tiene tipos. A primera vista, parece ser casi idéntico a la escritura de Haskell. ¿Pero el CLOS de Lisp está cubriendo parte del espacio que cubren los tipos de Haskell? Crear un tipo de Haskell muy estricto y un objeto en cualquier lenguaje OO parece vagamente …

10 haskell  scheme  common-lisp 

He leído muchos libros y artículos sobre programación funcional y todavía me avergüenzo de no poder entender con seguridad algunos conceptos muy básicos. Una de las ideas principales de la programación funcional es que la misma entrada siempre debe producir la misma salida. Por lo tanto, por ejemplo, la consulta …

10 language-agnostic  functional-programming  haskell 

Dado que Ruby tiene una buena capacidad de operación de lista incorporada: reducir, asignar, seleccionar, recopilar, etc. Tiene Procs, Blocks y Lambdas, y tiene un buen soporte de iteración (la eachfamilia), sería una mala decisión de diseño si intento escribir todas mis cosas de Ruby de la manera más puramente …

10 ruby  haskell  functional-programming 

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 …

9 haskell  typeclass 

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 original de Wadler sobre Mónadas para la programación funcional (Haskell), …

9 haskell  lisp  virtual-machine  computer-architecture  lisp-machine 

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 …

9 haskell  type-systems  go 

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 pregunto: ¿Qué otras …

9 programming-languages  functional-programming  math  haskell  type-systems 

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 un árbol. Creo que …

9 data-structures  haskell 

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 …

9 design  functional-programming  haskell  architectural-patterns 

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 qué?

9 functional-programming  haskell  clojure  immutability 

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

9 functional-programming  history  haskell  scheme  higher-order-functions