adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
jlongster has joined #ocaml
tmtwd has joined #ocaml
spew has joined #ocaml
jonatin has joined #ocaml
larhat has quit [Quit: Leaving.]
silver has quit [Quit: rakede]
tobast1 has quit [Ping timeout: 260 seconds]
jao has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mfp has quit [Ping timeout: 268 seconds]
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #ocaml
marsam has quit [Remote host closed the connection]
sh0t has joined #ocaml
sh0t has quit [Read error: Connection reset by peer]
jlongster has joined #ocaml
sh0t has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
sh0t has quit [Remote host closed the connection]
wu_ng has joined #ocaml
wtetzner has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pzp has joined #ocaml
jlongster has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
sgronblo has quit [Quit: Lost terminal]
mengu has quit [Quit: Leaving...]
jao has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
wtetzner has joined #ocaml
manizzle has joined #ocaml
after____ has joined #ocaml
after___ has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
after___ has joined #ocaml
wtetzner has quit [Remote host closed the connection]
after____ has quit [Ping timeout: 264 seconds]
_y has quit [Disconnected by services]
FreeBird_ has joined #ocaml
shinnya has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ryanartecona has joined #ocaml
pilne has quit [Quit: Quitting!]
MercurialAlchemi has joined #ocaml
nomicflux has quit [Quit: nomicflux]
FreeBird_ has quit [Remote host closed the connection]
copy` has quit [Quit: Connection closed for inactivity]
rossberg has quit [Ping timeout: 264 seconds]
Autolycus has joined #ocaml
rossberg has joined #ocaml
FreeBirdLjj has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
ojikubbo has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
ojikubbo has quit [Ping timeout: 260 seconds]
shinnya has quit [Ping timeout: 260 seconds]
snhmib has joined #ocaml
jsoo has joined #ocaml
jsoo has quit [Read error: Connection reset by peer]
MercurialAlchemi has joined #ocaml
Simn has joined #ocaml
<chindy> Say i have a custom module MySpecialMap, which behind the scenes uses the standard Map.Make... how would i create a function like MySpeicalMap.make( XY : Map.OrderedType) such that behind the scenes the right Map.Make is called etc ?
spew has quit [Quit: foobar]
tmtwd has quit [Ping timeout: 258 seconds]
pzp has quit [Quit: Connection closed for inactivity]
agarwal1975 has joined #ocaml
<chindy> My Problem is essentially this: http://pastebin.com/x4MeQQYe that the lower part does not work... i want to parameterize that struct so to say
freusque has joined #ocaml
cokanut has joined #ocaml
<cokanut> Is there some sort of `List.reject`? Something like `List.reject ~f:(is_x) list` instead of `List.filter ~f:(is_not_x) list`
<adrien> not that I'm aware of but there's also List.partition to consider (it returns a pair of list and you could select only the second one)
octachron has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
alfredo has joined #ocaml
<octachron> chindy, this looks like you need to define a functor: "module M(T:Comparable) = struct … end"
<cokanut> adrien: thanks. i was also thinking i could also compose a `not` over `is_not_x` and use it. like `not(is_not_x)`, but it is eagerly executing the `not` and giving type error. any ideas?
jnavila has joined #ocaml
<octachron> cokanut, a solution is to use a composition operator: "let (%) f g x = f (g x)" then "let reject pred = List.filter (not % pred)"
Khady_ is now known as Khady
<adrien> well, not is boolean negation: bool -> bool
<adrien> it's not negation of functions so you need to define what octachron mentioned
<chindy> octachron: i now have http://pastebin.com/9C9J2aU9 but how do i now call Test_Functor.empty in the main.ml ? i tried Test.Test_Functor.empty(String) but that did not work and Test.Test_Functor.empty(struct type t = string let compare =compare end) and they both did not work
<octachron> chindy, functor are functions, you need first to apply them: "module T = Test_Functor(String)", then you can use T.empty
<chindy> octachron: ahh thanks side question, is it possible to let in a module so let module M = ... meaning M is only valid in an expression
sz0 has quit [Quit: Connection closed for inactivity]
<octachron> chindy, yes it is possible. Depending on your use case, you may also need to have a look at locally abtract type
<cokanut> octachron: that's nice, thanks
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
jsoo has joined #ocaml
cokanut has quit [Ping timeout: 240 seconds]
jsoo has quit [Read error: Connection reset by peer]
jnavila has quit [Quit: It was time]
jnavila_ has joined #ocaml
octachron has quit [Ping timeout: 258 seconds]
Autolycus has quit []
octachron has joined #ocaml
larhat has joined #ocaml
argent_smith has joined #ocaml
mfp has joined #ocaml
cokanut has joined #ocaml
maattdd has joined #ocaml
cokanut has quit [Ping timeout: 256 seconds]
govg has quit [Ping timeout: 268 seconds]
larhat has quit [Quit: Leaving.]
govg has joined #ocaml
cokanut has joined #ocaml
maattdd_ has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
govg has quit [Remote host closed the connection]
govg has joined #ocaml
cokanut has quit [Ping timeout: 240 seconds]
maattdd has joined #ocaml
arquebus has joined #ocaml
maattdd_ has quit [Ping timeout: 240 seconds]
arquebus has quit [Quit: Leaving]
<flux> now after giving a try to React, Reason starts to look a bit more interesting ;-)
silver has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
AlexDenisov has joined #ocaml
TheAuGingembre has quit [Ping timeout: 255 seconds]
mengu has joined #ocaml
TheAuGingembre has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
johnelse has quit [Quit: leaving]
maattdd has quit [Ping timeout: 260 seconds]
jonatin has quit [Remote host closed the connection]
jonatin has joined #ocaml
alfredo has quit [Read error: Connection reset by peer]
alfredo has joined #ocaml
alfredo_ has joined #ocaml
cokanut has joined #ocaml
ygrek has quit [Ping timeout: 258 seconds]
wu_ng has quit [Ping timeout: 256 seconds]
wu_ng has joined #ocaml
alfredo has quit [Ping timeout: 264 seconds]
johnelse has joined #ocaml
cokanut has quit [Read error: Connection reset by peer]
wu_ng has quit [Ping timeout: 246 seconds]
kakadu has joined #ocaml
al-damiri has joined #ocaml
<companion_cube> what does it bring to the table?
<adrien> cheese and wine?
<companion_cube> heh, sign me in! :D
* adrien uses companion_cube's blood to sign a contract with the devil
<companion_cube> hum, I don't bleed from eating cheese and wine
<companion_cube> you must be mistaken
<adrien> well, I'll need your blood if you want the food
<kakadu> Folks, do you remember how this ocaml-based latex clone was called?
<thizanne> patoline
jnavila_ has quit [Ping timeout: 264 seconds]
_andre has joined #ocaml
mpenet has joined #ocaml
mpenet has left #ocaml [#ocaml]
cokanut has joined #ocaml
nomicflux has joined #ocaml
trapz has joined #ocaml
jnavila_ has joined #ocaml
nomicflux has quit [Client Quit]
cokanut has quit [Read error: Connection reset by peer]
<smondet[m]> older than Patoline there was also https://github.com/Miko4/ant "Ant is Not Tex"
octachron has quit [Ping timeout: 256 seconds]
cokanut has joined #ocaml
snowcrshd has joined #ocaml
octachron has joined #ocaml
jlongster has joined #ocaml
snowcrshd has quit [Remote host closed the connection]
yomimono has joined #ocaml
yomimono has quit [Ping timeout: 268 seconds]
murmour has joined #ocaml
jabroney has joined #ocaml
jack5638 has quit [Ping timeout: 256 seconds]
shinnya has joined #ocaml
TheLemonMan has joined #ocaml
govg has quit [Ping timeout: 268 seconds]
snowcrshd has joined #ocaml
sh0t has joined #ocaml
<companion_cube> ah, ok, reason brings a JSX-like syntax extension or something in that vein
<Drup> yeah, apparently the tyxml syntax extension is too heavy for their taste
<Drup> (that was not sarcasm, I had a discussion with jordan about it)
<Drup> they really want their custom syntax for function application that look like xml
yomimono has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
larhat has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Simn has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
Simn has joined #ocaml
<mrvn> Anyone know if it is save to setjmp before a syscll and longjump in the signal handler? That would skip any cleanup some libc wrapper around a syscall needs I fear.
larhat has quit [Quit: Leaving.]
<zozozo> well, that's not a typical question one asks when coding in ocaml, :p
mbac has joined #ocaml
mbac has quit [Client Quit]
mbac has joined #ocaml
jlongster has quit [Quit: Textual IRC Client: www.textualapp.com]
ryanartecona has joined #ocaml
tg has quit [Excess Flood]
spew has joined #ocaml
tg has joined #ocaml
MercurialAlchemi has joined #ocaml
ygrek has joined #ocaml
tristero has joined #ocaml
spew has quit [Quit: foobar]
<freehck> mrvn: as far as I know it's a normal way to handle exceptions in C++
<freehck> setjmp save stack in the buffer, and longjmp restores it
jnavila_ has quit [Remote host closed the connection]
marsam has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
alfredo_ has quit [Quit: Textual IRC Client: www.textualapp.com]
sfri has quit [Remote host closed the connection]
slash^ has joined #ocaml
jmiven has quit [Quit: co'o]
sz0 has joined #ocaml
sfri has joined #ocaml
jmiven has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
agarwal1975 has joined #ocaml
agarwal1975_ has joined #ocaml
snowcrshd has quit [Ping timeout: 240 seconds]
<Simn> Is there a simple way of saying "type t can no longer be constructed from here on", basically what `type t = private t` would mean if it meant anything?
<Drup> but the whole thing in a module and give it a module type where t is abstract
<Drup> (or hidden)
<Drup> s/but/put/
agarwal1975 has quit [Ping timeout: 260 seconds]
agarwal1975_ is now known as agarwal1975
cokanut has quit [Ping timeout: 246 seconds]
<Simn> Is there some trick to avoid having to duplicate everything between the signature and the implementation? I've seen something utilizing `include` I think.
copy` has joined #ocaml
<Drup> yeah, you can put the module type in another file and use include
<Drup> you could also just put the module in question in its own file
<Drup> you can cheat a bit with ppx_import too, but it's not ideal
ryanartecona has joined #ocaml
ollehar1 has joined #ocaml
<smondet[m]> Simn: yes you need module abstration boudaries there
jao has joined #ocaml
th5 has joined #ocaml
agarwal1975_ has joined #ocaml
agarwal1975 has quit [Ping timeout: 260 seconds]
agarwal1975_ is now known as agarwal1975
marsam has quit [Remote host closed the connection]
marsam has joined #ocaml
govg has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
tobast1 has joined #ocaml
murmour has quit [Quit: Leaving.]
cokanut has joined #ocaml
pilne has joined #ocaml
freusque has quit [Ping timeout: 258 seconds]
cokanut has quit [Ping timeout: 268 seconds]
agarwal1975_ has joined #ocaml
agarwal1975 has quit [Ping timeout: 240 seconds]
agarwal1975_ is now known as agarwal1975
snowcrshd has joined #ocaml
cokanut has joined #ocaml
Anarchos has joined #ocaml
maarhart has joined #ocaml
freusque has joined #ocaml
maarhart has quit [Quit: Mutter: www.mutterirc.com]
ollehar1 has quit [Quit: ollehar1]
rpg has joined #ocaml
kakadu has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
agarwal1975_ has joined #ocaml
silver_ has joined #ocaml
agarwal1975 has quit [Ping timeout: 246 seconds]
agarwal1975 has joined #ocaml
silver has quit [Ping timeout: 260 seconds]
agarwal1975_ has quit [Ping timeout: 240 seconds]
agarwal1975__ has joined #ocaml
agarwal1975 has quit [Ping timeout: 240 seconds]
agarwal1975__ is now known as agarwal1975
TheLemonMan has joined #ocaml
cokanut has quit [Quit: Lost terminal]
marsam has quit [Remote host closed the connection]
maarhart has joined #ocaml
freusque has quit [Ping timeout: 256 seconds]
marsam has joined #ocaml
maarhart has quit [Quit: Mutter: www.mutterirc.com]
freusque has joined #ocaml
yomimono has quit [Ping timeout: 260 seconds]
marsam has quit [Remote host closed the connection]
agarwal1975_ has joined #ocaml
agarwal1975_ has quit [Client Quit]
agarwal1975 has quit [Ping timeout: 264 seconds]
spew has joined #ocaml
freusque has quit [Ping timeout: 258 seconds]
ygrek has quit [Ping timeout: 240 seconds]
freyr has joined #ocaml
<freyr> Hi there, any news on modular implicits? Has anybody tried to install ocaml-variants.4.02.1+modular-implicits-ber with opam 2.0? It fails then I try to install it with some ambiguous error.
<freyr> - unavailable for unknown reasons (this may be a bug in opam)
silver_ is now known as silver
<Drup> freyr: that's due to the rewriting of opam repository for opam2's compiler-as-packages, it doesn't work very well on BER related stuff due to base-metaocaml-ocamlfind
slash^ has quit [Read error: Connection reset by peer]
<freyr> Drup: so it's impossible to install it manually right now?
<Drup> freyr: you can always edit packages and tweak the dependencies with "opam pin edit FOO"
nightmared has quit [Ping timeout: 264 seconds]
<freyr> Ok, thanx
ryanartecona has quit [Quit: ryanartecona]
marsam has joined #ocaml
spew has quit [Quit: foobar]
spew has joined #ocaml
rand__ has joined #ocaml
spew has quit [Ping timeout: 256 seconds]
octachron has quit [Quit: Leaving]
mengu has joined #ocaml
marsam has quit [Remote host closed the connection]
marsam has joined #ocaml
Simn has quit [Ping timeout: 258 seconds]
Oleg has joined #ocaml
<Oleg> hello , as you all know , the ocaml questions on stackoverflow are not popular
<Oleg> and I would need some help of yours :)
<Oleg> Could you please check out the link and give me an answer ?
<Oleg> thanks
<Drup> actually, that specific question of your does not get answers because it doesn't really make sense :)
<Oleg> why it doesn't ?
<Drup> because, as I already told you in another similar question, it's not parallel and it won't be.
<Oleg> oh :D
<Oleg> you mean because of ocaml
<Oleg> because it doesn't support multithreading
<Oleg> I know that
<Drup> it doesn't support thread parallelism*
<Oleg> but please bear with me, let's say it does support thread parallelism
marsam has quit [Remote host closed the connection]
<Oleg> would that look like a valid piece of code?
rgrinberg has quit [Ping timeout: 255 seconds]
<Drup> isn't that fairly trivial to test ?
<Drup> (I don't use the Thread module, it's API is not very nice, and threads are not that in OCaml anyway, Lwt is nicer for concurrency)
marsam has joined #ocaml
cyraxjoe has quit [Ping timeout: 255 seconds]
tane has joined #ocaml
<Oleg> with lwt or without
<Oleg> no thread parallelism in ocaml , right ?
<Drup> not that useful*
<Drup> yes
<Drup> but concurency ≠ parallelism
* companion_cube is a bit disturbed by seeing someone named "Oleg" on this chan
<Drup> and if you want to see this kind of list functions for lwt, you can open lwt_list.ml in lwt's sources ;)
<Oleg> thanks I'll do that :)
<Drup> (or, if you want to see this kind of function with real parallelisms, aka processes, look at parmap)
rgrinberg has joined #ocaml
<Oleg> I'm not doing that because I want it, I'm doing that because my university requires "thread parallelism and channel communication"
<Oleg> and they've chosen ocaml
ggherdov has quit [Ping timeout: 255 seconds]
<Drup> that ... doesn't really make sense
<Oleg> I know :)
<Drup> well, it would be ok if you remove "thread" from the title
cyraxjoe has joined #ocaml
orbifx has joined #ocaml
<Oleg> but that is just one topic, other topics which cover some of the FP principles with ocaml nicely
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
<Oleg> thank you for your time Drup, I'll take parallel programming next semester (I guess I'll use more precise its words)
ggherdov has joined #ocaml
<companion_cube> (ocaml threads are not that unusuable, imho)
maattdd has joined #ocaml
jabroney1 has joined #ocaml
jabroney has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
marsam has quit [Remote host closed the connection]
freyr has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
marsam has joined #ocaml
ryanartecona has joined #ocaml
_andre has quit [Quit: leaving]
larhat has joined #ocaml
argent_smith has quit [Quit: Leaving.]
yomimono has joined #ocaml
snowcrshd has quit [Ping timeout: 268 seconds]
average has quit [Ping timeout: 245 seconds]
average has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
spew_ has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
spew_ is now known as spew
sz0 has joined #ocaml
tane has quit [Quit: Leaving]
rand__ has quit [Quit: leaving]
_y has joined #ocaml
yomimono has quit [Ping timeout: 268 seconds]
silver_ has joined #ocaml
th5 has quit [Remote host closed the connection]
silver has quit [Ping timeout: 240 seconds]
Oleg has quit [Ping timeout: 260 seconds]
orbifx has joined #ocaml
sh0t has quit [Remote host closed the connection]
ryanartecona has quit [Quit: ryanartecona]
ygrek has quit [Ping timeout: 260 seconds]
wtetzner has joined #ocaml
wtetzner has quit [Remote host closed the connection]
wtetzner has joined #ocaml
marsam has quit [Ping timeout: 240 seconds]
marsam has joined #ocaml
kakadu has quit [Remote host closed the connection]
marsam has quit [Remote host closed the connection]
nomicflux has joined #ocaml
rpg_ has joined #ocaml
rpg has quit [Ping timeout: 246 seconds]
silver_ is now known as silver
sz0 has quit [Quit: Connection closed for inactivity]
orbifx has quit [Ping timeout: 268 seconds]
maattdd has quit [Ping timeout: 268 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]