Perguntas com a marcação «haskell»

Em este artigo da Wikipedia sobre Turing completude afirma que: O cálculo lambda não digitado é Turing completo, mas muitos cálculos lambda digitados, incluindo o Sistema F, não são. O valor dos sistemas digitados é baseado em sua capacidade de representar a maioria dos programas de computador típicos enquanto detecta …

28 computability  turing-machines  haskell 

ACSL (Ansi C Specification Language), é uma especificação para código C, anotada com comentários especiais, que permite que o código C seja formalmente verificado. Ainda não examinei, mas imagino que os métodos formais usados ​​nos verificadores ACSL seriam semelhantes ao Hoare Logic. Porém, para linguagens funcionais puras, como Haskell, não …

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

O que impede o ghc de traduzir o Haskell em uma linguagem de programação concatenativa, como lógica combinatória, e simplesmente usar a alocação de pilha para tudo? Segundo a Wikipedia, a tradução do cálculo lambda para a lógica combinatória é trivial e também as linguagens de programação concatenativas podem contar …

14 functional-programming  haskell 

Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a …

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 

Acompanhamento O que é um exemplo de uma Mônada que é uma Alternativa, mas não uma MonadPlus? : Suponha que é uma mônada. Quais são as relações betweem ser uma alternativa , um MonadPlusCatch e uma MonadPlusDistr ? mmmmmmmPara cada um dos seis pares possíveis, eu gostaria de ter uma …

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

Parece ser sabido que as linguagens de programação não podem ter somas, produtos e não-terminação juntos. Q1 . Isso é verdade? Abaixo (ou no link acima que eu dei) está um argumento parcial. No entanto, a programação genérica de Hinze com adições ignora a questão, mesmo depois de discutir um …

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

Muitos recursos relacionados a noções categóricas na programação descrevem mônadas, mas nunca vi uma descrição categórica de transformadores de mônada. Como os transformadores de mônada podem ser descritos nos termos da teoria das categorias? Em particular, eu estaria interessado em: a relação entre os transformadores de mônada e suas correspondentes …

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