Editar: estoy reformulando un poco la pregunta. Aparentemente, causé cierta confusión porque no me di cuenta de que el término destructor se usa en OOP para algo bastante diferente: es una función invocada cuando se destruye un objeto. En la programación funcional (intentamos) evitar el estado...
Tal como está actualmente, esta pregunta no es adecuada para nuestro formato de preguntas y respuestas. Esperamos que las respuestas estén respaldadas por hechos, referencias o experiencia, pero esta pregunta probablemente solicitará debate, argumentos, encuestas o discusión
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 4 años . ¿Por qué...
Tan rápido como lo ha hecho FP, al final, todos nuestros programas están estructurados. Es decir, no importa cuán puro o funcional los hagamos, siempre se traducen al ensamblaje, por lo que lo que realmente funciona detrás de las campanas son instrucciones, estados y bucles. Somos una especie de...
(tenga en cuenta que estoy haciendo la pregunta aquí porque se trata de la mecánica conceptual de la misma, en lugar de un problema de codificación) Estaba trabajando en un pequeño programa, que usaba una secuencia de números de Fibonacci en su ecuación, pero noté que si superaba un cierto número...
Aquí hay un problema de programación simple de SPOJ: http://www.spoj.com/problems/PROBTRES/ . Básicamente, se le pide que genere el mayor ciclo de Collatz para números entre i y j. (El ciclo de Collatz de un número $ n $ es el número de pasos para llegar eventualmente de $ n $ a 1.) He estado...
Estoy aprendiendo programación funcional con Haskell . Mientras tanto, estoy estudiando la teoría de Autómatas y, como los dos parecen encajar bien, estoy escribiendo una pequeña biblioteca para jugar con autómatas. Aquí está el problema que me hizo hacer la pregunta. Mientras estudiaba una forma...
En Haskell, el functor de la clase de tipo Functor se define de la siguiente manera (véase, por ejemplo, la wiki de Haskell ): class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b Por lo que yo entiendo (por favor, corríjanme si me equivoco), un funtor tal sólo puede...
¿Es posible usar tipos estáticos o dependientes para demostrar que una función es idempotente? He buscado en Google y en varios lugares en StackOverflow / StackExchange la respuesta sin suerte. Lo más cercano que encontré fue esta conversación sobre Idris:
Así que estoy haciendo un cliente javascript / html bastante involucrado con muchas llamadas ajax y otras implicaciones de callback-ism. Estoy entreteniendo la idea de usar Fay para este propósito. Soy consciente de Elm. Probé y me gustaron los elementos FRP. Ahora estoy buscando saber si una...
Estoy a punto de comenzar un proyecto de simulación / modelado. Ya sé que OOP se utiliza para este tipo de proyectos. Sin embargo, estudiar Haskell me hizo considerar el uso del paradigma FP para modelar un sistema de componentes. Déjame elaborar: Digamos que tengo un componente de tipo A,...
Estamos implementando una biblioteca de compresión matricial basada en una sintaxis gramatical bidimensional modificada. Ahora tenemos dos enfoques para nuestros tipos de datos: ¿cuál será mejor en caso de uso de memoria? (Queremos comprimir algo;)). Las gramáticas contienen No Terminales con...
La intuición de un tipo opcional como Maybe Intes que o no hay Int (por lo tanto, hay Nothingallí) o que hay algo de Int; hay algo ahí Para mí tiene sentido que llamemos al constructor de tipos para el caso "negativo" Nothing, ya que significa exactamente eso: que no hay Intallí. Pero, ¿por qué...
La siguiente declaración da un error: type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) to (x,y,z) data Obj3d =...
Quiero definir una clase de tipo para objetos geométricos que se puedan intersectar juntos: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies La idea es tener funciones de intersección de propósito...
Una de las principales ventajas de la memoria transaccional de software que siempre se menciona es la componibilidad y la modularidad. Se pueden combinar diferentes fragmentos para producir componentes más grandes. En los programas basados en bloqueo, este no suele ser el caso. Estoy buscando un...
El lenguaje central de Haskell es realmente simple. Viniendo de un entorno OO, la principal dificultad es adaptarse al paradigma funcional puro. Mientras aprendía Haskell "básico", siempre he considerado las extensiones de lenguaje como juguetes para personas con CS o como experimentos para...
He leído muchos libros y artículos sobre programación funcional y todavía me avergüenzo de no poder entender con seguridad algunos conceptos muy básicos. Una de las ideas principales de la programación funcional es que la misma entrada siempre debe producir la misma salida. Por lo tanto, por...
Ahora veo que Racket tiene tipos. A primera vista, parece ser casi idéntico a la escritura de Haskell. ¿Pero el CLOS de Lisp está cubriendo parte del espacio que cubren los tipos de Haskell? Crear un tipo de Haskell muy estricto y un objeto en cualquier lenguaje OO parece vagamente similar. Es solo...
Dado que Ruby tiene una buena capacidad de operación de lista incorporada: reducir, asignar, seleccionar, recopilar, etc. Tiene Procs, Blocks y Lambdas, y tiene un buen soporte de iteración (la eachfamilia), sería una mala decisión de diseño si intento escribir todas mis cosas de Ruby de la manera...