Perguntas com a marcação «functional-programming»

Conforme definido pela Wikipedia, (A correspondência de Curry-Howard) é uma generalização de uma analogia sintática entre sistemas de lógica formal e cálculos computacionais que foi descoberta pela primeira vez pelo matemático americano Haskell Curry e pelo lógico William Alvin Howard. Relacionado a ele, está o cubo λ, que é uma …

8 logic  type-theory  functional-programming 

Como existe um cálculo lambda sem tipo e um cálculo lambda com tipo simples (como descrito, por exemplo, no livro Tipos e linguagens de programação de Benjamin Pierce), existe uma lógica combinatória de tipo simples? Por exemplo, parece que os tipos naturais para os combinadores S, K e eu seriam …

8 logic  lambda-calculus  functional-programming  combinatory-logic 

Estou particularmente interessado em soluções para o problema que a pesquisa encapsulada pode depender da ordem da avaliação. De acordo com [1], a pesquisa encapsulada no PAKCS depende da ordem da avaliação, enquanto no MCC, não, mas seu uso requer conhecimento da implementação do compilador e não segue a especificação …

8 reference-request  functional-programming  nondeterminism  logic-programming 

O que significa quando um argumento para uma função é chamado de argumento fictício ? Não encontrei esse termo fora de Fortran, é um termo geral em ciência da computação? Quais seriam os exemplos de argumentos passados ​​como fictícios e não passados ​​como fictícios? Encontrei essa definição , que não …

8 terminology  programming-languages  functional-programming 

Estou aprendendo programação em ML (OCaml), e anteriormente perguntei sobre as funções de ML do tipo'a -> 'b . Agora eu tenho experimentado um pouco com funções do tipo 'a list -> 'b list. Existem alguns exemplos simples óbvios: let rec loop l = loop l let return_empty l = …

8 programming-languages  typing  functional-programming 

Um vídeo do YouTube que eu estava assistindo explicou as diferenças entre programação imperativa e funcional, demonstrando como os números de 1para 10são resumidos em Java e em Haskell, respectivamente. Em Java, você deve declarar explicitamente cada etapa e atribuir o resultado de cada etapa a uma variável - algo …

8 programming-languages  functional-programming  programming-paradigms  imperative-programming 

Estou tentando entender os combinadores Y. Poderia explicar por que os seguintes itens são equivalentes (Y (f ∘ g)) (f (Y (g ∘ f))) (Y é uma combinação de pontos fixos)

7 lambda-calculus  functional-programming  combinatory-logic 

Há um tempo atrás, penso no Stack Overflow, vi alguém dizer que os literais de Haskell podem ser pensados ​​como funções que não operam em nada. Isso faz sentido para mim, mas eu lembro de outra pessoa que discorda veementemente dele. Se bem entendi, todos os valores em tipos primitivos, …

7 type-theory  functional-programming 

Então, eu estou familiarizado com duas estratégias principais de ter polimorfismo de classificação mais alta em um idioma: Polimorfismo no estilo System-F, em que as funções são explicitamente digitadas e a instanciação ocorre explicitamente no tipo de aplicativo. Esses sistemas podem ser impredicativos. Polimorfismo baseado em subtipagem, em que um …

7 programming-languages  type-theory  functional-programming  type-checking  polymorphisms 

Ouvi algumas alegações de que o cálculo de construções sem tipos indutivos não é poderoso o suficiente para expressar provas por indução. Isso está correto? Se sim, por que a codificação da Igreja não é suficiente para isso?

7 proof-techniques  functional-programming  automated-theorem-proving  curry-howard 

Todos os trabalhos com o assunto de programação funcional total utilizam algum tipo de verificação estática de tipo para garantir a totalidade. Isso faz sentido, considerando que facilmente é tornar uma linguagem completa de Turing. A pergunta é: existe algum formalismo não tipado / tipado dinamicamente que garante o total …

7 functional-programming 

Eu estava lendo Estrutura e Interpretação de Programas de Computador (SICP), MIT. O que eu entendi é que na linguagem de programação funcional pura, não existe um estado local. SICP, página 230 diz: "A programação sem qualquer uso de atribuições, como fizemos nos dois últimos capítulos deste livro, é conhecida …

7 programming-languages  functional-programming  programming-paradigms 

(Usando a sintaxe Haskell, já que a pergunta é inspirada em Haskell, mas se aplica a sistemas polimórficos gerais de Hindley-Milner, como SML ou Elm). Se eu tiver uma assinatura de tipo f :: a -> [a], qual é a proposição lógica codificada por essa assinatura de tipo? Eu sei …

7 programming-languages  type-theory  functional-programming  curry-howard 

Estou aprendendo a linguagem de programação Haskell. Pelo que estou lendo, Input / Ouput ( IO ) levanta desafios para a pureza de Haskell, pois, por definição, estamos interagindo com o mundo exterior. Da Wikipedia: Em uma linguagem puramente funcional, como Haskell, as funções não podem ter efeitos colaterais visíveis …

7 programming-languages  functional-programming