Наблюдение за политикой именования языков

[deniok]

В 1997 небезызвестные Simon Peyton Jones и Erik Meijer предложили промежуточный внутри-компиляторный богато-типизированный язык Henk. Сегодня я понял причину, почему язык так назван. Механизм - тот же, что и в Хаскелле.

Henk Barendregt - голландский логик,  изобретатель лямбда-куба (1991), автор штудируемого мною нынче Lambda Calculi with Types. "Восхищайтесь" (с)thesz

Comments

[lomeo.livejournal.com]

На русском вроде его книжка есть про ЛИ.

[deni-ok.livejournal.com]

У вас в Москве можно даже купить
http://www.alib.ru/bs.php4?uid=357c0b8002946bb2235c8e0596873b99a38&sid=679d8a595a4c4a04f08800fa675cd499

[deni-ok.livejournal.com]

Скачал djvu. Там про бестиповую лямбду, хотя книжка фундаментальная.

[lomeo.livejournal.com]

Да, я совершенно замучился её читать.

[deni-ok.livejournal.com]

Да, у меня сформулировалось следующее определение:

Логик - это математик, для которого целью является не простота теории, а единообразие доказательств; главное, чтобы как можно большая их доля выглядела так : By induction on X. чтд

[lomeo.livejournal.com]

;-) Фундаментально. И очень похоже.