Documents de recherche génériques C #

Quels sont les articles de recherche les plus importants sur les fondements des génériques en C # et .NET?

pl.programming-languages Kariem Ali
la source

La question semble trop floue. J'ai voté pour la fermer car ce n'était pas une vraie question. Voir aussi comment poser une bonne question .

Tsuyoshi Ito du

@ Hsien-Chih Chang, ne découragez pas les gens à poser des questions sur le langage de programmation, qui sont de la portée . Il y a beaucoup de travail lourd en théorie en PL. Voir, par exemple, ceci et cela . (Cette question particulière, cependant, sonne comme "Pourriez-vous me

diriger

Je vote pour garder la question. Si ce n'était pas si tard, je répondrais aussi. Il s'agit, potentiellement, de la théorie PL. Plus demain.

Dave Clarke

@Radu: Désolé pour le commentaire trompeur, je n'ai pas l'intention de le faire. Ce que je veux vraiment dire, c'est que ce problème est (actuellement) une demande de référence pour des articles dans des langages de programmation spécifiques, ce qui n'est pas un problème théorique (actuellement) et est hors de portée (ou ce n'est pas? Peut-être que je suis totalement mal ici). J'adorerais voir si la question est en cours de modification et devient un problème théorique. Merci à tous d'avoir signalé ma mauvaise redirection, et @Kariem j'espère que vous obtiendrez de bonnes réponses ici!

Hsien-Chih Chang 張顯之

J'ai répondu à la question en supposant que vous demandiez les bases des génériques C #. Il aurait mieux valu être plus précis dans votre question. Étiez-vous après les fondations? Implémentations? Utilisations exotiques des génériques C #?

Dave Clarke

Réponses:

La plupart des travaux importants sur les génériques pour C # ont été effectués par Andrew Kennedy à Microsoft Research Cambridge. Il a une page Web consacrée au sujet. Une discussion de papier assez récente sur les fondements est celle-ci (qui ressemble définitivement à la théorie pour moi).

Des travaux plus récents, mais intéressants, ont porté sur la conception de C $\omega$ . Il serait également utile d' examiner la quantité assez importante de documentation sur les génériques Java, tels que Featherweight Java . Si vous voulez vraiment commencer à regarder les fondations, considérez le travail de Cardelli sur les types et la sémantique , et peut-être envisagez de regarder le système F (et les articles originaux de Reynolds et Girard).

Dave Clarke
la source

Très bonne réponse. Cela a renversé mon vote sur la question. Je crois toujours que c'est vraiment du génie logiciel, mais certainement le côté le plus théorique.

Derrick Stolee

Je vous remercie pour vos aimables paroles. À l'esprit, l'informatique théorique est un continuum, qui plonge sa théorie PL dans le génie logiciel. De plus, dans mon esprit, l'ingénierie logicielle est floue avec beaucoup de diagrammes UML.

Dave Clarke

Également par Andrew Kennedy à ce sujet est ce document: research.microsoft.com/en-us/um/people/akenn/generics/…

Johannes Rudolph