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
1
Quais são as principais diferenças entre polimorfismo de linha e subtipagem
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
2
Os tipos universais são um subtipo ou caso especial de tipos existenciais?
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
3
Função ML do tipo 'a ->' b
Nosso professor nos pediu para pensar em uma função no OCaml que tem o tipo 'a -&gt; '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
1
Por que o algoritmo Hindley-Milner nunca produz um tipo como t1 -> t2?
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 -&gt; t1ou (t1 -&gt; t2) -&gt; (t1 -&gt; t2)onde t1e t2são …
14 lambda-calculus type-theory typing type-inference
1
Inferência de tipo baseada em restrições com dados algébricos
Eu estou trabalhando em uma linguagem baseada em expressão da genealogia ML, então ela naturalmente precisa de inferência de tipo&gt; :) 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
2
É possível fazer tipos dependentes na raquete digitada?
É 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
3
Funções ML de listas polimórficas para listas polimórficas
Estou aprendendo programação em ML (OCaml), e anteriormente perguntei sobre as funções de ML do tipo'a -&gt; 'b . Agora eu tenho experimentado um pouco com funções do tipo 'a list -&gt; 'b list. Existem alguns exemplos simples óbvios: let rec loop l = loop l let return_empty l = …
8 programming-languages typing functional-programming
3
Herança e acesso dinâmico a membros / atributos e métodos em linguagens semelhantes a Java
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
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.