Esta entrada es una recopilación de lecturas compartidas, del 1 al 7 de marzo, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
1 DAO: Demostración asistida por ordenador
1.1 DAO con Coq
- First steps with Coq (for primary and secondary school teachers, APMEP, Grenoble, 2011). ~ Damien Pous. #ITP #Coq
- Course: Approximation theory and proof assistants: certified computations. ~ Nicolas Brisebarre, Damien Pous./#coqsessions #ITP #Coq #Math
- Practical machine-checked formalization of change impact analysis. ~ Karl Palmskog, Ahmet Celik, Milos Gligoric. #ITP #Coq
- Postcondition-preserving fusion of postorder tree transformations. ~ Eleanor Davies, Sara Kalvala. #ITP #Coq
1.2 DAO en general
- Audience role in mathematical proof development. ~ Zoe Ashton. #Logic #Math #ITP
2 Programación declarativa
2.1 Programación funcional con Haskell
- How to get a Haskell job. ~ Neil Mitchell (@ndm_haskell). #Haskell #FunctionalProgramming
- How does lazy evaluation work in Haskell? ~ Heinrich Apfelmus. #Haskell #FunctionalProgramming via @etorreborre
- Writing more modular code with lazy evaluation. ~ Heinrich Apfelmus. #Haskell #FunctionalProgramming
- Declarative stream runtime verification (hLola). ~ Martı́n Ceresa, Felipe Gorostiaga, César Sánchez. #Haskell #FunctionalProgramming
- GHC Haskell Pats and LPats. ~ Shayne Fletcher. #Haskell #FunctionalProgramming
- Competitive programming in Haskell: modular arithmetic, part 2. ~ Brent Yorgey. #Haskell #FunctionalProgramming #Math
- Building a friendly and safe EDSL with IxState and TypeLits. #Haskell #FunctionalProgramming
- Optimizing a maze with graph theory, genetic algorithms, and Haskell. ~ Chris Smith (@cdsmithus). #Haskell #FunctionalProgramming #Math
- A modern look at GRIN, an optimizing functional language back end. ~ Csaba Hruska, Péter Dávid Podlovics, Andor Pénzes. #Haskell #FunctionalProgramming
- Automated derivation of random generators for algebraic data types. ~ Agustín Mista. #Haskell #FunctionalProgramming
- Declarative pearl: Deriving monadic quicksort. ~ Shin-Cheng Mu, Tsung-Ju Chiang. #Haskell #FunctionalProgramming
- distributed-dataset: A distributed data processing framework in Haskell. ~ Utku Demir. #Haskell #FunctionalProgramming
- Create blockchain in Haskell (Rolling your own blockchain in Haskell). ~ Michael Burge (2017). #Haskell #Blockchain
2.2 Programación funcional con Lisp
- Lisp code for the textbook “Paradigms of Artificial Intelligence Programming”. ~ Peter Norvig. #CommonLisp #AI
2.3 Programación funcional con Miranda
- Church’s thesis and functional programming. ~ David Turner (2006). #Logic #FunctionalProgramming #Miranda
- Programming with Miranda. ~ C. Clack, C. Myers, and E. Poon (1995). #eBook #Miranda #FunctionalProgramming
2.4 Programación funcional en general
- Some history of functional programming languages. ~ David Turner (2012). #FunctionalProgramming
- Should your specification language be typed?. ~ Leslie Lamport, Lawrence C. Paulson (1999). #ITP #FunctionalProgramming
2.5 Programación lógica con Prolog
- The Prolog debugger and declarative programming. Examples. ~ Włodzimierz Drabent. #Prolog #LogicProgramming
3 Lógica
- Intuitionistic mathematics and logic. ~ Joan R. Moschovakis, Garyfallia Vafeiadou. #Logic #Math
- Seventy-five problems for testing automatic theorem provers. ~ Francis Jeffry Pelletier (1986). #Logic
- Code is engineering, types are science. ~ Juan Raphael Diaz Simões. #Programming #Logic