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
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 de PC"...
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...
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 Exit Mas o professor disse que...
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...
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...
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,...
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...
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...
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...
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: Cl(X) \rightarrow...
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...
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...
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...
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) :-...
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,
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 palestrante...
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...
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 uma...
Costumo trabalhar com lexer / parsers , ao contrário de um combinador de analisador e vejo pessoas que nunca tiveram aula em análise, perguntam sobre a análise de dados binários. Normalmente, os dados não são apenas binários, mas também sensíveis ao contexto. Isso basicamente leva a ter apenas um...