Preguntas etiquetadas con functional-programming

Desde el libro de 1998 de Chris Okasaki "Estructuras de datos puramente funcionales", no he visto aparecer muchas nuevas estructuras de datos puramente funcionales; Puedo nombrar solo algunos: IntMap (también inventado por Okasaki en 1998, pero no presente en ese libro) Árboles de dedos (y su generalización sobre monoides) También …

563 reference-request  big-list  ds.data-structures  functional-programming 

Esta pregunta está inspirada en otra pregunta sobre las novedades en PFDS desde la publicación del libro de Okasaki en 1998 . Comenzaré con dos preguntas que tengo: ¿Existe una estructura de datos de conjunto puramente funcional que se aproxime a la velocidad de las tablas hash? Los intentos aún …

51 big-list  ds.data-structures  functional-programming 

Me gustaría entender Applicativeen términos de teoría de categorías. La documentación de Applicativedice que es un functor monoidal fuerte y laxo . Primero, la página de Wikipedia sobre los functores monoidales dice que un functor monoidal es laxo o fuerte . Entonces, me parece que una de las fuentes está …

40 lo.logic  type-theory  functional-programming  ct.category-theory 

La mayoría de los algoritmos conocidos son de primer orden, en el sentido de que su entrada y salida son datos "simples". Algunos son de segundo orden de una manera trivial, por ejemplo, la clasificación, las tablas hash o las funciones de mapa y plegado: están parametrizados por una función, …

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

¿Hay algún lenguaje de programación (funcional) donde todas las funciones tengan una forma canónica? Es decir, cualquiera de las dos funciones que devuelven los mismos valores para todo el conjunto de entrada se representa de la misma manera, por ejemplo, si f (x) devolvió x + 1 yg (x) devolvió …

29 computability  pl.programming-languages  functional-programming  function 

Actualmente estoy leyendo " Cálculo Lambda y Combinadores " de Hindley y Seldin. No soy un experto, pero siempre me ha interesado el cálculo lambda debido a su participación en la programación funcional (comenzando con Lisp y SICP, y ahora con R y Haskell). En " Cálculo binario lambda y …

26 combinatory-logic  functional-programming  lambda-calculus 

ACSL (Ansi C Specification Language), es una especificación para el código C, anotada con comentarios especiales, que permite verificar formalmente el código C. No lo he investigado , pero imagino que los métodos formales utilizados en los verificadores ACSL serían similares a Hoare Logic. Sin embargo, para los lenguajes funcionales …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

Estoy diseñando un lenguaje de programación funcional simple mecanografiado como una experiencia de aprendizaje. Parece que el sistema de tipos que he implementado hasta ahora podría (con un poco de trabajo extra) incorporar tipos de intersección y unión, por ejemplo, podría tener: <Union String Integer> <Union Integer Foo> La intersección …

22 type-theory  functional-programming  type-inference  language-design 

Me acabo de dar cuenta de que he estado asumiendo que la respuesta a mi pregunta es "sí", pero no tengo una buena razón. Me imagino que tal vez haya un recolector de basura que probablemente solo presente peor desaceleración. ¿Hay alguna referencia definitiva que pueda citar? En mi caso, …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

¿Cuáles son las limitaciones de la programación funcional total? No es completo de Turing, pero aún admite un gran subconjunto de los posibles programas. ¿Hay construcciones importantes que podrías escribir en un lenguaje completo de Turing, pero no en un lenguaje funcional total? ¿Y es correcto decir que los programas …

19 computability  pl.programming-languages  functional-programming 

He estado tratando de leer " Diseño de Algoritmo Funcional de Perlas " y, posteriormente, " El Álgebra de la Programación ", y existe una correspondencia obvia entre los tipos de datos definidos recursivamente (y polinomialmente) y los objetos combinatorios, que tienen la misma definición recursiva y posteriormente conducen a …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Estoy leyendo La implementación de los lenguajes de programación funcional de Simon Peyton Jones y hay una declaración que me sorprendió un poco (en la página 39): En un grado mucho mayor que el caso de los lenguajes imperativos, los lenguajes funcionales son en gran medida variaciones sintácticas entre sí, …

17 functional-programming  semantics  imperative-programming 

Deje que CCC sea ​​un CCC . Vamos a (×)(×)(\times) sea un producto en bifuntor CCC . Como Cat es CCC, podemos curry (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B La categoría de functor C⇒CC⇒CC \Rightarrow C tiene una …

17 functional-programming  pl.programming-languages  ct.category-theory 

Después de trabajar con 2-3 árboles de dedos durante bastante tiempo, me ha impresionado su velocidad en la mayoría de las operaciones. Sin embargo, el único problema con el que me he encontrado es la gran sobrecarga asociada con la creación inicial de un gran árbol de dedos. Debido a …

16 ds.data-structures  functional-programming 

Desde un punto de vista puramente abstracto de razonamiento matemático / computacional, ¿cómo podría uno incluso descubrir o razonar sobre problemas como 3-SAT, Subset Sum, Travelling Salesman, etc.? Estaríamos incluso capaz de razonar sobre ellas de una manera significativa con sólo la funcionalidad punto de vista? ¿Sería posible? He estado …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np