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

Eu sou novo em teoria da linguagem de programação. Eu estava assistindo algumas palestras on-line nas quais o instrutor alegava que uma função com tipo polimórfico forall t: Type, t->tseria a identidade, mas não explicava o porquê. Alguém pode me explicar por quê? Talvez uma prova da reivindicação dos primeiros …

18 programming-languages  type-theory 

Eu estou familiarizado com uma dúzia de linguagens de programação que têm exceções de alguma forma, mas vim testemunhar duas tendências "patológicas". Não parece haver um padrão ou hierarquia comum de exceções. Todo idioma basicamente lança sua própria versão e, se as exceções o tornarem padrão, os tipos de exceções …

18 terminology  programming-languages  api-design 

Nas linguagens de programação, os fechamentos são um recurso popular e frequentemente desejado. A Wikipedia diz (ênfase minha): Na ciência da computação, um fechamento (...) é uma função juntamente com um ambiente de referência para as variáveis ​​não locais dessa função. Um fechamento permite que uma função acesse variáveis ​​fora …

18 programming-languages  semantics 

Eu estudei o livro "C ++ Desmistificado" . Agora comecei a ler "Programação Orientada a Objetos no Turbo C ++ primeira edição (1ª edição)", de Robert Lafore. Eu não tenho nenhum conhecimento de programação que esteja além desses livros. Este livro pode estar desatualizado porque tem 20 anos. Eu tenho …

17 programming-languages  object-oriented  programming-paradigms 

Estou realmente lutando com esta propriedade: Deixe que X,YX,YX,Y ser espaços coerentes e ser uma função monótona. é contínuo se e somente se , para todos os modo que seja um conjunto direcionado.f f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f ( x )f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: …

16 terminology  programming-languages  semantics 

De acordo com este artigo, a seguinte linha de código Lisp imprime "Hello world" na saída padrão. (format t "hello, world") O Lisp, que é uma linguagem homoicônica , pode tratar o código como dados da seguinte maneira: Agora imagine que escrevemos a seguinte macro: (defmacro backwards (expr) (reverse expr)) …

16 programming-languages  functional-programming 

Deseja melhorar este post? Forneça respostas detalhadas para esta pergunta, incluindo citações e uma explicação de por que sua resposta está correta. Respostas sem detalhes suficientes podem ser editadas ou excluídas. Muitas vezes, existem linguagens de programação especializadas para tarefas específicas. Algumas linguagens de programação são excelentes em aritmética de …

15 programming-languages 

Eu sei que pode ser comprovado que o PROLOG é Turing-completo construindo um programa que simula uma máquina de Turing como esta: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, …

15 programming-languages  turing-completeness  logic-programming  prolog 

Estou trabalhando em um compilador para uma linguagem concatenativa e gostaria de adicionar suporte à inferência de tipo. Entendo Hindley-Milner, mas tenho aprendido a teoria dos tipos à medida que passo, por isso não tenho certeza de como adaptá-la. O sistema a seguir é sólido e decididamente inferível? Um termo …

15 programming-languages  logic  compilers  type-theory  type-checking 

Com referência a recursos em linguagens como ruby ​​(e javascript), que permitem que um programador estenda / substitua classes a qualquer momento após defini-la (incluindo classes como String), é teoricamente viável projetar uma linguagem que permita que os programas estendam posteriormente sua semântica. ex: Ruby não permite herança múltipla, mas …

15 programming-languages  semantics 

Aqui eu li isso: O Haskell definitivamente não possui o sistema de tipos mais avançado (nem mesmo próximo, se você contar as linguagens de pesquisa), mas dentre todas as linguagens que são realmente usadas na produção, o Haskell provavelmente está no topo. Então, eu estou perguntando duas coisas: quais linguagens …

14 programming-languages  type-theory 

Alguém pode me encaminhar para artigos revisados ​​por pares estudando as vantagens ou desvantagens de escrever código em um estilo funcional? Existem documentos que discutem as aplicações do Lambda Calculus em áreas como Machine Learning, Language Design, etc.?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Eu me deparei com uma experiência estranha em programação C. Considere este código: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Ao compilar e executar isso, não recebo erros ou avisos. Como meu …

14 programming-languages  arrays  c 

Acho que estou bastante confuso sobre o que é chamado de cálculo e o que é chamado de linguagem de programação. Costumo pensar, e pode ter sido dito, que um cálculo é um sistema formal de raciocínio sobre a equivalência de programas. Os programas têm uma semântica operacional especificada por …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Eu continuo ouvindo sobre como é preciso aprender a teoria das categorias para realmente entender a teoria da linguagem de programação. Até agora, aprendi bastante PL sem nunca entrar no campo das categorias. No entanto, achei que era hora de dar o salto para ver o que estava faltando. Infelizmente, …

13 reference-request  programming-languages  type-theory  category-theory