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

Suponha que um programa tenha sido escrito em duas línguas distintas, sejam elas a linguagem X e a linguagem Y, se seus compiladores gerarem o mesmo código de bytes, por que eu deveria usar a linguagem X em vez da linguagem Y? O que define que um idioma é mais …

38 programming-languages  compilers 

Eu sei que Idris tem tipos dependentes, mas não está completo. O que isso não pode fazer ao abrir mão da integridade de Turing, e isso está relacionado a ter tipos dependentes? Acho que essa é uma pergunta bastante específica, mas não sei muito sobre tipos dependentes e sistemas de …

35 computability  programming-languages  type-theory  dependent-types 

Muitos de nós aprendemos programação usando linguagens de programação "textuais", como Basic, C / C ++ e Java. Eu acredito que é mais natural e eficiente para os humanos pensarem visualmente. A programação visual permite que os desenvolvedores escrevam programas manipulando elementos gráficos. Eu acho que o uso de programação …

35 programming-languages 

Como educador de CS em nível universitário, a questão de qual linguagem de programação ensinar no primeiro curso de programação geralmente é discutida. Existem milhares de idiomas para escolher e muita febre religiosa (ou fevour) apoiando um campo de idiomas em detrimento de outro. Todo esse viés subjetivo em torno …

35 programming-languages  education 

Dijkstra, em seu ensaio Sobre a crueldade de realmente ensinar ciência da computação , faz a seguinte proposta para um curso introdutório de programação: Por um lado, ensinamos o que parece ser o cálculo predicado, mas o fazemos de maneira muito diferente dos filósofos. Para treinar o programador iniciante na …

33 reference-request  programming-languages  education  didactics 

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 …

32 regular-languages  programming-languages  turing-completeness 

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 baseadas em fundamentos da matemática" com o paragarfo …

30 programming-languages  history  type-theory  category-theory 

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 restrições que impedem seu desenvolvimento? Esse é um problema …

28 computability  programming-languages  compilers 

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 …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

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 maneira semelhante às linguagens naturais? Embora a racionalidade total e a …

27 programming-languages  natural-language-processing 

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 tem instruções como mover …

27 programming-languages  education  history 

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

27 programming-languages  memory-management  garbage-collection  language-design 

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 fazer. E qualquer …

26 computability  programming-languages  turing-completeness 

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 todo compilador por aí …

25 programming-languages  language-design  syntax-trees 

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 …

25 formal-languages  programming-languages  regular-expressions