Preguntas etiquetadas con functional-programming

Estaba viendo la conferencia de Jim Weirich, titulada ' Aventuras en la programación funcional '. En esta conferencia, introduce el concepto de combinadores Y, que esencialmente encuentra el punto fijo para funciones de orden superior. Una de las motivaciones, como él lo menciona, es poder expresar funciones recursivas usando el …

19 lambda-calculus  functional-programming 

Nuestro profesor nos pidió que pensáramos en una función en OCaml que tenga el tipo 'a -> 'b es decir, una función de un argumento que podría ser cualquier cosa, y que puede devolver una cosa diferente. Pensé en usar raiseuna función que ignora su argumento: let f x = …

19 programming-languages  typing  functional-programming 

De acuerdo con este artículo, la siguiente línea de código Lisp imprime "Hola mundo" a la salida estándar. (format t "hello, world") Lisp, que es un lenguaje homoicónico , puede tratar el código como datos de esta manera: Ahora imagine que escribimos la siguiente macro: (defmacro backwards (expr) (reverse expr)) …

16 programming-languages  functional-programming 

En el artículo de Philip Wadler sobre Theorems for Free , afirma en la Sección 2 sobre Parametricidad que no existen modelos ingenuos de teoría de conjuntos de cálculo lambda polimórfico En el ingenuo modelo teórico de conjuntos, los tipos son conjuntos y las funciones son funciones teóricas de conjuntos, …

15 functional-programming 

Recientemente me he vuelto extremadamente interesado en comprender y probar aspectos de lenguajes de programación (funcionales). Sin embargo, a medida que profundizo, cosas como el cálculo , la teoría de categorías y la semántica denotacional son un poco difíciles de asimilar sin una explicación adecuada.λλ\lambda Leí SICP (un libro bastante …

15 reference-request  lambda-calculus  functional-programming  books 

Hasta cierto punto, las CPU están diseñadas teniendo en cuenta el software que la gente escribirá para él, implícita o explícitamente. Me parece que si nos fijamos en el diseño de arquitecturas de conjuntos de instrucciones, son muy "imperativas", en el sentido de que cada instrucción codifica un comando de …

14 computer-architecture  functional-programming 

¿Alguien puede referirme a trabajos revisados ​​por pares que estudien las ventajas o desventajas de escribir código en un estilo funcional? ¿Existen documentos que analicen las aplicaciones del cálculo Lambda en campos como el aprendizaje automático, el diseño del lenguaje, etc.?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

La programación funcional tiene el muy elegante cálculo Lambda y sus variantes como teoría de respaldo. ¿Existe tal cosa para OOP? ¿Qué es una abstracción para el modelo orientado a objetos?

13 terminology  lambda-calculus  functional-programming  object-oriented 

He hecho una pregunta similar sobre cstheory.SE . De acuerdo con esta respuesta en Stackoverflow, existe un algoritmo que en un lenguaje de programación funcional puro no perezoso tiene una complejidad , mientras que el mismo algoritmo en la programación imperativa es Ω ( n ) . Agregar pereza al …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

¿Hay algún cambio que se pueda hacer en las CPU para que funcionen mejor en tiempos de ejecución concurrentes como Rust? Por ejemplo, ¿hay cambios en las implementaciones de predicción de sucursales o en los tamaños de caché que ayudarían a los tiempos de ejecución concurrentes? Tengo la impresión de …

13 computer-architecture  concurrency  functional-programming 

En el wiki de haskell hay el siguiente ejemplo de uso condicional de la mónada IO (ver aquí) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Tenga en cuenta que en este ejemplo, la definición …

12 programming-languages  functional-programming  haskell 

Creo que entiendo cómo la deforestación consume y produce una lista al mismo tiempo (desde una función de plegado y desplegado; vea esta buena respuesta en CodeReview aquí ), pero cuando comparé eso con la entrada de wikipedia sobre la técnica que habló sobre 'eliminar árboles 'de un programa. Entiendo …

12 terminology  compilers  functional-programming 

Supongamos que uno quiere razonar sobre las propiedades del código más allá de cosas como la totalidad y la pureza funcional; también se preocupa por el consumo de memoria o la complejidad algorítmica de una función. ¿Se puede hacer esto a través de sistemas de mecanografía y efectos dependientes?

11 type-theory  functional-programming  dependent-types  inductive-datatypes 

Estoy buscando una estructura de datos persistente similar a la matriz (pero inmutable), que permita operaciones rápidas de indexación, anexión, anteposición e iteración (buena localidad). Clojure proporciona Vector persistente, pero es solo para un apéndice rápido. Scala's Vector tiene efectivamente anexos y antepuestos de tiempo constante, pero no puedo entender …

11 data-structures  functional-programming  persistent-data-structure 

En un comentario a Learning F #: ¿Qué libros que usan otros lenguajes de programación se pueden traducir a F # para aprender conceptos funcionales? Makarius declaró: Tenga en cuenta que el enfoque "CPS" ha hecho un gran daño al rendimiento en SML / NJ. Su modelo de evaluación física …

11 compilers  functional-programming  proof-assistants  continuations