Наблюдение за политикой именования языков
Mar. 31st, 2008 01:55 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
deniokВ 1997 небезызвестные Simon Peyton Jones и Erik Meijer предложили промежуточный внутри-компиляторный богато-типизированный язык Henk. Сегодня я понял причину, почему язык так назван. Механизм - тот же, что и в Хаскелле.
Henk Barendregt - голландский логик, изобретатель лямбда-куба (1991), автор штудируемого мною нынче Lambda Calculi with Types. "Восхищайтесь" (с)thesz
Henk Barendregt - голландский логик, изобретатель лямбда-куба (1991), автор штудируемого мною нынче Lambda Calculi with Types. "Восхищайтесь" (с)
thesz
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2008-03-31 08:25 pm (UTC)no subject
Date: 2008-04-01 06:28 am (UTC)http://www.alib.ru/bs.php4?uid=357c0b8002946bb2235c8e0596873b99a38&sid=679d8a595a4c4a04f08800fa675cd499
no subject
Date: 2008-04-01 08:16 pm (UTC)no subject
Date: 2008-04-02 07:47 am (UTC)no subject
Date: 2008-04-02 07:59 am (UTC)Логик - это математик, для которого целью является не простота теории, а единообразие доказательств; главное, чтобы как можно большая их доля выглядела так : By induction on X. чтд
no subject
Date: 2008-04-02 08:07 am (UTC)