Preguntas etiquetadas con haskell

En este artículo de Wikipedia sobre la integridad de Turing establece que: El cálculo lambda no tipificado es Turing completo, pero muchos cálculos lambda tipificados, incluido el Sistema F, no lo son. El valor de los sistemas mecanografiados se basa en su capacidad para representar la mayoría de los programas …

28 computability  turing-machines  haskell 

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 

¿Qué impide que ghc traduzca Haskell a un lenguaje de programación concatenante como la lógica combinatoria y luego simplemente use la asignación de pila para todo? Según Wikipedia, la traducción del cálculo lambda a la lógica combinatoria es trivial y, además, los lenguajes de programación concatenantes pueden depender únicamente de …

14 functional-programming  haskell 

Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Seguimiento ¿Cuál es un ejemplo de una mónada que es una alternativa pero no una MonadPlus? : Supongamos que es una mónada. ¿Cuáles son las relaciones betweem m ser una alternativa , un MonadPlusCatch y una MonadPlusDistr ? metrommmetrommPara cada uno de los seis pares posibles, me gustaría tener una …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

Parece ser bien sabido que los lenguajes de programación no pueden tener sumas, productos y falta de determinación juntos. Q1 . ¿Es esto cierto? A continuación (o en el enlace anterior que di) hay un argumento parcial. Sin embargo, la programación genérica de Hinze con adjunciones ignora el problema, incluso …

8 pl.programming-languages  ct.category-theory  haskell 

La mayoría de los recursos con respecto a las nociones categóricas en la programación describen mónadas, pero nunca he visto una descripción categórica de los transformadores de mónadas. ¿Cómo podrían describirse los transformadores de mónada en los términos de la teoría de categorías? En particular, me interesaría: la relación entre …

8 type-theory  functional-programming  ct.category-theory  haskell  monad