ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
<dmbaturin> Algebr: Substantial part of Unix works on windows too.
<dmbaturin> Also, I think it would be nice if it was easier to build GUI apps. ;)
<Algebr> it seems that only lablgtk is a maintained gui toolkit for ocaml.
waneck has joined #ocaml
<Algebr> what does the prefix labl mean
<dmbaturin> There once was a fork called lablcaml or something like that, where labeled argument support was added. Maybe lablgtk was originally written for it, before it was merged into mainline.
jeffmo has quit [Read error: Connection reset by peer]
<Algebr> lots of packages have labl though,
<dmbaturin> Drup: Yesterday someone asked if it's possible to get the peer address when using Lwt_io.establish server? Looks like not, or I'm missing something?
ollehar has quit [Read error: Connection reset by peer]
dubosec has joined #ocaml
Algebr has quit [Ping timeout: 244 seconds]
ollehar has joined #ocaml
<Drup> dmbaturin: no idea
tnguyen has joined #ocaml
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
tmtwd_ has joined #ocaml
mcclurmc_ has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
pyon has joined #ocaml
emanuelz has joined #ocaml
gabemc has joined #ocaml
emanuelz has quit [Quit: emanuelz]
labichn has joined #ocaml
jonludlam has quit [Ping timeout: 252 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
Algebr has joined #ocaml
capt_redbeard has joined #ocaml
<capt_redbeard> Hello! I am just learning OCaml, and I wanted to use the ExtLib library. I installed it via OPAM, but I am still not able to open the Std module. I get “Error: Unbound module Std” There is also quite a lack of documentation, so I am not sure the best place to go for help. Also, running on Mac OSX.
BitPuffin|osx has joined #ocaml
<dmbaturin> capt_redbeard: Did you #require the library (if in the REPL) or link it (in the code)?
<capt_redbeard> dmbaturin: I probably did not link it. Is that a flag I pass to ocamlc?
tmtwd_ has quit [Ping timeout: 250 seconds]
<dmbaturin> capt_redbeard: The easiest way is to use findlib. ocamlfind ocamlc -package <package name> -linkpkg -o prog prog.ml
<capt_redbeard> Wow that worked perfect. Thank you! Is that in the documentation anywhere? If not, it hsould be
<capt_redbeard> dmbaturin: Perfect, Thanks so much!
_whitelogger has joined #ocaml
sh0t has quit [Ping timeout: 256 seconds]
pyon is now known as lptm
darkf has joined #ocaml
fyolnish has joined #ocaml
walter|r has joined #ocaml
struk|desk2 has joined #ocaml
struk|desk has quit [Ping timeout: 265 seconds]
walter|r has quit [Ping timeout: 265 seconds]
Algebr has quit [Ping timeout: 276 seconds]
manizzle has quit [Ping timeout: 264 seconds]
yomimono has quit [Ping timeout: 276 seconds]
mearnsh has quit [Ping timeout: 272 seconds]
mearnsh has joined #ocaml
walter|r has joined #ocaml
copycat has quit [Ping timeout: 245 seconds]
copycat has joined #ocaml
manizzle has joined #ocaml
psy_ has joined #ocaml
walter|r_ has joined #ocaml
walter|r has quit [Read error: Connection reset by peer]
idegen has quit [Quit: Leaving.]
emanuelz has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
tmtwd_ has joined #ocaml
swgillespie has joined #ocaml
swgillespie has quit [Max SendQ exceeded]
jabesed has quit [Ping timeout: 256 seconds]
swgillespie has joined #ocaml
walter|r_ has quit [Remote host closed the connection]
emanuelz has quit [Read error: Connection reset by peer]
emanuelz has joined #ocaml
psy_ has quit [Ping timeout: 264 seconds]
copycat has quit [Quit: copycat]
copycat has joined #ocaml
labichn has quit [Quit: Page closed]
copycat has quit [Ping timeout: 246 seconds]
dtscode is now known as SovietUnion
SovietUnion is now known as dtscode
copycat has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 256 seconds]
gabemc has quit [Ping timeout: 252 seconds]
Bhavya has joined #ocaml
waneck has quit [Remote host closed the connection]
Submarine has joined #ocaml
dtscode is now known as agent_dtscode
ygrek has joined #ocaml
matason has joined #ocaml
Submarine has quit [Ping timeout: 245 seconds]
sh0t has joined #ocaml
monoprotic has quit [Ping timeout: 272 seconds]
copycat has quit [Ping timeout: 252 seconds]
copycat has joined #ocaml
johnf-- has joined #ocaml
copycat1 has joined #ocaml
copycat has quit [Ping timeout: 252 seconds]
matason has quit [Max SendQ exceeded]
mcclurmc has joined #ocaml
matason has joined #ocaml
mcclurmc_ has quit [Ping timeout: 264 seconds]
tmtwd_ has quit [Quit: Leaving]
sh0t has quit [Quit: Leaving]
matason has quit []
copycat1 has quit [Quit: copycat1]
copycat has joined #ocaml
tmtwd has joined #ocaml
Cyanure has joined #ocaml
keen__________ has quit [Read error: Connection reset by peer]
keen__________ has joined #ocaml
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
copycat1 has joined #ocaml
copycat has quit [Ping timeout: 252 seconds]
wwilly has joined #ocaml
badon has joined #ocaml
Simn has joined #ocaml
johnf-- has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 244 seconds]
matason has joined #ocaml
matason has quit []
Haudegen has joined #ocaml
matason has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
srenatus has joined #ocaml
tmtwd has quit [Quit: Leaving]
yomimono has joined #ocaml
Denommus has joined #ocaml
darkf has quit [Ping timeout: 256 seconds]
lptm has quit [Read error: Connection reset by peer]
pyon has joined #ocaml
zpe has joined #ocaml
maufred has quit [Ping timeout: 250 seconds]
pleiosaur has quit [Remote host closed the connection]
pyon has quit [Quit: I have irrefutable proof that D < 0. It follows trivially from 2D > 3D, which is obviously true.]
pyon has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
maufred has joined #ocaml
pleiosaur has joined #ocaml
darkf has joined #ocaml
badon has quit [Ping timeout: 272 seconds]
nullcat_ has joined #ocaml
maufred_ has joined #ocaml
copycat1 has quit [Ping timeout: 246 seconds]
maufred has quit [Ping timeout: 252 seconds]
copycat has joined #ocaml
octachron has joined #ocaml
kushal has joined #ocaml
Gama11 has joined #ocaml
copycat has quit [Quit: copycat]
copycat has joined #ocaml
thomasga1 has joined #ocaml
yomimono has quit [Ping timeout: 276 seconds]
larhat has left #ocaml [#ocaml]
larhat has joined #ocaml
xpad has quit [Ping timeout: 246 seconds]
cml has quit [Ping timeout: 246 seconds]
amnn has joined #ocaml
amnn has quit [Client Quit]
Bhavya has quit [Ping timeout: 265 seconds]
amnn has joined #ocaml
sepp2k has joined #ocaml
dsheets has quit [Ping timeout: 265 seconds]
emanuelz has quit [Quit: emanuelz]
copycat1 has joined #ocaml
Bhavya has joined #ocaml
copycat has quit [Ping timeout: 256 seconds]
hay207 has joined #ocaml
scythe- has quit [Ping timeout: 276 seconds]
whirm has joined #ocaml
manizzle has quit [Ping timeout: 252 seconds]
siddharthv_away is now known as siddharthv
scythe- has joined #ocaml
thomasga1 has quit [Quit: Leaving.]
jonludlam has joined #ocaml
dsheets has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Client Quit]
ygrek has quit [Ping timeout: 255 seconds]
yomimono has joined #ocaml
Cyanure has quit [Read error: Connection reset by peer]
wwilly has left #ocaml ["Leaving"]
Bhavya has quit [Ping timeout: 250 seconds]
lordkryss has joined #ocaml
thomasga has joined #ocaml
Cyanure has joined #ocaml
Haudegen has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
rand000 has joined #ocaml
Gama11_ has joined #ocaml
Gama11 has quit [Ping timeout: 256 seconds]
Gama11 has joined #ocaml
tashjash has joined #ocaml
Gama11_ has quit [Ping timeout: 252 seconds]
tashjash has quit [Client Quit]
qlai has joined #ocaml
Kakadu has joined #ocaml
Gama11 has quit [Read error: Connection reset by peer]
copycat1 has quit [Quit: copycat1]
BitPuffin|osx has joined #ocaml
ggole has joined #ocaml
walter|r has joined #ocaml
kushal has quit [Quit: Leaving]
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
siddharthv is now known as siddharthv_away
walter|r has quit [Remote host closed the connection]
walter|r has joined #ocaml
walter|r has quit [Ping timeout: 250 seconds]
kushal has joined #ocaml
walter|r has joined #ocaml
_andre has joined #ocaml
mengu has joined #ocaml
kushal has quit [Remote host closed the connection]
<vbmithr> hi
<vbmithr> sometimes utop returns Error: Parse error: illegal begin of top_phrase
<vbmithr> when I #require "some_package"
<vbmithr> ever seen this kind of error with utop ?
Denommus has quit [Read error: Connection reset by peer]
zpe has quit [Remote host closed the connection]
<asmanur> vbmithr: did you use topfind ?
<asmanur> oh, perhaps utop comes with that builtin
<vbmithr> asmanur: topfind works Ok.
<vbmithr> it happens only in utop
<vbmithr> It happens mostly on subpackages when I load them directly
<vbmithr> #require "websocket";; #require "websocket.lwt" is OK but not #require "websocket.lwt"
<flux> I think if you write it that way, the stuff after ;; is discarded..
yomimono has quit [Ping timeout: 246 seconds]
luzie has quit [Quit: WeeChat 1.3-dev]
luzie has joined #ocaml
BitPuffin|osx has quit [Remote host closed the connection]
<flux> maybe Re could support Levenshtein at some point in the future? http://julesjacobs.github.io/2015/06/17/disqus-levenshtein-simple-and-fast.html
rbocquet has quit [Read error: No route to host]
BitPuffin|osx has joined #ocaml
luzie has quit [Client Quit]
<flux> though there are already two levenshtein-packages in opam
luzie has joined #ocaml
rbocquet has joined #ocaml
walter|r has quit [Remote host closed the connection]
<companion_cube> you mean, matching regex with some tolerance to errors? ouch
<flux> well, no, just using the same state machine engine with levensthein-recognizers of some certain maximum value
<companion_cube> that's what I said, the idea is to match modulo error?
<flux> yes, but I don't think it would work for regular expressions
<flux> but only for exact strings + some error
<flux> I cannot directly disregard that it might be possible for regular expressions as well, but I doubt it :)
<companion_cube> http://blog.notdot.net/2010/07/Damn-Cool-Algorithms-Levenshtein-Automata I found this useful for Levenshtein automata
<companion_cube> man, this regression on ppx_deriving is annoying
<flux> ?
<companion_cube> 4.02.2 breaks ppx_deriving
<flux> oh
<flux> well I suppose I won't be updating then :)
<companion_cube> or rather, it breaks the annotations that allow to tune ppx_deriving's behavior
<flux> so 4.02.2 is the one breaking in a way that needs to be fixed in the compiler?
<flux> it sounds like it could be a nice idea to actually try out the rc's before the actual release comes 8-)
<flux> but, off to home
<flux> long weekend ahead!
<companion_cube> well, I did try some stuff, but apparently not my programs that use ppx_deriving
<companion_cube> hmmm OWS doesn't list ppx_deriving
idegen has joined #ocaml
jefus has joined #ocaml
<maufred_> Hi folks, I'm requesting your help.
<maufred_> I'm having trouble getting the last update of ocaml-redis works again in my code (https://github.com/0xffea).
<maufred_> Before the refactoring module work, I had a function that returns "string option Redis_sync.IO.t" and after the update it returns "string option Redis.Redis_sync.Client.IO.t".
<maufred_> Then in my code I get this error message : This pattern matches values of type 'a option but a pattern was expected which matches values of type string option Redis.Redis_sync.Client.IO.t = string option Redis.Redis_sync.IO.t
<maufred_> Does anyone have an idea ?
sepp2k has quit [Quit: Leaving.]
<octachron> maufred_: it sounds strange that you are matching an option over a IO.t. Shouldn't you bind or run your IO action first?
<maufred_> octachron: hm, I'm sorry I don't understand
<octachron> I don't know ocaml-redis api, but from the type signature IO.t looks like an encapsulated IO result
<companion_cube> maufred_: you have a foo option IO.t, but you match again Some _ | None
<maufred_> I put the smallest example I have here : http://pastebin.com/Rwt4F520
<octachron> So, you should first extract your result from the io encapsulation
<maufred_> OK !
<companion_cube> no, wait: it's because on the one hand you have Redis.Redis_sync.IO.t, and on the other one, Redis.Redis_sync.Client.IO.t
<companion_cube> and the typer cannot infer that both types are equal
<companion_cube> ( I don't even know if those types are equal)
<octachron> doesn't this line "which matches values of type string option Redis.Redis_sync.Client.IO.t = string option Redis.Redis_sync.IO.t" indicate that they are equal?
Denommus has joined #ocaml
<maufred_> OK, so before I update the lib, this was working, after the IO work of the lib and my upgrade it is not. I supposed the type is unchanged so I need to tell the types are equal ?
<octachron> ok, it looks like there was an abstraction leaks in earlier version. Try to add a "Redis_sync.IO.run" to extract your option from IO.t
ceryo has joined #ocaml
<maufred_> octachron: OK I'm doing it now and keeps you up to date ! Thx
monoprotic has joined #ocaml
monoprotic has quit [Changing host]
monoprotic has joined #ocaml
beginnger has joined #ocaml
jeroldhaas has quit [Quit: Leaving]
<maufred_> octachron companion_cube : thx to both of you. After "Redis_sync.IO.run" the error disapeared !
<maufred_> thx very much !
<beginnger> is there a performance penalty when using classes?
<companion_cube> beginnger: hmmmm, there is a small cost for method call
<companion_cube> octachron: oh btw, your orec thing is pretty twisted
<beginnger> companion_cube: and besides that, any downsides with classes?
<companion_cube> mostly two: 1/ type errors are tough 2/ few people use the object part of OCaml
<ggole> You can get a long way without using objects at all
rwmjones has quit [Ping timeout: 252 seconds]
nullcat_ has quit [Quit: gone...]
maufred_ has quit [Ping timeout: 255 seconds]
<beginnger> modules is generally the prefered way, but are there cases where classes facilitate a case?
maufred has joined #ocaml
<octachron> companion_cube: Thanks.? It was quite fun to write (and it worked quite well with my specific use case)
<companion_cube> beginnger: if you need dynamic dispatch and inheritance, or open recursion, yes
<companion_cube> most of the time it's not very useful
rwmjones has joined #ocaml
bezirg has joined #ocaml
<beginnger> companion_cube: isnt it possible to recreate inheritance with a functor?
<companion_cube> maybe, I have no idea
<companion_cube> I rarely need inheritance
Kakadu has quit [Ping timeout: 246 seconds]
lupine has quit [Max SendQ exceeded]
<dsheets> beginnger, sort of, you only get shadowing, though, not dynamic binding/open recursion
lupine has joined #ocaml
sspi has joined #ocaml
lupine has quit [Ping timeout: 256 seconds]
kushal has joined #ocaml
<beginnger> dsheets> is dynamic binding the reason for slower execution?
<dsheets> beginnger, yes, method calls are indirected
tjscanlon has joined #ocaml
shinnya has joined #ocaml
beginnger has quit [Quit: Page closed]
yomimono has joined #ocaml
yomimono has quit [Ping timeout: 255 seconds]
slash^ has joined #ocaml
Denommus has quit [Ping timeout: 265 seconds]
mengu has quit []
yomimono has joined #ocaml
bezirg has left #ocaml [#ocaml]
BitPuffin has joined #ocaml
jonludlam has quit [Ping timeout: 264 seconds]
whirm has quit [Quit: WeeChat 1.2]
jonludlam has joined #ocaml
ollehar1 has joined #ocaml
obadz has joined #ocaml
walter|r has joined #ocaml
walter|r has quit [Remote host closed the connection]
ollehar1 has quit [Ping timeout: 244 seconds]
walter|r has joined #ocaml
walter|r has quit [Ping timeout: 264 seconds]
darkf has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
yomimono has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
freling has joined #ocaml
Gama11 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
dubosec has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
MrScout has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
dubosec has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
hay207 has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
jonludlam has quit [Ping timeout: 264 seconds]
systmkor has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
dbohdan has quit [Ping timeout: 244 seconds]
qlai has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
octachron has quit [Quit: Leaving]
dbohdan has joined #ocaml
dsheets has quit [Ping timeout: 264 seconds]
jonludlam has joined #ocaml
agarwal1975 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
jwatzman|work has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
tane has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
jonludlam has quit [Ping timeout: 264 seconds]
gabemc has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
thomasga has quit [Quit: Leaving.]
MercurialAlchemi has joined #ocaml
Anarchos has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
freling has quit [Quit: Leaving.]
kushal has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
kdas_ has joined #ocaml
kdas_ has quit [Read error: Connection reset by peer]
kushal has joined #ocaml
rand000 has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
hay207 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
Denommus has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
srenatus has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has joined #ocaml
tmtwd has joined #ocaml
BitPuffin has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
zpe has joined #ocaml
tjscanlon has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has quit [Ping timeout: 264 seconds]
tjscanlon has joined #ocaml
<Denommus> :D
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
emanuelz has joined #ocaml
djellemah has quit [Quit: Leaving]
psy_ has joined #ocaml
<cmtptr> let's just make a universal bytecode for all languages and platforms already
<cmtptr> isn't that what llvm was supposed to be?
MercurialAlchemi has quit [Ping timeout: 264 seconds]
<ggole> No
<nicoo> cmtptr: Nope
<cmtptr> oh
<ia0> llvm is not a bytecode from what I know
<cmtptr> it's not now
<ggole> LLVM IR is just a compiler IR
<cmtptr> didn't it start out as a vm though?
MercurialAlchemi has joined #ocaml
<ggole> It's not a VM or abstraction layer or anything like that
<ggole> As for a universal IR, that's an ancient idea that never worked out.
<flux> LLVM IR is more close to bytecode than WASM, which is an AST
<Anarchos> Denommus the problem is that source code of pages will now be hidden, as they tried at the beginning of the internet, to monetize the creation of pages.
rand000 has joined #ocaml
Denommus` has joined #ocaml
<flux> no more hidden than obfuscated javascript?
<tane> at least one can still block spam :)
Denommus has quit [Ping timeout: 265 seconds]
Denommus` is now known as Denommus
MercurialAlchemi has quit [Ping timeout: 272 seconds]
zpe has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
slash^ has left #ocaml [#ocaml]
MercurialAlchemi has joined #ocaml
slash^ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
ygrek has joined #ocaml
swgillespie has joined #ocaml
freling has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
freling has quit [Read error: Connection reset by peer]
freling has joined #ocaml
MercurialAlchemi has joined #ocaml
matason has quit []
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
Hannibal_Smith has joined #ocaml
rgrinberg has joined #ocaml
ggole has quit []
MercurialAlchemi has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
kdas_ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
jwatzman|work has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
kushal has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
jwatzman|work has quit [Client Quit]
jwatzman|work has joined #ocaml
gabemc has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
matason has joined #ocaml
Haudegen has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 246 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
MercurialAlchemi has joined #ocaml
Stany has joined #ocaml
Tamae has quit [Ping timeout: 246 seconds]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
jeffmo has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
nullcat has joined #ocaml
manizzle has joined #ocaml
MercurialAlchemi has joined #ocaml
kdas_ has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
slash^ has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
jwatzman|work has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
jeffmo has quit [Quit: jeffmo]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
Algebr has joined #ocaml
MercurialAlchemi has joined #ocaml
freling has quit [Quit: Leaving.]
qlai has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
Algebr has quit [Remote host closed the connection]
jonludlam has joined #ocaml
MercurialAlchemi has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
dbohdan has quit [Ping timeout: 256 seconds]
jwatzman|work has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 264 seconds]
Algebr has joined #ocaml
Kakadu has joined #ocaml
qlai has quit []
<Algebr> I'm wondering about >>= and the constructors used for it. say we have something like type ('a, 'b, 'c) foo = Left of 'a | Center of 'b | Right of 'c. Would >>= make sense for foo or is >>= always designed for ADT of just two constructors?
Mercuria1Alchemi has joined #ocaml
MrScout has quit [Ping timeout: 256 seconds]
mengu has joined #ocaml
dbohdan has joined #ocaml
<smondet> Algebr: nothing forbids that. Then if you want `>>=` to mean exactly "Monad.bind" then check-out monad rules and verify that you respect them. But in the end the real question is: "Is the infix operator going to harm or improve readability?"
MercurialAlchemi has quit [Ping timeout: 256 seconds]
lobo has joined #ocaml
MercurialAlchemi has joined #ocaml
<S11001001> Algebr: in this case, it shouldn't be possible to make an invalid >>=, provided you've given it the correct type.
<S11001001> Algebr: "invalid" meaning "breaks the monad rules", which I assume is the rubric you've chosen.
<Algebr> right
<Algebr> so its not like a convention of just two constructors?
<S11001001> Algebr: no
<S11001001> Algebr: ...it's not.
<S11001001> bloody english
BitPuffin has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 264 seconds]
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
Mercuria1Alchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
dubosec has quit [Ping timeout: 256 seconds]
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
Mercuria1Alchemi has quit [Ping timeout: 252 seconds]
swgillespie has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
BitPuffin has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
tane has quit [Quit: Verlassend]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MrScout has joined #ocaml
Algebr has quit [Read error: Connection reset by peer]
matason has quit [Ping timeout: 276 seconds]
_andre has quit [Quit: leaving]
obadz has quit [Ping timeout: 245 seconds]
obadz has joined #ocaml
sh0t has joined #ocaml
rgrinberg has joined #ocaml
Algebr has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
sh0t has quit [Ping timeout: 256 seconds]
obadz has quit [Ping timeout: 244 seconds]
obadz has joined #ocaml
dtscode has joined #ocaml
dtscode is now known as Guest51359
Guest51359 has quit [Client Quit]
jonludlam has quit [Remote host closed the connection]
tmtwd has quit [Ping timeout: 250 seconds]
jonludlam has joined #ocaml
agarwal1975 has quit [Quit: Connection closed for inactivity]
milosn_ has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
Algebr has quit [Ping timeout: 256 seconds]
milosn_ is now known as milosn
mengu has quit [Remote host closed the connection]
agent_dtscode has quit [Quit: ZNC - 1.6.0 - http://znc.in]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mint_ has joined #ocaml
mint_ is now known as dtscode
Gama11 has quit [Read error: Connection reset by peer]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
lobo has quit [Quit: leaving]
ygrek_ has joined #ocaml
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ygrek has quit [Ping timeout: 264 seconds]
mengu has joined #ocaml
MrScout has quit [Remote host closed the connection]
Cyanure has quit [Remote host closed the connection]
Simn has quit [Quit: Leaving]
mengu has quit [Ping timeout: 252 seconds]
BitPuffin has joined #ocaml
Kakadu has quit [Remote host closed the connection]
sgnb has quit [Ping timeout: 256 seconds]
amnn has joined #ocaml
amnn has quit [Read error: Connection reset by peer]
amnn has joined #ocaml
thomasga has joined #ocaml
xaimus has quit [Ping timeout: 264 seconds]
Intensity has quit [Ping timeout: 244 seconds]
sivoais has quit [Ping timeout: 256 seconds]
xaimus has joined #ocaml
ygrek_ has quit [Ping timeout: 272 seconds]
sivoais has joined #ocaml
swgillespie has joined #ocaml
marienz has quit [Ping timeout: 608 seconds]
dbohdan has quit [*.net *.split]
hay207 has quit [*.net *.split]
maufred has quit [*.net *.split]
srcerer has quit [*.net *.split]
cdidd has quit [*.net *.split]
contempt has quit [*.net *.split]
_obad_ has quit [*.net *.split]
haesbaert has quit [*.net *.split]
vbmithr has quit [*.net *.split]
theblatte has quit [*.net *.split]
fold has quit [*.net *.split]
mlen has quit [*.net *.split]
fds has quit [*.net *.split]
mietek has quit [*.net *.split]
swgillespie has quit [Client Quit]
sh0t has joined #ocaml
_obad_ has joined #ocaml
maufred has joined #ocaml
haesbaert has joined #ocaml
fold has joined #ocaml
dbohdan has joined #ocaml
theblatte has joined #ocaml
contempt has joined #ocaml
fds has joined #ocaml
cdidd has joined #ocaml
hay207 has joined #ocaml
mlen has joined #ocaml
mietek has joined #ocaml
vbmithr has joined #ocaml
hay207 has quit [Quit: Leaving]
swgillespie has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
ceryo has joined #ocaml
ygrek_ has joined #ocaml
dtscode is now known as agent_dtscode
<seliopou> In js_of_ocaml, how are you supposed to use the Js.Unsafe.global object?
<seliopou> I keep seeing examples like Js.Unsafe.global##some_id but I keep getting compiler errors when trying that
<seliopou> whoops, nevermind. syntax extension
madroach has quit [Ping timeout: 264 seconds]
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
madroach has joined #ocaml
ceryo has joined #ocaml
ceryo has quit [Client Quit]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
systmkor has quit [Quit: Leaving]
swgillespie has quit [Client Quit]
tmtwd has joined #ocaml
jonludlam has quit [Ping timeout: 252 seconds]
tjscanlon has quit [Quit: My Mac has gone to sleep. ZZZzzz…]