Что необходимо знать, прежде чем спорить о системах типов.
От: Курилка Россия http://kirya.narod.ru/
Дата: 28.06.07 13:55
Оценка: 66 (12) +1
Я понимаю, тема уже набила оскомину на РСДН, но сабжевая статья довольно полно по-моему охватывает все основные моменты.
Re: [OFFTOPIC]
От: Курилка Россия http://kirya.narod.ru/
Дата: 29.06.07 06:01
Оценка:
Здравствуйте, Курилка, Вы писали:

К>Я понимаю, тема уже набила оскомину на РСДН, но сабжевая статья довольно полно по-моему охватывает все основные моменты.


2 moderators — а как сделать заявку на помещение топика в Q&A?
Re[2]: [OFFTOPIC]
От: Odi$$ey Россия http://malgarr.blogspot.com/
Дата: 29.06.07 06:07
Оценка:
Здравствуйте, Курилка, Вы писали:

К>2 moderators — а как сделать заявку на помещение топика в Q&A?


для начала — перевести на русский
... << RSDN@Home 1.2.0 alpha rev. 694>>
Re[3]: [OFFTOPIC]
От: Курилка Россия http://kirya.narod.ru/
Дата: 29.06.07 06:23
Оценка:
Здравствуйте, Odi$$ey, Вы писали:

OE>Здравствуйте, Курилка, Вы писали:


К>>2 moderators — а как сделать заявку на помещение топика в Q&A?


OE>для начала — перевести на русский


Ммм, ссылки там типа "не катят"? Есть в РСДН какие-то правила на этот счёт, которые можно почитать?
Про перевод надо автора спросить сначала + время найти Посмотрим...
P.S. можно со второго сообщения отделить ветку в "обсуждение сайта".
Re: Что необходимо знать, прежде чем спорить о системах типо
От: sharcUs Беларусь http://sharcus.blogspot.com/
Дата: 19.08.07 12:44
Оценка: 42 (6)
Мой дилетанский перевод здесь
Re[2]: Что необходимо знать, прежде чем спорить о системах т
От: Кодт Россия  
Дата: 22.08.07 12:47
Оценка: +1
Здравствуйте, sharcUs, Вы писали:

U>Мой дилетанский перевод здесь


Навскидку, косяки

lambda cube | лямбда-исчисление | лямбда-куб (http://en.wikipedia.org/wiki/Lambda_cube)

It's nothing special | нет ничего специального | ничего особенного
features | особенности | свойства
ньюанс | нюанс

(дальше заломало придираться)
... << RSDN@Home 1.2.0 alpha rev. 655>>
Перекуём баги на фичи!
Re[3]: [OFFTOPIC]
От: palm mute  
Дата: 22.08.07 14:08
Оценка: 3 (1)
Здравствуйте, Odi$$ey, Вы писали:

OE>Здравствуйте, Курилка, Вы писали:

К>>2 moderators — а как сделать заявку на помещение топика в Q&A?
OE>для начала — перевести на русский

Серия постов на русском, начинающаяся с http://brainslugs.blogspot.com/2007/08/faq.html, вдохновленная сабжевой статьей + Type systems (Cardelli) + TaPL (Pierce).
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.