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

Dando uma olhada na página de Julia , você pode ver alguns benchmarks de vários idiomas em vários algoritmos (horários mostrados abaixo). Como um idioma com um compilador originalmente escrito em C pode superar o código C? Figura: tempos de referência em relação a C (quanto menor, melhor, desempenho de …

175 programming-languages  compilers  efficiency 

Sou bastante fluente em C / C ++ e posso me orientar nas várias linguagens de script (awk / sed / perl). Comecei a usar muito mais o python porque combina alguns dos aspectos bacanas do C ++ com os recursos de script do awk / sed / perl. Mas …

130 programming-languages 

Estou aprendendo Haskell e sou fascinado pelo idioma. No entanto, eu não tenho matemática séria ou formação em CS. Mas sou um programador de software experiente. Quero aprender a teoria das categorias para me tornar melhor em Haskell. Quais tópicos da teoria das categorias devo aprender para fornecer uma boa …

118 programming-languages  functional-programming  category-theory 

Percebi que alguns aplicativos ou algoritmos criados em uma linguagem de programação, como C ++ / Rust, são executados mais rápido ou mais rápido do que os criados em Java / Node.js, executando na mesma máquina. Eu tenho algumas perguntas sobre isso: Por que isso acontece? O que governa a …

82 programming-languages  compilers 

Pergunta, questão: "Certas propriedades de uma linguagem de programação podem exigir que a única maneira de obter o código escrito seja executada por interpretação. Em outras palavras, a compilação de um código de máquina nativo de uma CPU tradicional não é possível. Quais são essas propriedades?" Compiladores: Princípios e Prática …

72 programming-languages  compilers  interpreters 

Como engenheiro de software, escrevo muitos códigos para produtos industriais. Coisas relativamente complicadas com classes, threads, alguns esforços de design, mas também alguns compromissos de desempenho. Eu faço muitos testes e estou cansado de testar, então fiquei interessado em ferramentas formais de prova, como Coq, Isabelle ... Posso usar uma …

66 programming-languages  program-correctness  software-verification 

Atualmente, estou terminando meu mestrado em ciência da computação. Estou interessado em linguagens de programação, especialmente em sistemas de tipos. Interessei-me por pesquisas nesse campo e no próximo semestre vou iniciar um doutorado sobre o assunto. Agora, aqui está a verdadeira questão: como posso explicar o que (quero) fazer com …

64 programming-languages  education  typing  research 

Gostaria de saber se é possível construir compiladores para linguagens dinâmicas como Ruby para ter desempenho semelhante e comparável ao C / C ++? Pelo que entendi sobre compiladores, como o Ruby, por exemplo, compilar código Ruby nunca pode ser eficiente, porque a maneira como o Ruby lida com reflexão, …

64 programming-languages  compilers 

Alguém poderia explicar a diferença entre tipos dependentes e tipos de refinamento? Pelo que entendi, um tipo de refinamento contém todos os valores de um tipo que atendem a um predicado. Existe um recurso de tipos dependentes que os distingue? Se isso ajudar, me deparei com tipos refinados pelo projeto …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

Existe um conjunto de construções de linguagem de programação em uma linguagem de programação para que seja considerada Turing Complete? Pelo que sei da wikipedia , o idioma precisa suportar a recursão ou, aparentemente, deve ser capaz de executar sem parar. Isso é tudo o que existe?

55 computability  programming-languages  turing-machines  turing-completeness 

Linguagens de programação seguras (PL) estão ganhando popularidade. Gostaria de saber qual é a definição formal de PL seguro. Por exemplo, C não é seguro, mas Java é seguro. Suspeito que a propriedade “segura” deva ser aplicada a uma implementação de PL e não ao próprio PL. Nesse caso, vamos …

54 programming-languages 

Pedimos desculpas antecipadamente pela ingenuidade desta questão. Eu sou um artista de 50 anos tentando entender corretamente os computadores pela primeira vez. Então aqui vai. Eu tenho tentado entender como os tipos e variáveis ​​de dados são manipulados por um compilador (em um sentido muito geral, eu sei que há …

47 programming-languages  memory-allocation 

Me deparei com um problema estranho ao escrever um intérprete que (deveria) ser vinculado a programas / funções externas: As funções em 'C' e 'C ++' não podem vincular funções variadas , por exemplo, eu não posso criar uma função que chame 'printf' com exatamente os mesmos argumentos que obteve …

42 computability  programming-languages  turing-completeness 

A história curta Um famoso cientista da computação, Tarjan , escreveu um livro anos atrás. Ele contém um pseudocódigo absolutamente bizarro. Alguém poderia explicar isso? A longa história Tarjan é conhecido por muitas realizações, incluindo o fato de que ele era o co-mentor das árvores espalhadas . Ele publicou um …

40 programming-languages 

Um coletor de lixo geracional típico mantém os dados alocados recentemente em uma região de memória separada. Em programas típicos, muitos dados são de curta duração; portanto, coletar lixo jovem (um ciclo menor do GC) com frequência e coletar lixo antigo com pouca frequência é um bom compromisso entre a …

38 programming-languages  computer-architecture  cpu-cache  garbage-collection