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

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 produtividade.

25 programming-languages  empirical-research  software-engineering 

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 …

24 terminology  programming-languages  meta-programming 

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 e functores na …

24 programming-languages  functional-programming  category-theory 

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 linguagens de programação funcionais. Aprendi …

23 programming-languages  mathematical-foundations  church-turing-thesis 

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, quase todas as alterações impedirão a compilação do código. …

23 programming-languages  computation-models 

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 quer. Eles também …

23 programming-languages  memory-management  garbage-collection 

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 arquiteturas diferentes? Em caso afirmativo, por que …

23 programming-languages  computer-architecture 

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 uma resposta, mas sim que posso …

23 reference-request  programming-languages  type-theory 

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 …

22 programming-languages  turing-completeness  loops  imperative-programming 

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 cálculo Lambda é …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Qual é a diferença entre linguagem de programação e linguagem de script? Por exemplo, considere C versus Perl. A única diferença é que as linguagens de script exigem apenas o intérprete e não exigem compilação e vinculação?

20 programming-languages 

No famoso ensaio de Richard Gabriel, The Rise of Worse is Better , ele contrasta versões caricaturadas das filosofias de design do MIT / Stanford (Lisp) e Nova Jersey (C / Unix) ao longo dos eixos da simplicidade, correção, consistência e perfeição. Ele dá o exemplo do "problema de perdedor …

20 programming-languages  operating-systems 

Dado um sistema de transição rotulado (S,Λ,→)(S,Λ,→)(S,\Lambda,\to) , onde SSS é um conjunto de estados, ΛΛ\Lambda é um conjunto de rótulos e →⊆S×Λ×S→⊆S×Λ×S\to\subseteq S\times\Lambda\times S é uma relação ternária. Como sempre, escreva p→αqp→αqp \stackrel\alpha\rightarrow q para . A transição rotulada indica que o sistema no estado muda de estado para …

20 programming-languages  formal-methods  semantics  process-algebras 

Estou iniciando uma pesquisa bibliográfica pessoal sobre algoritmos de verificação de tipo e quero algumas dicas. Quais são os algoritmos, estratégias e técnicas gerais de verificação de tipo mais usados? Estou particularmente interessado em algoritmos complexos de verificação de tipo que foram implementados em linguagens tipicamente fortemente estáticas amplamente conhecidas, …

19 algorithms  programming-languages  reference-request  type-checking 

Nosso professor nos pediu para pensar em uma função no OCaml que tem o tipo 'a -> 'b isto é, uma função de um argumento que pode ser qualquer coisa e que pode retornar algo diferente. Pensei em usar raiseuma função que ignora seu argumento: let f x = raise …

19 programming-languages  typing  functional-programming