Objective Caml - Пятница, 7 августа 2009

Objective Caml

ocaml@conference.jabber.ru

Пятница, 7 августа 2009< ^ >

f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся!

Конфигурация комнаты

GMT+4
[00:31:54] /O вышел(а) из комнаты: Replaced by new connection
[00:31:58] /O вошёл(а) в комнату
[00:32:21] abiogenesis вышел(а) из комнаты
[02:08:27] /O вышел(а) из комнаты
[05:12:59] sevenov вошёл(а) в комнату
[07:41:23] sceptic вышел(а) из комнаты
[08:17:12] gds вышел(а) из комнаты
[08:23:30] daapp вошёл(а) в комнату
[08:59:04] gds вошёл(а) в комнату
[09:27:33] sevenov вышел(а) из комнаты: Replaced by new connection
[09:27:35] sevenov вошёл(а) в комнату
[10:20:22] Typhon вошёл(а) в комнату
[10:31:20] sceptic вошёл(а) в комнату
[12:31:11] sevenov вышел(а) из комнаты
[12:57:11] sevenov вошёл(а) в комнату
[14:11:02] zfsed вошёл(а) в комнату
[14:23:50] f.p.s. вошёл(а) в комнату
[14:24:02] <f.p.s.> FUCKING-PEOPLE-STOP
jabber-движение объявляет об открытии нового сайта
http://www.jabber-net.ru/
и приглашает Вас защитить свою комнату нашими ботами.
Только мы может оградить Вас от спама, флуда и угонов!
СВОБОДА РАВЕНСТВО УПЯЧКА!!!
Наших ботов можно глянуть в
privet_poka@conference.jabber.ru
мы защищаем от быдла!
Быдло (от польск. bydło — скот, лат. Homo Metazoa, англ. sheeple) — польское расовое ругательство. Быдло (биороботы, быдлоиды, человекостадо, путиноверцы) — наименее разумная и наименее прогрессивная форма жизни в интернетах (и вне интернетов), поэтому являющаяся вечной мишенью кащенитов, ZOG, NHK, ФСБ и подобных структур. В среде быдла цветут различные психические заболевания. Характеризуется низким интеллектом и отсутствием собственной точки зрения. Позднейшие исследователи, несмотря на многочисленные факты, свидетельствующие об обратном, обычно считают быдло обладающим разумом, а не только простейшими инстинктами.
[14:24:04] f.p.s. вышел(а) из комнаты
[14:24:51] <sceptic> дайте его jid что ли
[14:30:16] <gds> так вон же сайт, там и можно присоединиться к движению, если чо.
[14:33:31] <sceptic> забанить его хочу
[14:34:33] <gds> а зачем?.. спам разве что?
у меня показан "f.p.s.@xmpp.ru"
[14:48:12] daapp вышел(а) из комнаты
[16:06:59] zfsed вышел(а) из комнаты
[17:34:47] gds вышел(а) из комнаты
[18:03:40] sceptic вышел(а) из комнаты
[18:07:27] sceptic вошёл(а) в комнату
[18:09:22] Typhon вышел(а) из комнаты
[18:20:09] zfsed вошёл(а) в комнату
[18:21:12] gds вошёл(а) в комнату
[18:46:44] sevenov вышел(а) из комнаты: Replaced by new connection
[18:47:04] sevenov вошёл(а) в комнату
[19:50:06] sevenov вышел(а) из комнаты
[20:58:11] lelf вошёл(а) в комнату
[22:03:08] Spo1ler вошёл(а) в комнату
[22:03:08] zfsed вышел(а) из комнаты
[22:03:20] <Spo1ler> Здрасте...
[22:04:08] zfsed вошёл(а) в комнату
[22:04:36] <Spo1ler> Кто-нибудь может русскими словами объяснить, чем отличается функция, которая объявлена через let, от функции, которая объявлена через let rec?
[22:06:51] <gds> можно. идея такая...
[22:06:57] <sceptic> ну вторая рекурсивная
[22:07:28] <Spo1ler> sceptic: ну я догадываюсь. Но все же ._.
[22:07:40] <Spo1ler> «The only difference between let and let rec is in the scoping of the function name.»
[22:07:43] <Spo1ler> Я нифига не понял
[22:07:44] <sceptic> жди, сейчас gds интересное расскажет
[22:07:47] <Spo1ler> жду
[22:09:47] <gds> значение определённого вида (в том числе и функция) может быть рекурсивным. ссылаться само на себя.
let x () = print_int 1;;
let x () = print 2; x ();; -- тут x () из определения ссылается на предыдущий объявленный x, и "x ()" выдаст "21"
было бы
let rec x () = print 2; x ();; -- тут x ссылался бы на себя, и в результате выводилось бы "2", и конца бы этому не было.
[22:10:25] <Spo1ler> хы...
[22:10:27] <gds> scope -- соответствие имени и значения, если приблизительно. имя "x" соответствует разным значениям.
[22:10:35] <Spo1ler> То есть без rec оно будет вызывать первую в скопе?
[22:10:54] <gds> угу. а если никакого другого "x" не было, было бы undefined value или как-то так.
[22:16:22] <gds> ещё есть стиль написания кода
let x = f 1 in
let x = g x in
let x = h x x in
print x
Код нормально работает только благодаря возможности задать нерекурсивный let. Иногда такой фокус удобен.
[22:58:30] zfsed вышел(а) из комнаты
[23:34:53] zfsed вошёл(а) в комнату
[23:55:02] lelf вышел(а) из комнаты: Replaced by new connection