Un lenguaje de programación funcional.
Estoy empezando a aprender Haskell . Soy muy nuevo en esto, y solo estoy leyendo un par de libros en línea para entender los conceptos básicos. Uno de los 'memes' de los que las personas familiarizadas con él han hablado a menudo es el asunto "si se compila, funcionará *", lo que creo que está...
He visto personas hablando de Free Monad with Interpreter , particularmente en el contexto del acceso a datos. ¿Cuál es este patrón? ¿Cuándo podría querer usarlo? ¿Cómo funciona y cómo lo implementaría? Entiendo (de publicaciones como esta ) que se trata de separar el modelo del acceso a los...
Me doy cuenta de que algunas cosas son más fáciles / difíciles en un idioma que en el otro, pero solo me interesan las características relacionadas con el tipo que son posibles en uno e imposibles / irrelevantes en el otro. Para hacerlo más específico, ignoremos las extensiones de tipo Haskell ya...
Estoy aprendiendo programación funcional con Haskell, y trato de captar conceptos entendiendo primero por qué los necesito. Me gustaría saber el objetivo de las flechas en los lenguajes de programación funcionales. ¿Qué problema resuelven? Revisé
Hay algunos problemas que los tipos de datos algebraicos pueden resolver fácilmente, por ejemplo, un tipo de lista puede expresarse de manera muy sucinta como: data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty consmap f (ConsCell a b) = ConsCell (f a) (consmap f b) l =...
Tengo cierta experiencia en lenguajes de programación orientados a objetos como C # o Ruby. Sé cómo diseñar un programa en estilo orientado a objetos, cómo crear clases y objetos, y cómo definir relaciones entre ellos. También conozco algunos patrones de diseño. ¿Cómo escriben las personas...
Estoy buscando sumergirme en Haskell para mi próximo (relativamente trivial) proyecto personal. Las razones por las que estoy abordando a Haskell son: Poner mi cabeza en un lenguaje puramente funcional Velocidad. Si bien estoy seguro de que esto se puede argumentar, perfilando que he visto uñas...
La IOmónada en Haskell a menudo se explica como una mónada estatal donde el estado es el mundo. Entonces, un valor de tipo IO amónada se ve como algo así worldState -> (a, worldState). Hace algún tiempo leí un artículo (o una publicación de blog / lista de correo) que criticaba esta opinión y...
¿Cuáles son algunas técnicas que podría utilizar para refactorizar constantemente el código eliminando la dependencia de los tipos existenciales? Por lo general, estos se usan para descalificar construcciones no deseadas de su tipo, así como para permitir el consumo con un mínimo conocimiento sobre...
Sé que Lisp y Haskell son lenguajes de programación lógicos y funcionales respectivamente, pero ¿qué significa esto exactamente? ¿Cómo se diferencian de otros idiomas? He oído que aprender esto te hará un mejor programador y mejorará tu lógica. ¿Es esto cierto, y si voy a aprender Lisp o Haskell a...
Actualmente codifico con C, C ++ y Python. Quiero aprender un lenguaje de programación funcional, y en este momento me estoy inclinando hacia Haskell. NO quiero comenzar una guerra "Haskell vs Lisp" aquí; Lo que quiero saber es esto: si aprendo a Haskell principalmente por la exposición a la...
A menudo encuentro las siguientes declaraciones / argumentos: Los lenguajes de programación funcionales puros no permiten efectos secundarios (y, por lo tanto, son de poca utilidad en la práctica porque cualquier programa útil sí tiene efectos secundarios, por ejemplo, cuando interactúa con el...
Estaba investigando sobre el conjunto de compiladores gcc en wikipedia aquí , cuando surgió esto: GCC comenzó usando analizadores LALR generados con Bison, pero gradualmente cambió a analizadores de descenso recursivo escritos a mano; para C ++ en 2004, y para C y Objective-C en 2006....
Esta podría ser una pregunta filosófica, pero creo que hay una respuesta objetiva. Si lees el artículo de Wikipedia sobre Haskell, puedes encontrar lo siguiente: El lenguaje se basa en las observaciones de Haskell Curry y sus descendientes intelectuales, que "una prueba es un programa; la...
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 y otras formas...
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...
Digamos que tengo la siguiente lógica. ¿Cómo escribir eso en la programación funcional? public int doSomeCalc(int[] array) { int answer = 0; if(array!=null) { for(int e: array) { answer += e; if(answer == 10) break; if(answer == 150) answer += 100; } } return answer; } Los ejemplos...
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...
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...
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...