Haskell es un lenguaje de programación funcional que ofrece una fuerte tipificación estática, evaluación perezosa, amplio soporte de paralelismo y concurrencia, y capacidades de abstracción únicas.
Habiendo mirado brevemente a Haskell recientemente, ¿cuál sería un explicación breve, sucinta y práctica de lo que esencialmente es una mónada? La mayoría de las explicaciones que he encontrado son bastante inaccesibles y carecen de detalles
Yo juro que solía ser una camiseta a la venta con las palabras inmortales: Que parte de es lo que no entiende? En mi caso, la respuesta sería ... ¡todo! En particular, a menudo veo notación como esta en los documentos de Haskell, pero no tengo idea de lo que significa. No tengo idea de...
Las respuestas de esta pregunta son un esfuerzo comunitario . Edite las respuestas existentes para mejorar esta publicación. Actualmente no acepta nuevas respuestas o interacciones. Durante unos días he tratado de entender el paradigma de programación funcional en...
¿Quién dijo primero lo siguiente? Una mónada es solo un monoide en la categoría de endofunctores, ¿cuál es el problema? Y en una nota menos importante, ¿es esto cierto y, de ser así, podría dar una explicación (con suerte, una que pueda entender alguien que no tenga mucha experiencia con...
¿Cuál es la diferencia entre el punto (.)y el signo de dólar ($)? Según tengo entendido, ambos son azúcar sintáctica por no necesitar usar
Tomé el Problema # 12 del Proyecto Euler como un ejercicio de programación y para comparar mis implementaciones (seguramente no óptimas) en C, Python, Erlang y Haskell. Para obtener tiempos de ejecución más altos, busco el primer número de triángulo con más de 1000 divisores en lugar de 500 como se...
Tengo que admitir que no sé mucho sobre programación funcional. Lo leí de aquí y de allá, y entonces supe que en la programación funcional, una función devuelve la misma salida, para la misma entrada, sin importar cuántas veces se llame a la función. Es exactamente como una función matemática que...
Cerrada . Esta pregunta necesita estar más centrada . Actualmente no está aceptando respuestas. Cerrado hace 3 años . Bloqueado . Esta pregunta y sus respuestas están bloqueadas porque la pregunta está fuera de tema pero tiene un significado histórico....
Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 6 años . Hay...
Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 2 años .
De los documentos para GHC 7.6: [Y] a menudo ni siquiera necesitas el pragma SPECIALIZE en primer lugar. Al compilar un módulo M, el optimizador de GHC (con -O) considera automáticamente cada función sobrecargada de nivel superior declarada en M, y la especializa para los diferentes tipos a los...
He visto el término libre mónada pop-up cada ahora y entonces durante algún tiempo, pero todo el mundo parece utilizar / discutirlas sin dar una explicación de lo que son. Entonces: ¿qué son las mónadas libres? (Diría que estoy familiarizado con las mónadas y los conceptos básicos de Haskell, pero...
En mi humilde opinión, las respuestas a la famosa pregunta "¿Qué es una mónada?" , especialmente los más votados, trate de explicar qué es una mónada sin explicar claramente por qué las mónadas son realmente necesarias . ¿Pueden explicarse como la solución a un
Tal como está actualmente, esta pregunta no es adecuada para nuestro formato de preguntas y respuestas. Esperamos que las respuestas sean respaldadas por hechos, referencias o experiencia, pero esta pregunta probablemente solicitará debate, argumentos, encuestas o discusión
He escuchado el término "coalgebras" varias veces en la programación funcional y los círculos PLT, especialmente cuando la discusión es sobre objetos, comonads, lentes y demás. Buscar en Google este término ofrece páginas que ofrecen una descripción matemática de estas estructuras, lo cual me...
Este es el escenario: he escrito un código con una firma de tipo y las quejas de GHC no pudieron deducir x ~ y para algunos xy y. Por lo general, puede arrojar un hueso a GHC y simplemente agregar el isomorfismo a las restricciones de la función, pero esta es una mala idea por varias razones: No...
Estoy empezando a entender cómo forallse usa la palabra clave en los llamados "tipos existenciales" como este: data ShowBox = forall s. Show s => SB s Sin embargo, esto es solo un subconjunto de cómo forallse usa y simplemente no puedo entender cómo se usa en cosas como esta: runST :: forall...
¿Qué significa la forma normal de la cabeza débil (WHNF)? ¿Qué significa Head Normal form (HNF) y Normal Form (NF)? El mundo real Haskell afirma: La función seq familiar evalúa una expresión a lo que llamamos forma normal de la cabeza (abreviado HNF). Se detiene una vez que alcanza el...
La expresión 'algebraica' para los tipos de datos algebraicos parece muy sugerente para alguien con experiencia en matemáticas. Déjame intentar explicar lo que quiero decir. Habiendo definido los tipos básicos Producto • Unión + único X Unidad 1 y usando la taquigrafía X²para X•Xy 2Xpara...
Quiero estudiar FRP en Haskell, pero es un poco difícil decidir qué biblioteca utilizar. Muchos parecen ser intentos muertos, algunos parecen haber resucitado (como la actividad reciente en Yampa). Por lo que leí, parece que hay dos "tipos" de FRP: FRP push-pull (como en Reactive-banana) en un...