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

Suponha que eu queira escrever uma biblioteca que lide com vetores e matrizes. É possível agrupar as dimensões nos tipos, para que operações de dimensões incompatíveis gerem um erro no tempo de compilação? Por exemplo, eu gostaria que a assinatura do produto escalar fosse algo como dotprod :: Num a, …

20 haskell  type-systems  type-safety 

Recentemente, eu estava me perguntando por que a palavra-chave autofoi escolhida no C ++ 11 para marcar uma variável cujo tipo deve ser inferido pelo compilador, como em auto x = 1; Desde a var parece mais comum em outras linguagens de programação (por exemplo, C #, Scala, JavaScript) e …

20 c++  c++11  type-systems 

Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha que essa pergunta pode ser melhorada e possivelmente reaberta, visite o centro …

20 programming-languages  language-features  type-systems  data-types 

Estou interessado em tipos de exclusividade como alternativa às mônadas em linguagens funcionais puras há algum tempo; infelizmente, essa é uma área esotérica da pesquisa em CS e os recursos on-line sobre programação com tipos de exclusividade são poucos e distantes entre si. É óbvio como os tipos de exclusividade …

19 programming-languages  functional-programming  type-systems  parallelism 

Quanto mais aprendo sobre diferentes paradigmas de programação, como programação funcional, mais começo a questionar a sabedoria dos conceitos de POO, como herança e polimorfismo. Eu aprendi sobre herança e polimorfismo na escola e, na época, o polimorfismo parecia uma maneira maravilhosa de escrever código genérico que permitia fácil extensibilidade. …

18 java  c++  python  object-oriented  type-systems 

Durante um projeto recente em que estou trabalhando, tive que usar várias funções que se parecem com isso: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double zoom, int image_width_pixels, int image_height_pixels, double & …

17 c++  type-systems  data-types  type-safety 

Nota inicial: Essa questão foi encerrada após várias edições, porque eu não tinha a terminologia adequada para indicar com precisão o que estava procurando. Sam Tobin-Hochstadt postou um comentário que me fez reconhecer exatamente o que era: linguagens de programação que suportam tipos de interseção para valores de retorno de …

17 language-agnostic  type-systems  return-type 

Tenho certeza de que todos estão familiarizados com métodos genéricos do formulário: T DoSomething<T>(T item) Essa função também é chamada de parametricamente polimórfico (PP), especificamente PP de classificação 1 . Digamos que esse método possa ser representado usando um objeto de função do formulário: <T> : T -> T Ou …

16 programming-languages  functional-programming  type-systems  generics 

Se você possui uma enumeração apenas com valores (nenhum método como se poderia fazer em Java) e essa enumeração faz parte da definição de negócios do sistema, deve-se escrever testes de unidade para isso? Eu estava pensando que eles deveriam ser escritos, mesmo que pareçam simples e redundantes. Considero que …

15 unit-testing  testing  type-systems  enum 

Em linguagens orientadas a objetos que suportam parâmetros de tipo genéricos (também conhecidos como modelos de classe e polimorfismo paramétrico, embora, é claro, cada nome possua conotações diferentes), muitas vezes é possível especificar uma restrição de tipo no parâmetro de tipo, de forma que ele desça de outro tipo. Por …

15 object-oriented  type-systems  generics 

Acabei de assistir essa palestra de Daniel Spiewak, onde ele fala sobre as vantagens da tipagem estrutural em comparação com a tipagem nominal de Scala e Java . Um exemplo para essa diferença seria o seguinte código Java public interface Foo { public int length(); } public interface Bar { …

15 java  scala  type-systems  static-typing 

Acabei de terminar learnyouahaskell no outro dia e estava tentando entender a restrição de monomorfismo, conforme descrito no Wiki de Haskell . Acho que entendo como o MR pode impedir avaliações repetidas, mas não estou conseguindo entender por que essas avaliações repetidas não podem ser evitadas por meios muito mais …

14 optimization  haskell  type-systems 

Em resposta a uma pergunta anterior , iniciou-se um pequeno debate sobre a terminologia correta para certas construções. Como não encontrei uma pergunta (além desta ou daquela , que não é a coisa certa) para abordar isso claramente, estou fazendo essa nova. Os termos questionáveis ​​e seus relacionamentos são: tipo, …

14 type-systems  data-types  type-theory 

Alguns idiomas permitem classes e funções com parâmetros de tipo (como List<T>onde Tpode ser um tipo arbitrário). Por exemplo, você pode ter uma função como: List<S> Function<S, T>(List<T> list) No entanto, alguns idiomas permitem que esse conceito seja estendido um nível mais alto, permitindo que você tenha uma função com …

13 programming-languages  type-systems  generics 

Haskell tem uma noção de "funções genéricas" que tem alguma aparente semelhança com o lisp comum - não tendo experiência com Haskell nem com lisp comum, talvez eu seja muito aproximado aqui. Isso significa que é possível definir um to_stringrecurso genérico para definir uma representação de string para todos os …

13 haskell  type-systems  common-lisp