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

Eu li alguns artigos na Internet sobre a escolha da linguagem de programação na empresa. Recentemente, muitas linguagens dinâmicas digitadas foram populares, como Ruby, Python, PHP e Erlang. Mas muitas empresas ainda permanecem com linguagens estáticas, como C, C ++, C # e Java. E sim, um dos benefícios das …

35 programming-languages  dynamic-typing  static-typing  type-systems 

Eu tenho esses dois pequenos programas: C #include <stdio.h> int main() { if (5) { printf("true\n"); } else { printf("false\n"); } return 0; } Java class type_system { public static void main(String args[]) { if (5) { System.out.println("true"); } else { System.out.println("false"); } } } que relata a mensagem de …

33 java  c  type-systems 

Estou estudando Haskell com o objetivo de entender a programação funcional, com a expectativa de aplicar a percepção que obtiver em outras linguagens (principalmente Groovy, Python, JavaScript). Escolhi Haskell porque tive a impressão de que é muito puramente funcional e não permitiria nenhuma confiança no estado. Não escolhi aprender Haskell …

33 functional-programming  haskell  language-features  type-systems 

Eu li uma pergunta relacionada. Existem padrões de design desnecessários em linguagens dinâmicas como Python? e lembrei-me desta citação no Wikiquote.org O maravilhoso da digitação dinâmica é que ela permite expressar qualquer coisa que seja computável. E sistemas de tipos sistemas de tipos não são tipicamente decidíveis e restringem você …

30 design-patterns  python  type-systems  dynamic-typing 

A introdução da nova notação lambda (consulte, por exemplo, este artigo ) no Java 8 exigirá algum tipo de inferência de tipo? Se sim, como o novo sistema de tipos afetará a linguagem Java como um todo?

30 java  type-systems  lambda  java8 

Sei que essa é uma questão muito ampla, ambígua e possivelmente filosófica. Até certo ponto, a palavra-chave mais importante da pergunta - sistema de tipos "forte" - em si está mal definida . Então, deixe-me tentar explicar o que quero dizer. Contexto geral da pergunta Criamos um aplicativo da web …

29 java  haskell  scala  type-systems  rust 

É geralmente aceito que os genéricos Java falharam em alguns aspectos importantes. A combinação de curingas e limites levou a algum código seriamente ilegível. No entanto, quando olho para outras linguagens, realmente não consigo encontrar um sistema de tipos genéricos com o qual os programadores estejam satisfeitos. Se considerarmos o …

29 type-systems  generics 

Parece que todas as novas linguagens de programação ou pelo menos as que se tornaram populares usam inferência de tipos. Até o Javascript obteve tipos e inferência de tipos através de várias implementações (Acscript, texto datilografado etc). Parece ótimo para mim, mas estou me perguntando se há algum trade-offs ou …

29 programming-languages  type-systems 

No artigo de Eric Lippert What's Up With notation húngaro? , ele afirma que o objetivo da notação húngara (o tipo bom) é estenda o conceito de "tipo" para incluir informações semânticas, além de informações de representação de armazenamento. Um exemplo simples seria o prefixo de uma variável que representa …

28 naming  type-systems  static-typing  hungarian 

Ao projetar e implantar uma linguagem de programação orientada a objetos, em algum momento é preciso fazer uma escolha sobre a implementação de tipos fundamentais (como int , float, doubleou equivalentes) como classes ou outra coisa. Claramente, as linguagens da família C tendem a não defini-las como classes (Java possui …

27 object-oriented  language-design  compiler  type-systems 

Estou um pouco confuso sobre a diferença entre sistemas do tipo nominal e estrutural. Alguém pode explicar como eles diferem? Pelo que entendi: Nominal: a compatibilidade do tipo é baseada no nome do tipo. Estrutural: a compatibilidade de tipos é baseada na estrutura de tipos, por exemplo, em C, se …

24 type-systems 

Nota: Quando usei "complexo" no título, quero dizer que a expressão possui muitos operadores e operandos. Não que a expressão em si seja complexa. Recentemente, estive trabalhando em um compilador simples para montagem de x86-64. Eu terminei o front end principal do compilador - o lexer e o analisador - …

23 language-agnostic  compiler  type-systems  type 

Eu li que Hindley-Milner não funciona com sistemas de tipos que têm subclasses, e existem outros recursos do sistema de tipos que também não funcionam bem com ele. O Go atualmente possui apenas inferência de tipo muito limitada no :=operador. Mas Go não tem subclasses no sentido tradicional, apenas interfaces …

22 haskell  type-systems  go 

Existem algumas razões teóricas para isso (como a verificação ou inferência de tipo se tornariam indecidíveis) ou razões práticas (muito difíceis de implementar adequadamente)? Atualmente, podemos envolver coisas newtypecomo newtype Pair a = Pair (a, a) e depois tem Pair :: * -> * mas não podemos fazer algo assim …

22 haskell  abstraction  type-systems  lambda 

Ao explicar o combinador Y no contexto de Haskell, geralmente é observado que a implementação direta não verifica o tipo no Haskell devido ao seu tipo recursivo. Por exemplo, do Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive …

21 haskell  type-systems  static-typing  ocaml