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

Talvez a principal fonte de problemas de desempenho em Haskell seja quando um programa cria inadvertidamente um thunk de profundidade ilimitada - isso causa um vazamento de memória e um potencial estouro de pilha ao avaliar. O exemplo clássico está definindo sum = foldr (+) 0em Haskell. Existe algum tipo …

10 type-theory  functional-programming  program-verification 

Sabemos que a igualdade beta de termos lambda simplesmente digitados é decidível. Dado M, N: σ → τ, é decidível se para todos os X: σ, MX ≃β≃β≃_β NX?

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Eu li um pouco sobre as seguintes estruturas de dados: O Hash ideal de Bagwell tenta Tabelas hash dinâmicas de Larson Árvores vermelho-pretas Patricia árvores ... e tenho certeza que existem muitos outros por aí. Eu tenho visto muito pouco sobre o que cada um é mais adequado, ou por …

10 ds.data-structures  functional-programming  tree  hash-function 

Stratego é uma linguagem de transformação de programação / reescrita de DSL. Anthony Sloane fez algum trabalho executando uma implementação que é executada no Scala . Quais são os limites teóricos do Stratego como linguagem funcional? (independentemente da implementação). Alguém poderia escrever uma ordem de aplicação ycombinator no Stratego?

10 functional-programming 

Existe algum sistema semelhante ao cálculo lambda com forte normalização, sem a necessidade de adicionar um sistema de tipos sobre ele?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

O feto, se você nunca ouviu falar, pode ser lido aqui . Ele usa um sistema de 'matrizes de chamada' e 'gráficos de chamada' para encontrar todos os 'comportamentos de recursão' de chamadas recursivas em uma função. Para mostrar que uma função termina, mostra que todos os comportamentos de recursão …

9 lo.logic  computability  functional-programming 

Até onde eu sei, uma função Haskell com restrições de classes de tipo é compilada internamente para uma função com argumentos adicionais que recebem dicionários com as implementações necessárias de cada classe de tipo específica. Existem outras possibilidades de compilação de classes de tipo? Em caso afirmativo, quais são suas …

9 pl.programming-languages  functional-programming  compilers  type-systems 

Estou procurando um conceito na teoria dos tipos que, com certeza, já foi explorado, mas não sei o nome por trás. Vamos considerar uma linguagem do tipo ML com tipos de produto e soma e um sistema de tipo Hindley-Milner. Vou usar a sintaxe do OCaml. Estou me perguntando sobre …

8 type-theory  functional-programming 

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 

Eu encontrei este webapp que permite gerar um teorema gratuito para um determinado tipo. Os teoremas gerados quantificam tipos e relações nesses tipos. Esses teoremas (fórmulas) são teoremas de qual teoria / sistema lógico? Como esse sistema se relaciona com a teoria equacional da linguagem?

8 lo.logic  functional-programming  type-systems  parametricity  logical-relations 

Eu fui brincar com retomadas recentemente, principalmente a partir de papel clássico de Abramsky Refazendo alguns caminhos em Álgebra de Processos . Eles são bastante lisos (basicamente soluções para a equação de domínio ) e lembram muito as redes Kahn.R=I→(O×R)R=I→(O×R)R = I \to (O \times R) Certamente, essa observação não …

8 reference-request  pl.programming-languages  functional-programming 

Enquanto escrevia um programa Petri Net, fui confrontado com uma escolha sobre estruturas de dados para representar o gráfico. As listas de adjacência (ou seja, listas que enumeram os arcos para dentro e fora de lugares ou transições individuais) são fáceis de implementar, mas enquanto eu estudava a teoria das …

8 ds.data-structures  functional-programming  sparse-matrix