O idioma que estou aprendendo é Scheme e estou trabalhando em um exercício que fornece isso: (define (p) (p) ) (define (test x y) (if (= x 0) 0 y)) Em seguida, a pergunta pede para avaliar a expressão: (teste 0 (p)) e comentar sobre o comportamento que seria observado na avaliação de ordem...
Embora eu trabalhe como programador em minha vida cotidiana e use todas as linguagens da moda (Python, Java, C, etc), ainda não tenho uma visão clara do que é a programação funcional. Pelo que li, uma propriedade das linguagens funcionais é que as estruturas de dados são imutáveis . Para mim, isso...
StackOverflow me apontou aqui, então a pergunta pode ser um pouco nos termos de um leigo. A Wikipedia define funções puras como Na programação de computadores, uma função pode ser descrita como uma função pura se ambas as instruções sobre a função se mantiverem: A função sempre avalia o...
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 = [] let rec...
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...
No pod da teoria dos tipos, ep. 3 , Dan Licata afirma que o fato de que para cada entrada, insertionsort e mergesort produzem o mesmo resultado, não implica que o resultado seria igual quando usado como funções de ordem superior como argumentos para uma terceira função, ou seja map insertionsort,...
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 ,...
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...
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...
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...
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...
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
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, ou pelo...
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...
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
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...
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...
(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 que tipo de...