OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Пятница, 29 ноября 2013< ^ >

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

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

GMT+4
[00:11:41] Typhon вошёл(а) в комнату
[00:28:10] Typhon вышел(а) из комнаты
[01:13:34] komar вышел(а) из комнаты: Logged out
[01:32:15] tilarids вышел(а) из комнаты: Machine going to sleep
[01:43:45] Kakadu вышел(а) из комнаты
[02:33:37] irezvov вышел(а) из комнаты: Replaced by new connection
[02:33:39] irezvov вошёл(а) в комнату
[02:39:59] strobegen вышел(а) из комнаты
[02:55:59] klapaucius вышел(а) из комнаты
[03:12:56] tilarids вошёл(а) в комнату
[04:03:33] mrm вошёл(а) в комнату
[06:09:37] dlebedev вошёл(а) в комнату
[06:15:11] strobegen вошёл(а) в комнату
[06:23:19] f[x] вошёл(а) в комнату
[09:54:20] <f[x]> а пчу в камле нет ворнинга "useless coercion"?
[10:01:41] <gds> потому что ошибок от него не бывает?
[10:02:44] f[x] вышел(а) из комнаты
[10:08:48] <gds> lwt vs async: http://lists.ocaml.org/pipermail/wg-parallel/2013-April/000000.html
[10:29:49] <gds> о, в том же треде чувак показал изобретённые им кривые итераты: https://github.com/dbuenzli/nbcodec/blob/master/RATIONALE
[10:50:54] ermine вошёл(а) в комнату
[11:07:57] f[x] вошёл(а) в комнату
[11:09:26] <f[x]> где ты это старьё откопал? :)
[11:09:33] <f[x]> но не видел, почитаем
[11:10:28] <f[x]> вот ещё lwt vs python свежатинка - http://roscidus.com/blog/blog/2013/11/28/asynchronous-python-vs-ocaml/
[11:11:26] <f[x]> gds: ошибок не бывает наверное, но как-то неприятно
[11:11:59] <gds> вот там как раз и откопал, в свежатинке.
[11:12:19] <f[x]> ыы %)
[11:12:40] <f[x]> я задним числом так и подумал что совпадение больно уж подозритеьное
[11:12:54] <gds> f[x]: неприятно знать, что ты писал-писал :>, а оно, сцуко, так и не работает, и пользы никакой не приносит народному хозяйству?
[11:13:13] <f[x]> вот я сейчас это проверяю
[11:13:20] <f[x]> почему не работает?
[11:13:50] <f[x]> private типами различаю несколько типов строк
[11:16:09] <gds> если различаешь (и уверенно различаешь) -- значит coercion не useless.
[11:16:27] mrm вышел(а) из комнаты
[11:19:42] <f[x]> да, это да
[11:19:44] <f[x]> я про другое
[11:19:58] <f[x]> string то в :> string прекрасно кастится
[11:20:13] klapaucius вошёл(а) в комнату
[11:20:20] <f[x]> если у меня поменяется тип где-то - coercion станет бессмысленным, но я этого не замечу
[11:20:33] <f[x]> если бы была явная функция project - то заметил бы
[11:20:38] <f[x]> вот и от этог онуютно
[11:20:44] <f[x]> пока что проблема чисто теоретическая
[11:22:09] <gds> то есть, если подадут не mystring (которое доводится до string), а просто string?
[11:24:43] <f[x]> да
[11:25:23] <f[x]> естественно сочинять s:mystrig:>string неохота
[11:25:31] <f[x]> и показалось логичным иметь такой ворнинг
[11:26:24] <f[x]> ну я уже тогда  явную функцию project дёрну, но всё же, всё же
[11:27:26] <gds> подними вопрос в рассылке, если всё же.
[11:27:51] <gds> хотя хз, пошлют.
[11:28:48] <f[x]> не пошлют, а увековечат в слайдах потом!
[11:30:04] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[11:30:11] ForNeVeR вошёл(а) в комнату
[11:35:24] ForNeVeR вышел(а) из комнаты
[11:35:42] ForNeVeR вошёл(а) в комнату
[11:36:44] <f[x]> полезность для народного хозяйства есть - уже нашёл одну багу и два потенциальных косяка
[11:38:01] <gds> полезность "своих строк"?
[11:38:32] <f[x]> да
[11:38:58] <gds> это прекрасно ожидаемо, если разные сущности пихать в один тип данных.
[11:39:46] <gds> кстати, легко сделать даже целую иерархию типов (с кончиком в string), через фантомные типы с полиморфными вариантами.
[11:41:05] <f[x]> угу, но всегда лень же инжектить туда сюда
[11:42:54] <gds> инжектить надо редко, а если сущность имеет свои операции, то просто в модуль их, внутри будет работа со строками, а наружу будет выходить mystring какой.
А вот прожектить -- это да, подзадалбывает ощутимо.
[11:43:21] <f[x]> всё так
[11:44:48] <gds> в кококо есть implicit coercions, но там и система типов гораздо проще окамловой.  Так что, боюсь, в окамле такого щастя не будет.
[11:45:34] <f[x]> в транке что-то было насчёт этого
[11:45:42] <f[x]> автоматический апкаст или как-то так
[11:48:22] <gds> пц.  Как они могут держать всю камлотипизацию в голове?  Там же реально сложные моменты есть.  А надо всё учесть.
[11:53:24] <f[x]> гг
[11:53:59] <f[x]> я открыл слайды с icfp от JG (про вариантность) и закрыл
[12:02:45] mrm вошёл(а) в комнату
[12:02:54] dlebedev вышел(а) из комнаты: Replaced by new connection
[12:02:55] dlebedev вошёл(а) в комнату
[12:30:49] <gds> даже 7 булевых флагов не впечатлили?
[12:31:38] Typhon вошёл(а) в комнату
[12:39:43] <f[x]> %)
[12:45:28] <gds> кто-нибудь cmdliner мучил?  я что-то криво делаю, наверное, но единственный способ заставить его работать -- из описания аргумента возвратить unit -> unit, а в главной матчащей функции сделать `Ok f -> f ().  В примерах такой хни не было!
[12:47:24] <gds> (у меня там типа-команды, "main kuku -args", "main kvakva -args")
[12:50:55] <f[x]> не щупал
[13:06:17] Kakadu вошёл(а) в комнату
[13:16:01] mrm вышел(а) из комнаты
[13:42:28] Zbroyar вошёл(а) в комнату
[13:54:22] mrm вошёл(а) в комнату
[14:11:30] mrm вышел(а) из комнаты
[14:27:14] Zbroyar вышел(а) из комнаты
[14:38:38] tilarids вышел(а) из комнаты: Machine going to sleep
[14:39:14] Zbroyar вошёл(а) в комнату
[14:47:33] <Zbroyar> gds: по-моему, велосипед проще переизобрести, чем использовать этот паровоз
[14:47:44] <Zbroyar> (я про cmdliner)
[14:48:02] <gds> но у него фичи хороши.
[14:50:58] <Zbroyar> они не стОят того времени, что нужно чтобы разобраться с ним, imho
[14:51:07] tilarids вошёл(а) в комнату
[14:55:35] dlebedev вышел(а) из комнаты
[15:15:24] komar вошёл(а) в комнату
[15:21:48] Zbroyar вышел(а) из комнаты
[15:30:42] tilarids вышел(а) из комнаты: Machine going to sleep
[15:37:12] f[x] вышел(а) из комнаты
[15:59:13] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[15:59:20] ForNeVeR вошёл(а) в комнату
[16:02:31] mrm вошёл(а) в комнату
[16:09:05] f[x] вошёл(а) в комнату
[16:24:43] f[x] вышел(а) из комнаты
[16:30:16] Zbroyar вошёл(а) в комнату
[16:30:51] Zbroyar вышел(а) из комнаты
[17:30:00] ForNeVeR вышел(а) из комнаты: Unhandled exception at 0x00000000.
[18:25:53] mrm вышел(а) из комнаты
[19:02:23] f[x] вошёл(а) в комнату
[19:03:18] f[x] вышел(а) из комнаты
[19:03:39] f[x] вошёл(а) в комнату
[19:29:56] mrm вошёл(а) в комнату
[19:38:07] ForNeVeR вошёл(а) в комнату
[19:53:47] f[x] вышел(а) из комнаты
[20:45:14] mrm вышел(а) из комнаты
[20:59:24] Kakadu вышел(а) из комнаты
[21:19:39] tilarids вошёл(а) в комнату
[22:06:26] Kakadu вошёл(а) в комнату
[22:09:47] Kakadu вышел(а) из комнаты
[22:30:49] Kakadu вошёл(а) в комнату
[22:41:42] Typhon вышел(а) из комнаты
[22:56:00] komar вышел(а) из комнаты: Replaced by new connection
[22:56:00] komar вошёл(а) в комнату
[23:50:39] ermine вышел(а) из комнаты