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

Eu estou trabalhando em uma linguagem baseada em expressão da genealogia ML, então ela naturalmente precisa de inferência de tipo> :) Agora, estou tentando estender uma solução baseada em restrições para o problema de inferir tipos, com base em uma implementação simples no EOPL (Friedman e Wand), mas eles datilografam …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing 

Fui informado de que o custo da inferência de tipo em uma linguagem funcional como o OCaml pode ser muito alto. A alegação é que existe uma sequência de expressões que, para cada expressão, o comprimento do tipo correspondente é exponencial no comprimento da expressão. Eu inventei a sequência abaixo. …

11 lambda-calculus  type-theory  functional-programming  type-inference  type-checking 

Não sei a terminologia correta para fazer esta pergunta, portanto, descreverei-a com muitas palavras. Em segundo plano , apenas para estarmos na mesma página: os programas geralmente contêm caches - uma troca de tempo / memória. Um erro comum do programador é esquecer de atualizar um valor em cache após …

10 terminology  reference-request  functional-programming  programming-paradigms 

Quero fornecer provas para partes de um programa Haskell que estou escrevendo como parte de minha tese. Até agora, porém, não consegui encontrar um bom trabalho de referência. O livro introdutório de Graham Hutton, Programming in Haskell ( Google Books ) - que li enquanto aprendia Haskell - aborda algumas …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

Self Types são uma extensão do Cálculo de Construções [1] que permite que o idioma expresse tipos de dados algébricos codificados através da Codificação Scott. A Codificação Scott fornece a capacidade de correspondência de padrões O(1), que é um dos principais motivadores para a inclusão de definições indutivas no CC. …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

O que são funções anônimas (lambda)? Qual é a definição formal de uma função anônima em uma linguagem de programação funcional? Em meus termos simples, quando estou programando no esquema / lisp, eu diria que uma função anônima (lambda) é uma função que não está vinculada a um identificador. É …

10 logic  programming-languages  lambda-calculus  functional-programming 

A defuncionalização é uma transformação descrita pela primeira vez em 1972 por John C. Reynolds para eliminar funções de ordem superior. Existem transformações alternativas (mais eficientes?) Para eliminar funções de ordem superior?

10 programming-languages  functional-programming 

Eu gostaria de comparar o desempenho das estruturas de dados codificadas por função (Church / Scott) versus classificadas (assembler / C). Mas antes de fazer isso, preciso saber quão eficiente é / pode ser a representação de funções na memória. É claro que a função pode ser parcialmente aplicada (também …

9 lambda-calculus  functional-programming 

Quero saber até que ponto um sistema de tipos em uma linguagem de programação pode ser benéfico. Por exemplo, eu sei que em uma linguagem de programação de tipo dependente, podemos criar uma Vectorclasse incorporando o tamanho do vetor na assinatura do tipo. É como um exemplo de fato. Também …

9 type-theory  functional-programming  dependent-types 

Portanto, existe um algoritmo para converter termos de cálculo lambda em lógica combinatória usando combinadores SK. Produz coisas que explodem de tamanho. Eu gostaria de saber mais sobre essa explosão de tamanho. No entanto, não consigo pensar em um algoritmo melhor. Eu ouvi falar de linguagens funcionais sendo praticamente compiladas …

9 lambda-calculus  functional-programming  combinatory-logic 

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 …

9 data-structures  functional-programming 

Digamos que as listas sejam definidas como List a = Nil | Cons a (List a) Então, em Haskell, List xo maior ou o menos fixo? Estou perguntando porque o lfp deve excluir listas infinitas (mas você pode construí-las em Haskell), enquanto o gfp deve excluir as finitas.

9 programming-languages  type-theory  functional-programming  semantics  category-theory 

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 mesmo …

9 terminology  functional-programming  semantics 

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 …

9 lambda-calculus  functional-programming  evaluation-strategies 

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 …

8 type-theory  functional-programming  equality  homotopy-type-theory