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

ocaml@conference.jabber.ru

Среда, 21 августа 2013< ^ >

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

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

GMT+4
[00:11:04] ermine вышел(а) из комнаты
[06:27:46] f[x] вошёл(а) в комнату
[07:56:07] avkarpich вошёл(а) в комнату
[09:24:48] komar вошёл(а) в комнату
[09:34:40] ermine вошёл(а) в комнату
[09:57:42] f[x] вышел(а) из комнаты
[10:08:36] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[10:08:43] ForNeVeR вошёл(а) в комнату
[11:03:16] f[x] вошёл(а) в комнату
[11:37:17] Typhon вошёл(а) в комнату
[12:28:03] Kakadu вошёл(а) в комнату
[13:17:27] zinid вошёл(а) в комнату
[14:30:46] Zbroyar вошёл(а) в комнату
[14:51:07] avkarpich вышел(а) из комнаты
[15:13:19] Typhon вышел(а) из комнаты
[15:15:35] Typhon вошёл(а) в комнату
[15:26:54] Typhon вышел(а) из комнаты
[15:27:59] f[x] вышел(а) из комнаты
[15:38:46] Typhon вошёл(а) в комнату
[17:07:33] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[17:07:42] ForNeVeR вошёл(а) в комнату
[17:18:14] <gds> сейчас пишу код, где в основном работа с плавучкой.  Сделал open Ops.Int_as_float; open Ops.Float_as_int.  Удобнее стало.  Только очень необычно видеть что-то вроде "for i = 0 to n -. 1 do ...".
[17:46:35] f[x] вошёл(а) в комнату
[17:49:45] <f[x]> Int_as_float??
[18:49:47] <gds> int operations as float operations.  ( -. ) : int -> int -> int
[18:52:33] <f[x]> ..но зачем?!
[18:55:12] <gds> представь, сделал я ( + ) : float -> float -> float.  Как теперь с целыми работать?  (Pervasives.( - )) n 1?
[18:56:22] <gds> n /* Int.sub */ 1 ?
[18:57:35] <ADEpt> о
[18:57:46] <ADEpt> если умело замаскировать open, можно потроллить коллег
[18:57:51] <ADEpt> какая замечательная идея :)
[18:58:51] <ADEpt> в прошлом году затея с юникодными идентификаторами в haskell имела большой успех, надо попробовать и это тоже :)
[18:59:02] <gds> а что с юникодными было?
[18:59:34] <ADEpt> let a = 11 in let а=12 in print (a,а)
печатает (11,12)
показываешь и справшиваешь - как так?
[19:00:55] <gds> open -- о да, можно переопределить многое.  Жаль, true/false поменять не получилось, максимум
# type bool = true | false;;
type bool = true | false
# true && true;;
Error: This expression has type bool/1044
       but an expression was expected of type bool/5
[19:01:04] <gds> одна из "a" -- не совсем ascii.
[19:01:20] <ADEpt> ага, я ж и говорю - нужно в ghci показывать :)
[19:01:58] <ADEpt> была еще совсем отвязная тема с let map = map in map = map map in map map map (или как-то так), где все map были разными, но я ее точно не воспроизведу
[19:01:58] <gds> а я и не копипастил, интуиция.
[19:02:59] <f[x]> прям как дети малые. https://gist.github.com/aras-p/6224951
[19:06:27] <gds> ещё можно
# let () = print_string "qwe" in ();;
Error: This expression has type unit/6 but an expression was expected of type
         unit/1060
но, ить, камло скучное.  Всегда понятно, откуда копать подобные ошибки.  Негде разгуляться.
[19:06:48] <gds> разве что let ( +. ) a b = a +. b +. Random.float 1e-8
[19:07:17] <gds> ну или не 1e-8, а сколько там нужно, чтобы printf "%f" не показал.
[19:07:28] <ADEpt> да, ссылка знатная
[19:21:50] Kakadu вышел(а) из комнаты
[19:28:27] ermine вышел(а) из комнаты
[19:30:12] ermine вошёл(а) в комнату
[19:30:39] Typhon вышел(а) из комнаты
[19:31:00] ermine вышел(а) из комнаты
[19:33:00] ermine вошёл(а) в комнату
[19:45:07] f[x] вышел(а) из комнаты
[20:41:11] zinid вышел(а) из комнаты
[23:59:10] ermine вышел(а) из комнаты
[23:59:15] ftrvxmtrx вышел(а) из комнаты