C # Дослідження з генерики

Які найбільш значущі наукові праці щодо основ генерики в C # і .NET?

pl.programming-languages

Питання видається занадто зосередженим. Я проголосував за його закриття як не справжнє питання. Дивіться також, як поставити гарне запитання .

— Цуйосі Іто

@ Hsien-Chih Chang, будь ласка, не перешкоджайте людям задавати питання мови програмування, які є в обсязі . У ПЛ багато теоретично важкої роботи. Дивіться, наприклад, це і це . (Хоча саме це запитання звучить як "Не могли б ви вказати мені на дослідження алгоритмів графіків?", Тобто це невиразно.)

— Раду ГРИГо

Я голосую, щоб продовжувати питання. Якби це було не пізно, я б і відповів. Це, можливо, стосується теорії ФЛ. Більше завтра.

— Дейв Кларк

@Radu: Вибачте за оманливий коментар, я не маю цього робити. Що я дійсно хочу сказати, це те, що ця проблема є (наразі) довідковим запитом на документи на конкретних мовах програмування, що не є теоретичною проблемою (в даний час) і не входить у сферу застосування (чи не так? тут неправильно). Я хотів би побачити, чи питання модифікується і чи стає проблемою теорії. Дякую всім за те, що ви вказали на моє неправильне перенаправлення, і @Kariem, сподіваюся, ви отримаєте хороші відповіді тут!

— Сісен-Чі Чанг 19 之

Я відповів на питання, припускаючи, що ви запитуєте основи C # generics. Було б краще бути більш точним у вашому питанні. Ви були після заснування? Впровадження? Екзотичне використання дженериків C #?

— Дейв Кларк

Ендрю Кеннеді в Microsoft Research Cambridge провів велику частину важливих робіт з генерики для C #. У нього є веб-сторінка, присвячена цій темі. Досить недавній дискусійний документ, основи якого є саме цей (який, безумовно, мені схоже на теорію).

Більш пізня, але цікава робота пішла в розробку C $\omega$ . Також допоможе розгляд досить великої кількості літератури про дженерики Java, наприклад, у легкій формі Java . Якщо ви дійсно хочете почати дивитися на основи, розгляньте роботу Карделлі про типи та семантику , а можливо, погляньте на систему F (та оригінальні статті Рейнольдса та Жирара).

— Дейв Кларк
джерело

Чудова відповідь. Це змінило мій голос на запитання. Я все ще вважаю, що це дійсно програмне забезпечення, але, безумовно, більш теоретична сторона.

— Деррік Столі

Дякую за добрі слова. На увазі, теоретична інформатика - це континуум, який занурює свої теорії ФЛ в інженерію програмного забезпечення. Крім того, на мій погляд, інженерія програмного забезпечення нечітка з навантаженням діаграм UML.

— Дейв Кларк

Також Ендрю Кеннеді з цього приводу є цей документ: research.microsoft.com/en-us/um/people/akenn/generics/…

— Йоханнес Рудольф