Preguntas etiquetadas con haskell

El lenguaje Clean utiliza tipos únicos para manejar E / S en un entorno puramente funcional. ¿Por qué el comité de Haskell fue con mónadas ? ¿Hubo otras propuestas para manejar el estado que el comité investigó pero en contra? Nota : No estoy buscando una guerra santa entre mónadas …

36 functional-programming  history  haskell 

Me siento cómodo con la programación en C y C #, y exploraré C ++ en el futuro. Puede que me interese explorar la programación funcional como un paradigma de programación diferente. Estoy haciendo esto por diversión, mi trabajo no involucra programación de computadora, y estoy algo inspirado por el …

36 haskell  functional-programming  scheme 

Estoy estudiando Haskell con el propósito de comprender la programación funcional, con la expectativa de que aplique la información que obtengo en otros idiomas (Groovy, Python, JavaScript principalmente). Elegí Haskell porque tenía la impresión de que es muy puramente funcional y no permitiría depender del estado. No elegí aprender Haskell …

33 functional-programming  haskell  language-features  type-systems 

He leído un poco sobre semántica denotativa (DS) y estoy muy intrigado por el proceso de diseño de programas de computadora donde los tipos y funciones tienen asignaciones claras y fuertes a las matemáticas. ¿Hay algún recurso que discuta el diseño de programas basados ​​en DS en detalle? He visto …

30 scala  haskell  scheme 

Parece que la evaluación perezosa de las expresiones puede hacer que un programador pierda el control sobre el orden en que se ejecuta su código. Tengo problemas para entender por qué esto sería aceptable o deseado por un programador. ¿Cómo se puede usar este paradigma para construir un software predecible …

30 functional-programming  haskell 

Estoy buscando comenzar un proyecto experimental usando un lenguaje funcional y estoy tratando de decidir entre Erlang y Haskell, y ambos tienen algunos puntos que realmente me gustan. Me gusta el sistema de tipo fuerte y la pureza de Haskell. Tengo la sensación de que facilitará la escritura de código …

30 functional-programming  haskell  erlang 

Sé que esta es una pregunta muy amplia, ambigua y posiblemente filosófica. Hasta cierto punto, la palabra clave más importante en la pregunta, el sistema de tipo "fuerte", está mal definida . Entonces, déjame intentar explicar lo que quiero decir. Contexto general de la pregunta Hemos estado construyendo una aplicación …

29 java  haskell  scala  type-systems  rust 

Mientras aprendía Haskell, me enfrenté a muchos tutoriales que intentaban explicar qué son las mónadas y por qué las mónadas son importantes en Haskell. Cada uno de ellos utilizó analogías, por lo que sería más fácil captar el significado. Al final del día, he terminado con 3 vistas diferentes de …

29 functional-programming  haskell  monad  side-effect 

Esta pregunta se migró de Stack Overflow porque se puede responder en Software Engineering Stack Exchange. Migrado hace 8 años . Una cosa con la que nunca he llegado a un acuerdo en Haskell es cómo puede tener constantes y funciones polimórficas cuyo tipo de retorno no puede determinarse por …

29 haskell  functional-programming 

¿Por qué Haskell tiene una función incorporada if/then/else, que depende del Booltipo, en lugar de tener una función de biblioteca simple? Como if :: Bool -> a -> a -> a if True x _ = x if False _ y = y

25 haskell 

Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que sea sobre el tema de Software Engineering Stack Exchange. Cerrado hace 4 años . Quiero leer estructuras de datos puramente funcionales. He encontrado fácilmente la tesis (que está …

25 books  functional-programming  data-structures  haskell 

Me preguntaba sobre los orígenes del "let" utilizado en Lisp, Clojure y Haskell. ¿Alguien sabe en qué idioma apareció primero?

24 history  haskell  lisp  clojure 

Los lenguajes funcionales, por definición, no deben mantener variables de estado. ¿Por qué, entonces, Haskell, Clojure y otros proporcionan implementaciones de software de memoria transaccional (STM)? ¿Hay un conflicto entre dos enfoques?

24 functional-programming  haskell  clojure  stm 

Tengo algo de experiencia escribiendo herramientas pequeñas en Haskell y me parece muy intuitivo de usar, especialmente para escribir filtros (que usan interact) que procesan su entrada estándar y la canalizan a la salida estándar. Recientemente intenté usar uno de esos filtros en un archivo que era aproximadamente 10 veces …

23 programming-practices  haskell  stackoverflow 

He leído que Hindley-Milner no funciona con sistemas de tipos que tienen subclases, y hay otras características del sistema de tipos que tampoco funcionan bien con él. Go actualmente solo tiene una inferencia de tipos muy limitada en el :=operador. Pero Go no tiene subclases en el sentido tradicional, solo …

22 haskell  type-systems  go