Objective Caml - Понедельник, 5 апреля 2010

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 5 апреля 2010< ^ >

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

Участники комнаты

GMT+4
[00:01:41] lelf вошёл(а) в комнату
[00:17:49] olegfink вышел(а) из комнаты
[00:17:50] olegfink вошёл(а) в комнату
[00:38:51] Typhon вошёл(а) в комнату
[01:03:16] serp256 вышел(а) из комнаты
[01:56:14] ermine вышел(а) из комнаты
[02:45:43] Typhon вышел(а) из комнаты
[02:46:41] ygrek вышел(а) из комнаты
[03:12:59] lelf вышел(а) из комнаты
[07:14:42] ermine вошёл(а) в комнату
[08:14:08] iNode вышел(а) из комнаты
[08:41:33] iNode вошёл(а) в комнату
[10:13:40] serp256 вошёл(а) в комнату
[10:15:09] serp256 вышел(а) из комнаты
[10:17:34] serp256 вошёл(а) в комнату
[11:07:03] ygrek вошёл(а) в комнату
[11:14:36] gds вышел(а) из комнаты
[11:14:55] gds вошёл(а) в комнату
[11:19:55] valexey_ вошёл(а) в комнату
[11:24:42] Mon вышел(а) из комнаты: Replaced by new connection
[11:24:43] Mon вошёл(а) в комнату
[12:07:34] sceptic вышел(а) из комнаты
[13:50:33] Kakadu вошёл(а) в комнату
[13:58:16] iNode вышел(а) из комнаты
[14:00:28] iNode вошёл(а) в комнату
[15:02:18] <Kakadu> let (|Odd|Even|) = function
  | x when x % 2 = 0 -> Even
  | _ -> Odd
match 10 with
| Odd -> «o-O»
| Even -> ":)"
[15:02:40] <Kakadu> А в камле можно сделать Active Patterns как в Фэ#
[15:02:42] <Kakadu> ?
[15:06:13] <ygrek> из коробки - нет
[15:06:35] <valexey_> кстати, вроде вышла спека фшарп 2.0
[15:08:55] <Kakadu> а не из коробки это какие-нибудь батарейки?
[15:12:25] <ygrek> нет, это самодельные костыли на camlp4
[15:12:38] <ygrek> частный пример - mikmatch
[16:20:31] Typhon вошёл(а) в комнату
[17:02:36] iNode вышел(а) из комнаты
[18:12:33] <gds> ох, и долго же я тупил, но таки сделал типизацию для языка своей говноразметки.  По крайней мере, такие примеры типизирует правильно:
\x.\y.\z.(x z (y z)) : ('a -> 'b -> 'c) -> ('a -> 'b) -> 'a -> 'c
\u.\q.\x.\y.(u (q x) (q y)) : ('a -> 'a -> 'b) -> ('c -> 'a) -> 'c -> 'c -> 'b
[18:47:55] iNode вошёл(а) в комнату
[19:07:43] valexey_ вышел(а) из комнаты
[19:39:31] sceptic вошёл(а) в комнату
[19:47:53] serp256 вышел(а) из комнаты
[20:27:28] Kakadu вышел(а) из комнаты
[20:37:14] digital_curse вошёл(а) в комнату
[20:53:02] Typhon вышел(а) из комнаты
[22:14:02] Typhon вошёл(а) в комнату
[22:17:26] ygrek вышел(а) из комнаты
[22:17:27] ygrek вошёл(а) в комнату
[23:44:49] Kakadu вошёл(а) в комнату
[23:56:25] <ygrek> а почему (=) сначала не проверяет на (==) ?
[23:59:51] <Kakadu> ктонить напомните где написана ссылка на вики что gds поддерживает