Perguntas com a tag [type-systems]

votos
14
respostas
2
visitas
994
Fundeps e GADTs: Quando é verificação de tipo decidable?
Publicado 08/09/2008 em 00:46
usuário Jason Dagit
votos
197
respostas
9
visitas
111k
línguas tipo dinâmico em comparação com linguagens tipo estático
Publicado 24/09/2008 em 05:05
usuário cvs
votos
9
respostas
5
visitas
1k
Idioma recursos para implementar álgebra relacional
Publicado 04/10/2008 em 16:20
usuário John Nilsson
votos
12
respostas
3
visitas
2k
O que é um sistema de tipo e efeito?
Publicado 13/10/2008 em 02:22
usuário Mark Cidade
votos
139
respostas
11
visitas
19k
O que é um tipo existencial?
Publicado 15/11/2008 em 08:31
usuário Claudiu
votos
0
respostas
2
visitas
145
Há também algoritmos conhecidos para deduzir os "tipos de retorno" de regras do analisador?
Publicado 17/12/2008 em 05:39
usuário BCS
votos
7
respostas
5
visitas
731
Digitadas FP: Argumentos tupla e Argumentos Curriable
Publicado 02/01/2009 em 01:47
usuário harms
votos
10
respostas
3
visitas
4k
sistema de tipo Erlang
Publicado 10/02/2009 em 13:52
usuário deepblue
votos
2
respostas
4
visitas
787
O que é um tipo inferencer?
Publicado 28/03/2009 em 04:01
usuário Kai
votos
20
respostas
4
visitas
1k
Contrastando C # genéricos com Haskell tipos parametrizados
Publicado 06/04/2009 em 08:45
usuário Charlie Flowers
votos
55
respostas
8
visitas
6k
Por que Haskell tipos de dados algébrica "fechado"?
Publicado 15/05/2009 em 22:17
usuário Zifre
votos
6
respostas
8
visitas
1k
Quais são as deficiências do sistema # tipo Java / C?
Publicado 19/05/2009 em 19:42
usuário Camilo Díaz Repka
votos
41
respostas
2
visitas
6k
Porque é que a função parcial <: Function em Scala?
Publicado 30/05/2009 em 22:51
usuário jpalecek
votos
56
respostas
4
visitas
7k
Tipo de Haskell vs. Newtype com relação ao tipo de segurança
Publicado 13/06/2009 em 21:34
usuário StevenC
votos
29
respostas
5
visitas
6k
Diferença entre tipos existenciais do Scala e curinga de Java por exemplo?
Publicado 23/06/2009 em 08:08
usuário oxbow_lakes
votos
20
respostas
2
visitas
1k
Quais são os limites da inferência de tipos?
Publicado 09/08/2009 em 13:01
usuário user141335
votos
17
respostas
13
visitas
2k
Quais são os limites de verificação de tipo e sistemas do tipo?
Publicado 09/08/2009 em 18:25
usuário user141335
votos
7
respostas
1
visitas
639
Tipo de recursão explícito na F #
Publicado 10/08/2009 em 07:30
usuário Thomas Danecker
votos
37
respostas
7
visitas
4k
Por que é dinâmico Typing Então, muitas vezes associada a linguagens interpretadas?
Publicado 08/09/2009 em 14:00
usuário daveslab
votos
31
respostas
6
visitas
14k
O que significa dizer que um tipo é "encaixotado"?
Publicado 13/09/2009 em 18:23
usuário Nick Heiner
votos
15
respostas
4
visitas
7k
Melhor maneira de verificar se System.Type é um descendente de uma determinada classe
Publicado 16/09/2009 em 16:34
usuário sh0gged
votos
1
respostas
5
visitas
227
tipo de System.Collection <T>
Publicado 20/09/2009 em 19:45
usuário Jordy
votos
19
respostas
4
visitas
1k
Que usos que você encontrou para-maior pontuação tipos em Haskell?
Publicado 25/09/2009 em 11:09
usuário David Crawshaw
votos
5
respostas
8
visitas
1k
De tipagem estática para Tipagem Dinâmica
Publicado 28/09/2009 em 23:23
usuário Hamza Yerlikaya
votos
14
respostas
3
visitas
2k
Tipo de retorno específico dentro Haskell
Publicado 07/10/2009 em 22:13
usuário Litherum
votos
5
respostas
2
visitas
3k
Ocaml Int e valores negativos
Publicado 23/10/2009 em 15:19
usuário chollida
votos
2
respostas
4
visitas
1k
enumerações Bitflag em C ++
Publicado 07/11/2009 em 17:29
usuário sold
votos
19
respostas
4
visitas
1k
Estendendo um tipo existente em OCaml
Publicado 17/11/2009 em 06:15
usuário aneccodeal
votos
0
respostas
4
visitas
232
Um erro com aulas Haskell eu cair o tempo todo e não consigo entender
Publicado 21/11/2009 em 22:07
usuário Rafael S. Calsaverini
votos
5
respostas
8
visitas
375
Sugestões necessários: alternativa para a sobrecarga "é" e "como" operadores em .NET
Publicado 23/11/2009 em 16:35
usuário aoven
votos
62
respostas
2
visitas
4k
Quais são as diferenças e semelhanças de sistemas do tipo Scala e Haskell?
Publicado 29/11/2009 em 14:10
usuário Łukasz Lew
votos
13
respostas
3
visitas
804
Levantando instância de classe em Haskell
Publicado 29/11/2009 em 22:19
usuário Rafael S. Calsaverini
votos
25
respostas
2
visitas
1k
Tipo inferida parece detectar um loop infinito, mas o que está realmente acontecendo?
Publicado 02/12/2009 em 01:49
usuário Greg Bacon
votos
4
respostas
4
visitas
1k
Qual é a diferença entre o tipo latente e tipo de manifesto?
Publicado 19/12/2009 em 02:38
usuário unj2
votos
22
respostas
8
visitas
3k
Duck digitação, ele deve ser dinâmico?
Publicado 22/12/2009 em 18:52
usuário cdiggins
votos
16
respostas
8
visitas
1k
É o meu entendimento de sistemas do tipo correto?
Publicado 25/01/2010 em 20:40
usuário Michael Borgwardt
votos
4
respostas
2
visitas
2k
genéricos Java + métodos de fábrica estáticos = [pânico]
Publicado 22/02/2010 em 13:37
usuário java.is.for.desktop
votos
2
respostas
5
visitas
1k
Será que todas as linguagens de programação têm um conceito claro de NIL, null ou indefinido?
Publicado 24/02/2010 em 08:33
usuário Zubair
votos
32
respostas
5
visitas
4k
Que idiomas são digitados de forma dinâmica e compilado (e que são de tipagem estática e interpretadas)?
Publicado 24/02/2010 em 21:58
usuário Skilldrick
votos
15
respostas
3
visitas
688
Usando o sistema de tipo de Haskell para impor modularidade
Publicado 05/03/2010 em 01:37
usuário Bill
votos
7
respostas
2
visitas
1k
Acessando membros de tipo fora da classe em Scala
Publicado 23/03/2010 em 10:37
usuário Pekka Mattila
votos
5
respostas
2
visitas
160
Há algum línguas que são digitadas dinamicamente, mas não permitem digitação fraco?
Publicado 26/03/2010 em 04:24
usuário Maulrus
votos
3
respostas
1
visitas
177
pode-se criar tipos de porte em Scala?
Publicado 09/04/2010 em 18:42
usuário Jens Schauder
votos
129
respostas
4