Objective Caml - Воскресенье, 27 сентября 2009

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 27 сентября 2009< ^ >

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

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

GMT+4
[00:10:26] ygrek вышел(а) из комнаты
[00:17:42] Typhon вышел(а) из комнаты
[05:28:46] sevenov вышел(а) из комнаты
[05:37:54] sevenov вошёл(а) в комнату
[06:35:59] sevenov вышел(а) из комнаты
[06:36:14] sevenov вошёл(а) в комнату
[06:39:13] sevenov вышел(а) из комнаты
[06:45:13] sevenov вошёл(а) в комнату
[06:49:40] sevenov вышел(а) из комнаты
[06:49:57] sevenov вошёл(а) в комнату
[08:42:20] sceptic вышел(а) из комнаты
[08:45:24] sceptic вошёл(а) в комнату
[10:13:14] ygrek вошёл(а) в комнату
[10:27:11] ygrek вышел(а) из комнаты
[10:33:06] DimitryKakadu вошёл(а) в комнату
[10:38:30] <DimitryKakadu> тут такая фишка
type sequence = { mutable anti: (Lang.fip list); mutable suc : (Lang.fip list) };;
[10:39:07] ygrek вошёл(а) в комнату
[10:39:21] <DimitryKakadu> let proveSeq = { anti = []; suc=[] } in
proveSeq.suc <- (*Что ту надо написать чтобы присвоить новый список я не могу сообразить*)
[10:39:40] <DimitryKakadu> proveSeq.suc <- (List.append proveSeq.suc ( fip :: []))
не работает
[10:40:38] <DimitryKakadu> говорит что после стрелки This expression is not a function, it cannot be applied
[10:42:16] <ygrek> точку с запятой забыл?
[10:44:53] <DimitryKakadu> ага)))
[11:45:24] DimitryKakadu вышел(а) из комнаты
[12:49:52] Typhon вошёл(а) в комнату
[13:45:11] Typhon вышел(а) из комнаты
[14:14:09] animist вошёл(а) в комнату
[14:22:59] <gds> интересно, как бы лучше типизировать лямбда-исчисление -- при встрече лямбда-абстракции присваивать значению тип, который потом уточнять в нижних выражениях (а где не уточняется -- там ошибка), либо наоборот, идти снизу, присваивать значениям типы, которые потом унифицировать, а при ошибке унификации сообщать об ошибке?
[18:01:16] Mr.Grage вошёл(а) в комнату
[18:03:28] Mr.Grage вышел(а) из комнаты
[19:09:43] sevenov вышел(а) из комнаты
[19:09:54] sevenov вошёл(а) в комнату
[20:03:26] animist вышел(а) из комнаты
[22:55:37] animist вошёл(а) в комнату
[23:39:38] sceptic вышел(а) из комнаты