Perguntas com a marcação «typing»

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 

Ouvi muitas vezes que o polimorfismo de linha é uma abordagem melhor do que a subtipagem, mas tenho dificuldade em encontrar algo que as compare em detalhes. Estou especialmente interessado na perspectiva de um usuário do sistema. Me deparei com este post do blog, mas ele me deixa com mais …

20 typing 

Gostaria de saber se um tipo universalmente quantificado : é um subtipo ou caso especial, de um tipo quantificado existencialmente com a mesma assinatura:T a = ∀ X : { a ∈ X , f : X → { T , F } } T e T e = ∃ …

20 logic  type-theory  typing 

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 

Estou lendo sobre o algoritmo de digitação Hindley-Milner ao escrever uma implementação e vejo que, desde que todas as variáveis ​​sejam vinculadas, você sempre terá tipos atômicos ou tipos em que os argumentos determinarão o tipo final, como t1 -> t1ou (t1 -> t2) -> (t1 -> t2)onde t1e t2são …

14 lambda-calculus  type-theory  typing  type-inference 

Eu estou trabalhando em uma linguagem baseada em expressão da genealogia ML, então ela naturalmente precisa de inferência de tipo> :) Agora, estou tentando estender uma solução baseada em restrições para o problema de inferir tipos, com base em uma implementação simples no EOPL (Friedman e Wand), mas eles datilografam …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing 

É possível usar tipos dependentes na implementação existente do Typed Racket ? (ou seja, eles existem nele?) É razoavelmente possível implementar um sistema de tipos dependentes usando raquete digitada?

9 programming-languages  typing  type-checking  dependent-types  lisp 

Estou aprendendo programação em ML (OCaml), e anteriormente perguntei sobre as funções de ML do tipo'a -> 'b . Agora eu tenho experimentado um pouco com funções do tipo 'a list -> 'b list. Existem alguns exemplos simples óbvios: let rec loop l = loop l let return_empty l = …

8 programming-languages  typing  functional-programming 

Eu tenho uma pergunta sobre herança em linguagens de programação OO do tipo Java. Ele surgiu na minha classe de compilador, quando expliquei como compilar métodos e sua invocação. Eu estava usando Java como exemplo de linguagem de origem para compilar. Agora considere este programa Java. class A { public …

7 programming-languages  semantics  typing  object-oriented  java