Eu estava lendo sobre Iota e Jot e achei esta seção confusa: Diferentemente de Iota, onde a árvore sintática de uma sequência pode ramificar-se à esquerda ou à direita, a sintaxe Jot é ramificada à esquerda de maneira uniforme. Como resultado, o Iota é estritamente livre de contexto, mas o Jot é...
Basicamente, eu estou ciente de três fundamentos para a matemática Teoria de conjuntos Teoria dos tipos Teoria das categorias Então, de que maneiras as linguagens de programação e os fundamentos da matemática estão relacionados? EDITAR A pergunta original era "Linguagens de programação...
O combinador de ponto fixo FIX (também conhecido como combinador Y) no cálculo lambda (sem tipo) ( ) é definido como:λλ\lambda FIXF λ f. ( λ x . f ( λ y. x x y ) ) ( λ x . f ( λ y. x x y ) ))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda...
Existem programas que podem 'traduzir' o código fonte entre dois idiomas (assumindo que o tradutor tenha acesso às bibliotecas necessárias)? Se houver, como eles funcionam (técnicas utilizadas, conhecimento necessário etc.)? Como eles poderiam ser construídos? Se não estiverem, quais são as...
Procurando informações sobre decisões sobre o design da linguagem coletada pelo lixo. Talvez um especialista em idiomas possa me esclarecer? Eu venho de um background em C ++, então essa área é desconcertante para mim. Parece que quase todas as linguagens modernas de coleta de lixo com suporte a...
Esta pergunta foi migrada do Software Engineering Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 6 anos . Podemos estudar linguagens de programação no contexto da linguística? As linguagens de programação evoluem naturalmente de...
Nós escrevemos principalmente programas em linguagem de alto nível. Então, enquanto estudava, me deparei com a linguagem assembly. Portanto, um assembler converte a linguagem assembly em linguagem de máquina e um compilador faz o mesmo com a linguagem de alto nível. Achei que a linguagem assembly...
Note que, embora eu saiba programar, sou bastante iniciante na teoria do CS. De acordo com esta resposta Turing completude é um conceito abstrato de computabilidade. Se um idioma é Turing completo, ele é capaz de fazer qualquer cálculo que qualquer outro idioma completo de Turing possa...
Encontrei várias ferramentas de programação visual de código aberto, como Blockly e amigos, e outros projetos hospedados no Github, mas não consegui encontrar nenhum que funcione diretamente com a árvore de sintaxe abstrata. Por que é que? Estou perguntando porque, uma vez que eu descobri que...
Procurei na net uma resposta para essa pergunta e parece que todo mundo sabe implicitamente a resposta, exceto eu. Presumivelmente, isso ocorre porque as únicas pessoas que se importam são aquelas que tiveram educação superior sobre o assunto. Eu, por outro lado, fui jogado no fundo do poço por um...
Gostaria de saber se existem experimentos que mostrem a existência ou a inexistência de uma correlação entre o uso de uma linguagem dinâmica (como Python, Ruby ou mesmo linguagens executadas na plataforma Java, como Groovy, Clojure) em um linguagem estática (como C / C ++) e a diferença na...
Em um artigo recente do CACM [1], os autores apresentam uma implementação para funções em etapas . Eles usam o termo como se fosse bem conhecido, e nenhuma das referências parece uma introdução óbvia. Eles dão uma breve explicação (os meus enfatizam e o número de referência mudou; são 22 no...
Seguindo o mesmo pensamento que esta declaração de Andrej Bauer nesta resposta A comunidade Haskell desenvolveu várias técnicas inspiradas na teoria das categorias, das quais as mônadas são mais conhecidas, mas não devem ser confundidas com as mônadas . Qual é a relação entre functores em SML...
Gostaria de fazer algumas perguntas sobre a linguagem Assembly. Meu entendimento é que é muito próximo da linguagem de máquina, tornando-a mais rápida e eficiente. Como temos arquiteturas de computador diferentes, isso significa que tenho que escrever um código diferente no Assembly para...
Por recomendação, estou reeditando isso no Stack Overflow . Recentemente, estive pensando sobre a questão seguinte. Considere o código para um "Olá, mundo!" programa: main() { printf("Hello World"); } Agora, quase qualquer alteração nesse código o tornará completamente inútil; na verdade,...
Em resumo: como os sistemas de tipos são categorizados em contextos acadêmicos; particularmente, onde posso encontrar fontes respeitáveis que tornem claras as distinções entre diferentes tipos de sistemas de tipos? Em certo sentido, a dificuldade com esta pergunta não é que não consigo encontrar...
Esta é uma pergunta ingênua e, portanto, possivelmente malformada, portanto peça desculpas antecipadamente! Minha opinião é que uma máquina de Turing pode ser vista como a base computacional para linguagens de programação procedurais / imperativas. Da mesma forma, o cálculo lambda é a base para...
Então, eu estava pensando em como os coletores de lixo funcionam e pensei em uma questão interessante. Presumivelmente, os coletores de lixo precisam atravessar todas as estruturas da mesma maneira. Eles não sabem o tempo que estão percorrendo uma lista vinculada, uma árvore equilibrada ou o que...
Talvez minha compreensão limitada do assunto esteja incorreta, mas é isso que eu entendo até agora: A programação funcional é baseada no Lambda Calculus, formulado pela Alonzo Church. A programação imperativa é baseada no modelo de máquina de Turing, feito por Alan Turing, aluno da Igreja. O...
Eu sei que, em linguagens de programação imperativas, um loop while-do é suficiente como uma construção de fluxo de controle para tornar a linguagem Turing completa (no que diz respeito ao fluxo de controle - é claro que também precisamos de memória ilimitada e de certos operadores ...) . A...