adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.2 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
lobo has quit [Quit: leaving]
MrScout has joined #ocaml
tennix has quit [Ping timeout: 260 seconds]
Haudegen has quit [Ping timeout: 255 seconds]
Haudegen has joined #ocaml
tennix has joined #ocaml
tmtwd has joined #ocaml
tennix has quit [Ping timeout: 240 seconds]
haesbaert has quit [Quit: Lost terminal]
keen___________ has joined #ocaml
keen__________ has quit [Ping timeout: 244 seconds]
ericsmithvt has joined #ocaml
ericsmithvt has quit [Client Quit]
tmtwd has quit [Ping timeout: 244 seconds]
tmtwd has joined #ocaml
keen____________ has joined #ocaml
keen___________ has quit [Ping timeout: 245 seconds]
<j0sh> is there a ocaml library does erlang-style supervision of forked processes?
tennix has joined #ocaml
tennix has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
rossberg has quit [Ping timeout: 246 seconds]
tmtwd has quit [Ping timeout: 245 seconds]
_obad_ has quit [Ping timeout: 250 seconds]
demonimin has quit [Remote host closed the connection]
_obad_ has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
_obad_ has quit [Ping timeout: 246 seconds]
thomasga has quit [Quit: Leaving.]
_whitelogger has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 256 seconds]
ygrek has quit [Ping timeout: 260 seconds]
jao has quit [Read error: No route to host]
darkf has joined #ocaml
jao has joined #ocaml
jao has quit [Ping timeout: 244 seconds]
tmtwd has joined #ocaml
MrScout has quit [Remote host closed the connection]
jeffmo has quit [Quit: jeffmo]
rossberg has joined #ocaml
shinnya has quit [Ping timeout: 244 seconds]
jeffmo has joined #ocaml
ygrek has joined #ocaml
jeffmo has quit [Quit: jeffmo]
slash^ has joined #ocaml
psy_ has quit [Read error: Connection reset by peer]
AlexRussia_ has joined #ocaml
psy_ has joined #ocaml
tmtwd has quit [Ping timeout: 244 seconds]
tmtwd has joined #ocaml
tmtwd has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 272 seconds]
ygrek has joined #ocaml
moei has quit [Read error: Connection reset by peer]
moei has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
tane has joined #ocaml
jbrown has quit [Quit: Client exiting]
zpe has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
kakadu has joined #ocaml
Haudegen has joined #ocaml
<flux> not one I would recall
psy_ has quit [Ping timeout: 250 seconds]
ggole has joined #ocaml
psy_ has joined #ocaml
Simn has joined #ocaml
contempt has quit [Ping timeout: 272 seconds]
contempt has joined #ocaml
demonimin has joined #ocaml
Anarchos has joined #ocaml
nullcatxxx_ has joined #ocaml
demonimin has quit [Ping timeout: 240 seconds]
demonimin has joined #ocaml
AltGr has left #ocaml [#ocaml]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
zpe has quit [Remote host closed the connection]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<zozozo> j0sh: not sure about what you want, but cgroups do provide some sort of control/information about processes (such as cpu time used, memory consumption, ...)
<flux> are there systemd bindings for ocaml.. :-)
<flux> (in fact, there are)
<zozozo> there are cgroups bindings now
<flux> in a sense it would be pretty cool to write a cluster of ocaml programs that are managed by systemd..
<flux> ..but in practice it would be pretty bad to require systemd for an application
Anarchos has joined #ocaml
<flux> but I don't think cgroups is at all what j0sh is asking for :)
<flux> I haven't used erlang, but it has this hierarchy of supervisors
<flux> and then processes crash, they get restarted by their supervisor
<zozozo> probably, I don't really know what erlang-style supervision is, :p
<flux> or something like that.
<flux> all in the name of five-nines-avaibility, and apparently it does provide that
<flux> a 'process' in erlang would be for example one client
<zozozo> ah.. then indeed it's not for cgroups
<flux> or one command
<flux> or one anything :)
<flux> and a large erlang server could have thousands if not millions processes.
<flux> the key point being: a crash (ie. an IO exception) when interacting with one client will not affect the service provided to other clients, no matter what.
<zozozo> seems nice
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
lobo has joined #ocaml
sh0t has joined #ocaml
ollehar has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
Anarchos has joined #ocaml
Anarchos has quit [Ping timeout: 264 seconds]
<ollehar> is there a forum to discuss programming language design? except ltu, I didn't get access there.
<ollehar> and they don't want to discuss design.
<ollehar> hm, ok, reddit has a subreddit for this of course. guess it's no point turning to stackoverflow.
Anarchos has joined #ocaml
kushal has joined #ocaml
xet7 has quit [Ping timeout: 245 seconds]
kushal has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
Cypi has quit []
lobo has quit [Ping timeout: 264 seconds]
lobo has joined #ocaml
mcclurmc_ has quit [Ping timeout: 260 seconds]
mcclurmc has joined #ocaml
tane has quit [Ping timeout: 265 seconds]
mcclurmc has quit [Remote host closed the connection]
_whitelogger_ has joined #ocaml
tane has joined #ocaml
RichN has joined #ocaml
jrslepak_ has joined #ocaml
Mandus_ has joined #ocaml
Shozan has joined #ocaml
frawgie_ has joined #ocaml
tizoc` has joined #ocaml
jeroud has quit [Ping timeout: 240 seconds]
_whitelogger has quit [Ping timeout: 240 seconds]
lambdahands has quit [Ping timeout: 240 seconds]
SHODAN has quit [Remote host closed the connection]
demonimin has quit [Ping timeout: 240 seconds]
Guest98165 has quit [Ping timeout: 240 seconds]
Algebr has quit [Ping timeout: 240 seconds]
cross has quit [Ping timeout: 240 seconds]
jrslepak has quit [Ping timeout: 240 seconds]
Mandus has quit [Ping timeout: 240 seconds]
tizoc has quit [Ping timeout: 240 seconds]
hbar has quit [Ping timeout: 240 seconds]
frawgie has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
cross_ has joined #ocaml
hbar has joined #ocaml
lambdahands_ is now known as lambdahands
rgrinberg1 has joined #ocaml
igoroliveira has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 240 seconds]
xet7 has joined #ocaml
mcclurmc has joined #ocaml
jeroud has joined #ocaml
jeffmo has joined #ocaml
tizoc` is now known as tizoc
kushal has joined #ocaml
tizoc has quit [Changing host]
tizoc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
Cypi has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 244 seconds]
mcclurmc has joined #ocaml
Sorella has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
rgrinberg1 has quit [Ping timeout: 244 seconds]
chris2 has quit [Ping timeout: 252 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
mahem1 has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
chris2 has joined #ocaml
<mahem1> Hmmm, would anyone recommend the bolt logger?
kushal has quit [Quit: Leaving]
jrslepak_ is now known as jrslepak
jbrown has joined #ocaml
mcclurmc has joined #ocaml
igoroliveira has quit [Quit: Connection closed for inactivity]
tmtwd has joined #ocaml
chris2 has quit [Ping timeout: 240 seconds]
darkf has quit [Quit: Leaving]
obadz has joined #ocaml
zpe has joined #ocaml
rgrinberg1 has joined #ocaml
chris2 has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
obadz- has joined #ocaml
obadz- has quit [Client Quit]
sgnb has quit [Remote host closed the connection]
Shozan is now known as SHODAN
sgnb has joined #ocaml
psy_ has quit [Ping timeout: 260 seconds]
jbrown has quit [Ping timeout: 272 seconds]
j0sh has quit [Ping timeout: 260 seconds]
j0sh has joined #ocaml
pamexx has joined #ocaml
rgrinberg1 has quit [Ping timeout: 252 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
rgrinberg1 has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
Muzer has quit [Ping timeout: 244 seconds]
rgrinberg1 has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Quit: Lost terminal]
MercurialAlchemi has joined #ocaml
Muzer has joined #ocaml
rgrinberg1 has joined #ocaml
ryanartecona has joined #ocaml
zpe has quit [Remote host closed the connection]
rgrinberg1 has quit [Ping timeout: 252 seconds]
bholst has joined #ocaml
bholst has quit [Remote host closed the connection]
bholst has joined #ocaml
psy_ has joined #ocaml
rgrinberg1 has joined #ocaml
tmtwd has quit [Ping timeout: 245 seconds]
<Leonidas> mahem1: its author?
seggy has quit [Ping timeout: 246 seconds]
segmond has quit [Ping timeout: 246 seconds]
c74d has quit [Ping timeout: 256 seconds]
<dmbaturin> Leonidas: There are authors who would never recommend their libraries, so this is yet to be proven.
<Leonidas> dmbaturin: this is an excellent point :-)
c74d has joined #ocaml
seggy has joined #ocaml
segmond has joined #ocaml
shinnya has joined #ocaml
<mahem1> Leonidas: You could try to put words in other people's mouths, or you speak for yourself! ;)
<mahem1> (Though I guess it's author probably would do so anyways.)
mcclurmc has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
<Leonidas> mahem1: I considered using bolt but then I didn't.
<Drup> mahem1: I remember looking at bold and deciding that, in the end, Lwt_log was perfectly nice for me
<Drup> bolt*
<companion_cube> o/
<dmbaturin> If you are using Lwt already, there is hardly a reason not to use Lwt log.
ollehar has joined #ocaml
gpietro has quit [Ping timeout: 250 seconds]
ygrek has joined #ocaml
JuggleTux has joined #ocaml
<mahem1> Leonidas: I see.
<mahem1> Drup: Fair enough. But I guess since I am not using Lwt now it wouldn't be worth it to use that.
JuggleTux has quit [Ping timeout: 255 seconds]
tmtwd has joined #ocaml
gpietro has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
rgrinberg1 has quit [Ping timeout: 260 seconds]
<MercurialAlchemi> one nice thing about Lwt_log is that it has these ign_* functions which return ()
<MercurialAlchemi> which means you can log in non-lwt parts to your heart's content
ollehar has quit [Ping timeout: 256 seconds]
octachron has joined #ocaml
sh0t has quit [Ping timeout: 244 seconds]
AlexRussia_ has quit [Ping timeout: 250 seconds]
octachron has quit [Quit: Leaving]
sh0t has joined #ocaml
jao has joined #ocaml
rgrinberg1 has joined #ocaml
<companion_cube> hi rgrinberg1
Guest11361 has quit [Read error: Connection reset by peer]
sh0t has quit [Ping timeout: 260 seconds]
Guest11361 has joined #ocaml
ggole has quit []
mcclurmc has quit [Remote host closed the connection]
BitPuffin|osx has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
segmond has quit [Disconnected by services]
seggy is now known as segmond
seggy has joined #ocaml
<MercurialAlchemi> companion_cube: hi there
<MercurialAlchemi> one thing I would suggest is to add an alias 'group_succ' to Sequence.group
<MercurialAlchemi> the actual behaviour is not the one I expected given the name of the function
<companion_cube> hmm I see
seggy has quit [Client Quit]
<companion_cube> oh wait, the fact there is "eq" should indicate it's not relying on order?
<MercurialAlchemi> why?
<companion_cube> I would probably require a compare function for the general version
<MercurialAlchemi> you can perfectly group_by without guaranteeing ordering
mcclurmc has joined #ocaml
<companion_cube> but it's quadratic, right?
<companion_cube> ok, I hear you
jbrown has joined #ocaml
<companion_cube> wait, it should return a list or something...
tnguyen1 has quit [Quit: tnguyen1]
<MercurialAlchemi> apart from that, it rocks :)
<companion_cube> ;)
<bernardofpc> companion_cube: not necessarily (hash then sort the hashes)
<companion_cube> but then I should ask for a hash function
<companion_cube> why not, indeed
<MercurialAlchemi> well, group_by should return either a list or a tuple (group_key, list)
<companion_cube> Hashtbl.hash is general fine
<bernardofpc> well, if two things hash equal they maybe !eq
<bernardofpc> (and also maybe two eq things have different hashes)
<MercurialAlchemi> yeah
<bernardofpc> but if your hash is a superset of the equivalence induced by eq, you only have to check inside buckets
<companion_cube> with an optional argument you can disable the hash
<MercurialAlchemi> on another topic, I'm wondering about the lack of popularity of lenses in ocaml
<MercurialAlchemi> it's weird, because even if you don't have nested data structures, Lens.modify is damn useful
<companion_cube> my pov on lenses in OCaml: 1/ lack of optims -> sluggish 2/ too verbose without typeclasses
<MercurialAlchemi> it's only verbose when you declare
<companion_cube> no, when you nest lenses too...?
<MercurialAlchemi> no, there's a compose infix operator if you want
<MercurialAlchemi> of course it's easy to end up in ascii hell this way, but...
tane has quit [Quit: Verlassend]
<MercurialAlchemi> eg, ((editor_lens |-- car_lens |-- mileage_lens) ^= 10) @@ scifi_novel;;
<MercurialAlchemi> it's actually not that bad
<MercurialAlchemi> I'm also not convinced by the performance argument, I don't see how this would be significantly slower than doing the same thing by hand
<MercurialAlchemi> not to mention that Lens.modify is a good deal SAFER than the alternative
<MercurialAlchemi> (it's really easy to forget to update the owner of the data with the copy of the new immutable data, or copy the old immutable data instead)
<companion_cube> MercurialAlchemi: pushed a group_by function
<companion_cube> well it would be far faster with strong inlining
<MercurialAlchemi> oh, sure
<companion_cube> did you see the commits on sequence? :)
<MercurialAlchemi> companion_cube: was just looking at it
<MercurialAlchemi> terrific
<MercurialAlchemi> I think I'd have group_succ_by -> group_succ for consistency with gen
<MercurialAlchemi> the only problem with gen/seq is that it's so good, it's easy to write these really long pipelines with it
<companion_cube> wait, gen doesn't have group_succ?
<MercurialAlchemi> which you come back to later wondering what the damn thing actually does
<MercurialAlchemi> oh, you're right, its Gen.group
<MercurialAlchemi> carry on then :0
<MercurialAlchemi> I think it's a strong sign of advanced bedtime
<companion_cube> sadly I can't call it Sequence.group before it's deprecated for a long time
<MercurialAlchemi> group_by is fine
<MercurialAlchemi> Gen.group actually works like Sequence.group anyway
<MercurialAlchemi> on this, enough ocaml for today
<MercurialAlchemi> thanks for the group_by :)
ryanartecona has joined #ocaml
<companion_cube> no problem
<companion_cube> I don't spend a lot of time on sequence/gen those days...
ryanartecona has quit [Client Quit]
<companion_cube> btw, gasche, thanks for your hard work merging lots of stuff!
xificurC has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
BitPuffin|osx has joined #ocaml
ollehar has joined #ocaml
tnguyen has joined #ocaml
ollehar has quit [Remote host closed the connection]
ollehar has joined #ocaml
ollehar has quit [Quit: ollehar]
kakadu has quit [Remote host closed the connection]
rgrinberg1 has quit [Ping timeout: 255 seconds]
keen___________0 has joined #ocaml
jbrown has quit [Remote host closed the connection]
keen____________ has quit [Ping timeout: 256 seconds]
tmtwd has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
Simn has quit [Quit: Leaving]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
rgrinberg1 has joined #ocaml
The_Mad_Pirate has quit [Quit: Konversation terminated!]
ollehar has quit [Quit: ollehar]