Objective Caml - Четверг, 18 октября 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 18 октября 2012< ^ >

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

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

GMT+4
[00:40:51] Typhon вошёл(а) в комнату
[00:49:20] UncleVasya вышел(а) из комнаты
[00:49:20] UncleVasya вышел(а) из комнаты
[00:51:40] Sun][ вышел(а) из комнаты
[01:00:10] komar вышел(а) из комнаты: Logged out
[01:10:24] f[x] вошёл(а) в комнату
[01:36:48] f[x] вышел(а) из комнаты
[01:54:32] Kakadu вышел(а) из комнаты
[02:03:45] komar вошёл(а) в комнату
[09:17:15] dzhon вошёл(а) в комнату
[10:04:10] ermine вошёл(а) в комнату
[10:43:42] Sun][ вошёл(а) в комнату
[11:44:44] Kakadu вошёл(а) в комнату
[12:10:03] ftrvxmtrx вышел(а) из комнаты
[12:54:32] ftrvxmtrx вошёл(а) в комнату
[13:09:06] tilarids вышел(а) из комнаты: Computer went to sleep
[13:27:17] <f[x]> q
[13:29:45] <Kakadu> А?
[13:31:42] tilarids вошёл(а) в комнату
[13:41:31] ftrvxmtrx вышел(а) из комнаты
[14:23:40] ftrvxmtrx вошёл(а) в комнату
[14:33:06] Typhon вышел(а) из комнаты
[15:00:04] <komar> # let f ?x = match x with None -> () | Some s -> print_endline s;;
Warning X: this optional argument cannot be erased.
val f : ?x:string -> unit = <fun>
# let do_smth func () = func ~x:"hello world" ();;
val do_smth : (x:string -> unit -> 'a) -> unit -> 'a = <fun>
# do_smth f ();;
Error: This expression has type ?x:string -> unit
       but an expression was expected of type x:string -> unit -> 'a
[15:00:07] komar обиделся на мир и ушел плакать.
[15:00:42] <komar> Ох блин, в let f ?x забыл ()
[15:01:33] <komar> Но суть та же.
[15:03:14] <komar> let do_smth func () = func ?x:(Some "hello world") () — работает, а
let do_smth func () = func ~x:"hello world" () — нет.
[15:15:40] <f[x]> x:string и ?x:string разные вещи же
[15:15:56] <f[x]> ?x это sugar для x:(string option)
[15:16:40] <komar> Угу.
[15:16:57] <f[x]> пропиши явно тип для func
[15:17:02] <komar> Прописал.
[15:17:04] <komar> Заработало.
[15:17:07] <f[x]> а
[15:17:08] <f[x]> ну вот
[15:17:12] <f[x]> благодать
[15:17:16] <komar> Ну некрасиво же! :(
[15:17:47] <f[x]> норм имхо, без подсказок компилер сделал максимум что мог
[15:33:01] letrec вошёл(а) в комнату
[15:42:16] <Kakadu> а num.o должен лежать в /usr/lib/ocaml ?
[15:44:02] <f[x]> нет
[15:44:06] <f[x]> nums.a должен быть
[15:44:25] <f[x]> в нём есть num.o
[15:54:08] <gds> оффтопик, вопрос.
Есть знакомый, сишник-плюсовик-ембедщик, но не суть важно, ибо обучается.  Хочет работу.  За полную занятость хочет 2..3 килобакса в месяц, за неполную -- пропорционально меньше.  В идеале -- удалёнка (можно за чуть меньшую сумму, ибо дорога съедает время+деньги), иначе -- питер, в худшем случае -- другой город.  Если в режиме обучения+практики -- минимум 0.7..1.0 килобаксов в месяц.
Почему спрашиваю тут -- было бы хорошо, если бы какую-нибудь функциональщину подкинули.  Камло -- в идеале, остальное -- допустимо.  Ну и против вебни всякой не имеет ничего, тут люди это делают, как я знаю.  В идеале (ему, но не карме) -- сишечька, плюсеки, ембедщина.
[15:56:20] Typhon вошёл(а) в комнату
[15:59:37] tilarids вышел(а) из комнаты: Computer went to sleep
[16:58:56] tilarids вошёл(а) в комнату
[17:02:28] Vinzent вошёл(а) в комнату
[17:49:19] Sun][ вышел(а) из комнаты
[18:02:25] klapaucius вышел(а) из комнаты
[18:41:26] Kakadu вышел(а) из комнаты
[18:46:54] tilarids вышел(а) из комнаты: Computer went to sleep
[19:22:23] Vinzent вышел(а) из комнаты
[19:22:43] Sun][ вошёл(а) в комнату
[19:39:58] letrec вышел(а) из комнаты
[19:46:17] Kakadu вошёл(а) в комнату
[19:57:02] Sun][ вышел(а) из комнаты: Replaced by new connection
[19:57:02] Sun][ вошёл(а) в комнату
[19:57:16] dzhon вышел(а) из комнаты
[20:24:26] Typhon вышел(а) из комнаты
[20:28:37] dima_777 вошёл(а) в комнату
[20:28:52] dima_777 вышел(а) из комнаты: Квипинфинумбеспокойноеобщение... ой лучше уж: http://lubov-realna.org
[20:38:07] ftrvxmtrx вышел(а) из комнаты
[20:52:27] klapaucius вошёл(а) в комнату
[21:13:37] dzhon вошёл(а) в комнату
[21:59:01] komar вышел(а) из комнаты
[21:59:07] komar вошёл(а) в комнату
[23:52:45] f[x] вошёл(а) в комнату