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










1
O que torna uma linguagem (e seu sistema de tipos) capaz de provar teoremas sobre seus próprios termos?
Recentemente, tentei implementar o Cedille-Core de Aaron , uma linguagem de programação minimalista capaz de provar teoremas matemáticos sobre seus próprios termos. Eu também provei a indução para tipos de dados codificados em λ, o que deixou mais claro por que suas extensões seriam necessárias. Menos ainda, ainda me pergunto …




3
Quais algoritmos podem ser expressos usando uma linguagem funcional total com operadores paralelos de dados?
Imagine uma linguagem de programação funcional cujos únicos tipos de dados são escalares numéricos e aninhamentos arbitrários de matrizes. O idioma não possui meios de iteração ilimitada, portanto, o seguinte não é permitido: loops explícitos (pouco uso sem efeitos colaterais) recursão funções arbitrárias de primeira classe (sem combinador y) A …


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.