avva: (Default)
[personal profile] avva
1. По дороге к Киннерету мы заехали на несколько часов в Назарет. Поднялись на вершину холма, на котором стоит старый город, по лабиринту узеньких улочек и лестниц, которым, казалось, не будет конца. Вид оттуда замечательный, а на самой вершине стоит иеэуитская школа с изящной церквушкой. В арабской забегаловке я заказал блюдо под названием сунние (если правильно услышал), которое готовится так: большой плоский шмат индюшатины кладут в жестяную миску и полностью заливают тхиной, ставят это в печку и держат до того, как тхина закипит (а может, и после, не знаю). Посыпают укропом, немного молотого красного перца, ещё какие-то приправы, и подают. Вкусно, необычный терпкий (не острый) вкус пропитавшегося тхиной мяса.

2. В небольших деревянных домиках в мошаве над озером Киннерет (близ Тверии) хорошо и приятно заниматься правильными делами, читать хорошие книги, гулять и смотреть на удивительно монохроматичных пятнистых коров.

3. Из увиденного хорошего во френдленте за последние дни (лень писать отдельную запись об этом):

Один хороший юзер дает ссылку на электронную версию очень хорошей книги Палажченко "Мой несистематический словарь", вместе с новой его книгой "Несистематический словарь-2005". Обязательное чтение для всех, кто занимается переводами с английского или на английский, но и просто тем, кто любит и знает английский язык, или интересуется проблемами перевода, очень и очень советую, там много интереснейших советов, замечаний и наблюдений.

Города Подмосковья: фотосерии юэера [livejournal.com profile] zabyg17. За ссылку спасибо [livejournal.com profile] bbb.

4. (это - программистское) Ещё я теперь понимаю, что такое монады в Хаскеле и как они работают, и это прекрасно.

Date: 2006-02-22 08:33 pm (UTC)
From: [identity profile] dimrub.livejournal.com
Ещё я теперь понимаю, что такое монады в Хаскеле и как они работают, и это прекрасно.

Как я тебя понимаю! Лучше, чем монады :). Ну, то есть, вроде я их тоже понял, но пока сам не написал чего-то такого монадистого, полной уверенности нет. Кстати, что именно привело к просветлению?

Date: 2006-02-22 10:48 pm (UTC)
From: [identity profile] avva.livejournal.com
I read the paper linked to from here: http://lambda-the-ultimate.org/node/1183

Admittedly, this probably isn't a universally useful way to grok monads. It provides a very short category theory tutorial building up to what a monad is from a category-theoretical point of view. This was incredibly useful to me, because I'm familiar with the basics and could follow the tutorial quickly, but someone who doesn't know categories at all might get bogged down in details or just not follow the point.

The dry mathematical stuff is then followed by a very nice demonstration of a "fake" IO monad written up from scratch, which lets you see what do-notation "really does", and how the state of the world is stored in the monad and passed around. At that point I experienced the light-bulb-above-my-head sensation and things started sorting themselves out, rapidly. I won't claim I really understand it all until I write something nontrivial myself, but hopefully that'll follow pretty soon.

Date: 2006-02-24 01:47 pm (UTC)
From: [identity profile] dimrub.livejournal.com
Nice, I've started reading it. I think I do understand the thing about "how the state of the world is stored in the monad": it's not that different (conceptually) from continuations, but what I lack is understanding of motivation behind the monad laws.

Date: 2006-02-22 08:40 pm (UTC)
From: [identity profile] iliat.livejournal.com
Ещё я теперь понимаю, что такое монады в Хаскеле и как они работают, и это прекрасно.
Как я тебе завидую! Надо мне все-таки наити время и вернуться к Haskellу

Rapidshare сосет большое время

Date: 2006-02-22 09:01 pm (UTC)
From: [identity profile] temcat.livejournal.com
А нет ли другого сервера для отправки файлов? Вроде yousendit.com, только чтобы можно было отправлять неограниченному кругу людей. А то Rapidshare - это какой-то геморрой: сначала выбери "фри" или "премиум", потом, коли ты выбрал "фри", тебя без всякой нужды заставляют ждать (чтоб знал свое место, халявщик), потом еще выбери зеркало, потом введи каптчу...

Date: 2006-02-22 09:27 pm (UTC)
From: [identity profile] moon-aka-sun.livejournal.com
Прям хочется всё бросить и пойти узнать, что же такое монады в Хаскеле.

Date: 2006-02-22 11:59 pm (UTC)
From: [identity profile] gava.livejournal.com
-- монохроматичных пятнистых коров

Анатолий, вы ведь имели в виду чёрно-белых коров, правда? Расскажите, пожалуйста, как-нибудь юзеру [livejournal.com profile] shufel, что употребление слова "монохроматичный" в этом случае - не криминал. А то он мне регулярно расказывает, что "монохроматичный" может относиться только к волнам одинаковой длины. Т.е., например, небезызвестного Голубого Щенка можно назвать монохроматичным. А чёрную, белую или чёрно-белую корову - нет.

Date: 2006-02-23 11:29 am (UTC)
From: [identity profile] dimrub.livejournal.com
Да, Слава, черно-белый телевизор - тоже цветной :).

Date: 2006-02-26 10:59 am (UTC)
From: [identity profile] ohw.livejournal.com
корова, скорее всего, монохромная

Date: 2006-02-23 02:15 pm (UTC)
From: [identity profile] wildernesscat.livejournal.com
Я думал что синИя это перемолотое мясо под тхиной. Так во всяком случае её делали в Йокнеаме, когда я там работал :)

Date: 2006-02-23 03:18 pm (UTC)
From: (Anonymous)
Thanks very much for the Палажченко -- what a great resource!

--languagehat

CHM files

Date: 2006-02-26 02:46 pm (UTC)
From: [identity profile] ex-bulatych796.livejournal.com
Если кто-то не на Windows, и не может открыть Палажченко, на этой странице есть помощь: Windows' Compiled HTML Help (CHM) Format (http://htmlhelp.berlios.de/formats/chm.php).

Date: 2006-02-28 05:37 am (UTC)
From: [identity profile] e-d.livejournal.com
Толя,

Пока я собирался, файл (с книжкой) стёрли. Не мог бы ты мне его на мыло послать?

yona @ geos.gsi.gov.il

Спасибо заранее :-)

December 2025

S M T W T F S
  123 4 56
78 9 10 11 1213
1415 1617181920
21 22 23 24 2526 27
28293031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Dec. 29th, 2025 08:42 am
Powered by Dreamwidth Studios