Perguntas com a marcação «type-systems»

O trabalho de Liskov nessa área enfocou a subtipagem comportamental, que além da segurança do sistema de tipos discutida neste artigo também exige que os subtipos preservem todos os invariantes garantidos pelos supertipos em algum contrato. [3] Essa definição de subtipagem geralmente é indecidível, portanto, não pode ser verificada por …

12 type-systems  subtypes 

Eu quero definir uma classe de tipo para objetos geométricos que podem ser cruzados: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies A idéia é ter funções de interseção de uso geral que possam manipular …

11 haskell  type-systems  typeclass 

Dado o tipo existencial T = ∃X.{op₁:X, op₂:X→boolean} e essa interface Java genérica: interface T<X> { X op₁(); boolean op₂(X something); } Quais são as diferenças fundamentais entre o tipo existencial e a interface Java? Obviamente, existem diferenças sintáticas e a orientação a objetos do Java (que também inclui detalhes …

11 java  interfaces  type-systems 

Eu li vários artigos, artigos e a seção 4.1.4, capítulo 4 de Compiladores: Princípios, Técnicas e Ferramentas (2ª Edição) (também conhecida como "O Livro do Dragão"), que discutem o tópico da recuperação de erro de compilador sintático. No entanto, depois de experimentar vários compiladores modernos, vi que eles também se …

10 design  design-patterns  language-agnostic  type-systems 

Os genéricos em Java são implementados usando o apagamento de tipo. O JLS diz que a inspiração foi a compatibilidade com versões anteriores. Onde, por outro lado, os genéricos C # são reificáveis. Teoricamente, quais são as vantagens e desvantagens de ter os genéricos como "apagamento" ou "reifiabilidade"? O Java …

10 type-systems 

Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 4 anos . Estou ciente de algumas boas opções : Inteiros grandes (por …

9 c  data-structures  type-systems 

Na teoria da linguagem de programação, um tipo é um conjunto de valores. Por exemplo, o tipo "int" é o conjunto de todos os valores inteiros. Nas linguagens OOP, uma classe é um tipo, é? Quando uma classe é definida com mais de um membro, por exemplo, class myclass{ int …

9 object-oriented  programming-languages  class  type-systems 

Eu li que o Go realmente não tem inferência de tipo verdadeira, no sentido de que linguagens funcionais como ML ou Haskell têm, mas não consegui encontrar uma comparação simples de entender das duas versões. Alguém poderia explicar em termos básicos como a inferência de tipo no Go difere da …

9 haskell  type-systems  go 

Recentemente, fiquei profundamente interessado em Haskell. Enquanto tentava aprender novos conceitos (por exemplo, a palavra - chave forall e a mônada ST ) e o sistema de tipos de Haskell em geral, eu sempre me deparo com conceitos da teoria das categorias e do cálculo lambda . Então, eu me …

9 programming-languages  functional-programming  math  haskell  type-systems 

Por curiosidade, existem idiomas que permitem definir aritmética nos tipos para criar novos tipos? Algo como: interface A { void a(); void b(); } interface B { void b(); void c(); } interface C = A & B; // has b() interface D = A | B; // has a(), …

9 programming-languages  type-systems 

Gostaria de saber se existe uma diferença entre as classes de tipo de Haskell e as interfaces de Go. Ambos definem tipos com base em funções, dessa maneira, que um valor corresponde a um tipo, se uma função requerida pelo tipo for definida para o valor. Existem diferenças ou são …

8 haskell  type-systems  polymorphism  go 

No Python (e ocasionalmente no PHP), onde as variáveis ​​não têm tipos fixos, frequentemente executarei 'transformações de tipo' em uma variável parcialmente através da lógica do meu código. Não estou (necessariamente) falando sobre conversões simples, mas sobre funções que alteram o tipo de uma variável, deixando-a basicamente representando o mesmo …

8 coding-style  dynamic-typing  type-systems  weak-typing 

O C ++ 0x adiciona um suporte bastante abrangente a inferência de tipos. Estou extremamente tentado a usá-lo em todos os lugares possíveis para evitar repetições indevidas, mas estou me perguntando se a remoção de informações explícitas de tipo em todo o lugar é uma boa idéia. Considere este exemplo …

8 c++  type-systems 

A questão surgiu em uma discussão no StackOverflow. Existe uma distinção clara entre os dois conceitos expressos e convertidos (a respeito do tipo de um objeto), ou essas duas palavras descrevem exatamente a mesma coisa? E quanto a outras linguagens além de C ++, Python e Java? EDIT : E …

8 concepts  type-systems  weak-typing  imperative-languages  type-casting