The chronicler of 452 - Screamer caps and invented gommas, quoites puntlost, forced to farce!

Dec. 27th, 2013

03:14 pm - Screamer caps and invented gommas, quoites puntlost, forced to farce!

Previous Entry Share Next Entry

Некоторые знают, что Петр Устинов был денщиком Дэвида Нивена. Менее известно, что Нобуо Йонеда, придумавший лемму Йонеды, был также членом IFIP TC2 WG2.1, одним из создателей Алгола-68, единственного языка программирования с формальной семантикой, описанной белыми стихами:




Именно благодаря ему UNION коммутативен и идемпотентен.

Неожиданное сближение в этой биографии вещей казалось бы несвязанных и удалённых очень похоже на его лемму.

(5 comments | Leave a comment)

Comments:

[User Picture]
From:ivan_gandhi
Date:December 27th, 2013 03:14 pm (UTC)
(Link)
О блин! Йонеда такая загадочная фигура. Вот профессор, вот оформил карриинг категорно .

Классно; спасибо за информацию!
(Reply) (Thread)
From:_qwerty
Date:December 28th, 2013 12:57 am (UTC)
(Link)
Тех, размеченных, объединений почти нигде с тех пор не осталось. Повсюду же распространенные неразмеченные объединения к размеченным отношения не имеют. Они скорее обобщение фортрановского наследия с наложением друг на друга переменных разных типов и одинаково поименованных коммон-блоков разных структур.

Пересмотренное сообщение также было замечательно дублированным переводом с цитатами и картинками, причем картинки в переводе не совпадали с исходными.
(Reply) (Thread)
[User Picture]
From:furia_krucha
Date:December 28th, 2013 08:17 am (UTC)
(Link)
> Тех, размеченных, объединений почти нигде с тех пор не осталось.
data IR = I Int | R Real в Haskell?

> ... с цитатами и картинками, причем картинки в переводе не совпадали с исходными.
(Reply) (Parent) (Thread)
From:_qwerty
Date:December 28th, 2013 09:18 am (UTC)
(Link)
Это примерно и означает почти. Причем у меня нет уверенности, что свойства объединений в функциональных языках хоть в какой-то степени инспирированы A68.
(Reply) (Parent) (Thread)
From:_qwerty
Date:December 28th, 2013 09:19 am (UTC)
(Link)
Из картинок там хорош ослик, в оригинале стоящий лицом, а в переводе задом.
(Reply) (Parent) (Thread)