Preguntas etiquetadas con haskell

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é el tipo de opción Scala no se llama …

13 language-design  haskell  scala  naming-standards  monad 

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 mutable, por lo que …

13 terminology  functional-programming  haskell  data 

Dejé un trabajo (para trasladarme a otro país) donde programé en Javascript y Haskell (alguna pitón) la mayor parte del tiempo. Realmente me gustó porque la gente era objetiva, positiva, matemática y, sin embargo, hizo un montón de cosas. Esta fue una tienda verdaderamente profesional. Ahora trabajo en una tienda …

13 ruby  haskell  agile 

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 extendida. Si cree que esta pregunta se puede mejorar y posiblemente volver a …

13 learning  functional-programming  lisp  haskell  recursion 

¿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: https://groups.google.com/forum/#!topic/idris-lang/yp7vrspChRg Desafortunadamente, esa discusión está un poco sobre mi cabeza.

12 haskell 

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

12 programming-practices  functional-programming  haskell 

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

12 haskell 

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

12 haskell  recursion 

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 de evaluar la accesibilidad de …

12 algorithms  functional-programming  haskell 

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 estructura similar es …

12 javascript  functional-programming  haskell  paradigms 

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

12 c++  object-oriented  functional-programming  haskell  modeling 

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 emulación …

12 functional-programming  computer-science  haskell  lisp  clojure 

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 …

11 functional-programming  haskell  data-types  null 

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 general que puedan manejar …

11 haskell  type-systems  typeclass 

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 exactamente 4 Producciones o una Terminal en el lado …

11 functional-programming  haskell  memory  grammar