Comments | faceted_jacinth: (без темы)

faceted_jacinth

(Untitled)

Mar 07, 2008 23:22

http://kanasta.livejournal.com/130566.htmlЭто -- детская книжка про смерть. Она прекрасна как произведение искусства. Глупые люди зачем-то могут задумываться над тем, насколько она хороша в качестве детской книжки про смерть, зачем она нужна вообще, о чём думали авторы и переводчики... Это всё неважно, она прекрасна. Спасибо за ссылку, Зи ( Read more... )

Comments 11

109 March 9 2008, 10:03:59 UTC

time paradox?

faceted_jacinth March 9 2008, 10:05:47 UTC

Ну, мой пост раньше твоего, а ссылка на него есть, потому что я её потом вставил, потому что подумал, что очень уж хороша!

koct9i March 9 2008, 21:17:11 UTC

кстати, а это ты видел?
Ку! в исполнении Виртуозов Москвы.

faceted_jacinth March 10 2008, 02:50:46 UTC

Ну... Забавно, пожалуй.

slobin August 28 2008, 19:50:04 UTC

"Рекурсивные" -- это в смысле "тьюринг-полные"? Ну, система типов в Qi -- это по существу программа на Прологе, даже почти не замаскированная. Причём с налёту (ну то есть, бегло прочитав описание языка и не врубившись в его философию) перепутать кванторы -- раз плюнуть. Я перепутал (пытаясь описать тип A.a: a -> a). Дисклеймер: в философию я до сих пор так и не врубился, поэтому, как и почему работает правильный вариант, не знаю.

... И долго стояли в раздумье студьозусы Сэпир и Уорф ...

faceted_jacinth August 28 2008, 20:14:57 UTC

Нет, не тьюринг-полные.

Вот правильная версия Y-combinator на шарпе 3.0: http://pastebin.com/f3310959a

Рекурсивность системы типов используется в объявлении
delegate Rec HalfCombinator(HalfCombinator p ( ... )

slobin August 28 2008, 20:31:24 UTC

Тогда я не понимаю, почему обычная со времён Виртовского Паскаля структура, содержащая поле со ссылкой на себя, не является рекурсивным типом. Ладно, ещё подумаю, может, пойму. Про reasoning согласен (и автору Qi ровно про это писал). IDE не люблю в принципе, как класс, но, вероятно, это мои личные трудности. Основная причина: они провоцируют писать код, про который без них reason'ить нельзя вообще никак. А это, в свою очередь, не нравится по двум причинам: (1) техническая: привязка к одной конкретной среде (2) экономическая: невозможно учиться программировать, или быть программистом-любителем, не имея крутой тачки.

... Телепаты и факиры телепают на большие расстояния ...

faceted_jacinth August 28 2008, 20:45:06 UTC

Является, конечно ( ... )

Thread 7