Preguntas etiquetadas con haskell

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 simple.

22 functional-programming  haskell 

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 gustaría devolver. Puedo devolver …

22 haskell  error-handling 

¿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 :: * -> * pero no …

22 haskell  abstraction  type-systems  lambda 

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 recursive type …

21 haskell  type-systems  static-typing  ocaml 

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. Numerosas …

20 java  haskell  maven  build-system 

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

20 haskell  type-systems  type-safety 

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 sobre enteros, …

20 haskell 

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 …

20 haskell 

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 nivel de especificación de matemáticas. Los libros de …

19 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 5 años . Hay varios marcos web para Haskell como Happstack , Snap y Yesod …

19 web-development  experience  comparison  web-framework  haskell 

¿Cómo encaja el patrón de usar controladores de comandos para lidiar con la persistencia en un lenguaje puramente funcional, donde queremos hacer que el código relacionado con IO sea lo más delgado posible? Al implementar el diseño controlado por dominio en un lenguaje orientado a objetos, es común usar el …

18 c#  architecture  functional-programming  domain-driven-design  haskell 

Recientemente he estado profundizando en la programación funcional, especialmente Haskell y F #, la anterior aún más. Después de buscar en Google, no pude encontrar una comparación de referencia de los lenguajes funcionales más destacados (Scala, F #, etc.). Sé que no es necesariamente justo para algunos de los idiomas …

18 functional-programming  scala  haskell  f#  benchmarking 

Recientemente me topé una vez más con los problemas de los registros de Haskell, en particular la unicidad de los nombres de campo. (Es un dolor...) Ya leí Una propuesta de registros en Haskell de SPJ y Greg Morrisett, pero su última actualización fue en 2003. Otro documento llamado Lightweight …

18 haskell  language-features 

Estoy aprendiendo Haskell y como ejercicio estoy haciendo árboles binarios. Habiendo hecho un árbol binario regular, quiero adaptarlo para que sea auto equilibrado. Entonces: ¿Cuál es más eficiente? ¿Cuál es más fácil de implementar? ¿Cuál se usa con más frecuencia? Pero crucialmente, ¿cuál me recomiendan? Supongo que esto pertenece aquí …

18 haskell  functional-programming  data-structures  binary-tree 

En un problema de aprendizaje con el que he estado jugando, me di cuenta de que necesitaba una clase de tipo para funciones con operaciones para aplicar, componer, etc. Razones ... Puede ser conveniente tratar una representación de una función como si fuera la función misma, de modo que al …

17 haskell  standard-library