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...
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...
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...
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...
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...
¿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 =
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
Me preguntaba sobre los orígenes del "let" utilizado en Lisp, Clojure y Haskell. ¿Alguien sabe en qué idioma apareció
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...
Estos términos fueron mencionados en mi curso universitario. Google rápido me señaló algunos documentos de la universidad, pero estoy buscando una explicación
Estoy trabajando en aprender Haskell, y he encontrado tres formas diferentes de tratar los errores en las funciones que escribo: Simplemente puedo escribir error "Some error message.", lo que arroja una excepción. Puedo recuperar mi función Maybe SomeType, donde puedo o no devolver lo que me...
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...
¿Hay algunas razones teóricas para eso (como que la verificación de tipos o la inferencia de tipos se volverían indecidibles), o razones prácticas (demasiado difíciles de implementar adecuadamente)? Actualmente, podemos envolver cosas newtypecomo newtype Pair a = Pair (a, a) y luego tener Pair...
Al explicar el combinador Y en el contexto de Haskell, generalmente se observa que la implementación sencilla no verificará en Haskell debido a su tipo recursivo. Por ejemplo, de Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite...
Sé que Haskell ya tiene la capacidad de parametrizar un tipo sobre otro tipo (similar a la programación de plantillas en C ++), pero me pregunto si Haskell también puede parametrizar un tipo sobre valores, si admite tipos dependientes. Con los tipos dependientes, puede tener un tipo parametrizado...
Recientemente he estado revisando la guía Learn You a Haskell for Great Good y, como práctica, quería resolver el problema 5 del Proyecto Euler , que especifica: ¿Cuál es el número positivo más pequeño que es divisible por todos los números del 1 al 20? Decidí escribir primero una función que...
Solía ser desarrollador de Java durante mucho tiempo, pero recientemente me uní al equipo de Haskell. En el mundo de Java, si tiene un proyecto grande, con varios equipos trabajando en él, un enfoque común es utilizar un servidor de artefactos como Maven para facilitar y acelerar el desarrollo....
Supongamos que quiero escribir una biblioteca que se ocupe de vectores y matrices. ¿Es posible hornear las dimensiones en los tipos, de modo que las operaciones de dimensiones incompatibles generen un error en el momento de la compilación? Por ejemplo, me gustaría que la firma del producto dot sea...
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 5 años . Hay varios...
Bloqueado . Esta pregunta y sus respuestas están bloqueadas porque la pregunta está fuera de tema pero tiene un significado histórico. Actualmente no acepta nuevas respuestas o interacciones. Participo en la enseñanza de matemáticas a clases con requisitos como AS y A...