Artigos de pesquisa sobre genéricos em C #


12

Quais são os trabalhos de pesquisa mais significativos sobre os fundamentos dos genéricos em C # e .NET?


4
A questão parece estar muito desfocada. Votei para fechá-lo como uma questão não real. Veja também como fazer uma boa pergunta .
Tsuyoshi Ito

9
@ Hsien-Chih Chang, não desencoraje as pessoas a fazer perguntas sobre a linguagem de programação, que estão no escopo . Há muito trabalho teórico na PL. Veja, por exemplo, isto e isto . (Essa pergunta em particular, no entanto, soa como "Você poderia me indicar uma pesquisa em algoritmos de gráficos?",
Ou

6
Eu voto para manter a pergunta. Se não fosse tão tarde, eu daria uma resposta também. Isso é, potencialmente, sobre a teoria do PL. Mais amanhã.
Dave Clarke

2
@ Radu: Desculpe pelo comentário enganoso, não pretendo fazê-lo. O que realmente quero dizer é que esse problema é (atualmente) uma solicitação de referência para trabalhos em linguagens de programação específicas, que não é um problema teórico (atualmente) e está fora do escopo (ou não é? Talvez eu esteja totalmente errado aqui). Eu adoraria ver se a pergunta está sendo modificada e se torna um problema de teoria. Obrigado a todos por apontar meu redirecionamento errado e @Kariem, espero que você obtenha boas respostas aqui!
Hsien-Chih Chang,

4
Respondi à pergunta assumindo que você estava solicitando os fundamentos dos C # genéricos. Teria sido melhor ser mais preciso em sua pergunta. Você estava atrás das fundações? Implementações? Usos exóticos de C # genéricos?
Dave Clarke

Respostas:


22

A maior parte do trabalho importante sobre genéricos para C # foi realizada por Andrew Kennedy, na Microsoft Research Cambridge. Ele tem uma página da web dedicada ao tópico. Uma discussão bastante recente sobre os fundamentos é essa (que definitivamente me parece uma teoria).

Um trabalho mais recente, mas interessante, entrou no design do Cω . Examinar também a grande quantidade de literatura sobre genéricos Java, como o Featherweight Java , também ajudará. Se você realmente deseja começar a examinar as fundações, considere o trabalho de Cardelli sobre Tipos e Semântica , e talvez considere examinar o Sistema F (e os documentos originais de Reynolds e Girard).


1
Ótima resposta. Inverteu meu voto na questão. Eu ainda acredito que isso é realmente engenharia de software, mas definitivamente o lado mais teórico.
Derrick Stolee,

1
Obrigado pelas suas palavras gentis. Em mente, a ciência da computação teórica é um continuum, que mergulha sua teoria da PL na engenharia de software. Além disso, na minha opinião, a engenharia de software é confusa com muitos diagramas UML.
Dave Clarke

1
Também por Andrew Kennedy sobre esse assunto está este artigo: research.microsoft.com/en-us/um/people/akenn/generics/…
Johannes Rudolph
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.