nikki93 has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 245 seconds]
<companion_cube>
?
wolfnn has joined #ocaml
<radditz>
companion_cube: hello mate, how are you, mate?
<companion_cube>
I'm good, thanks, but why are you so interested?!
<radditz>
companion_cube: your name is nice :)
<companion_cube>
:D
<radditz>
companion_cube: you are a companion cube, I won't let you die
<gasche>
radditz: I just went back to IRC from a week-long absence or so
<radditz>
gasche: welcome back!
<companion_cube>
I'm lucky it wasn't taken
<companion_cube>
hi gasche
<radditz>
gasche: how are you? what are you up to? so many questions!
<radditz>
I missed you!
<companion_cube>
gasche: during your absence, opam 1.1 became active ;)
Kakadu has joined #ocaml
bnoordhuis has joined #ocaml
* ggole
killed companion_cube in record time
<Kakadu>
hmm
<Kakadu>
Is it only me who reads Alt-Ergo as Alter Ego?
<companion_cube>
I think it's by design, Kakadu
<companion_cube>
like a pun ;)
<Kakadu>
:)
<radditz>
at the end of portal 2 you get your companion cube back
<radditz>
and are thrown outside
Arsenik has joined #ocaml
<gour>
for opam questions shall i use this channel or #ocamlpro ?
<Kakadu>
I think this one
zpe has joined #ocaml
<gour>
ok. i'mn going to walk my daughter, will ask later
<radditz>
gour: don't wlak on your daughter, are you crazy?
Yoric has quit [Ping timeout: 265 seconds]
zpe has quit [Ping timeout: 265 seconds]
manizzle has quit [Remote host closed the connection]
manizzle has joined #ocaml
mfp has joined #ocaml
derek_c has joined #ocaml
cago has quit [Quit: Leaving.]
cago1 has joined #ocaml
wolfnn has quit [Ping timeout: 272 seconds]
strobegen has quit [Quit: Leaving.]
hnrgrgr has quit [Quit: leaving]
hnrgrgr has joined #ocaml
strobegen has joined #ocaml
zpe has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
strobegen has quit [Quit: Leaving.]
strobegen has joined #ocaml
Kakadu has quit [Ping timeout: 245 seconds]
Neros has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
strobegen has quit [Remote host closed the connection]
strobegen has joined #ocaml
zpe has joined #ocaml
strobegen has quit [Client Quit]
strobegen 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
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
<gasche>
hm
<gasche>
I somehow got sidetracked by something happening elsewhere
<gasche>
but I didn't intent to just say "I back", that was context for:
<gasche>
radditz: in my IRC logs, the way you participate to conversations is not up to the conversation standards I would expect on the OCaml irc chan
<gasche>
hm
<gasche>
actually I don't exactly mean that
<radditz>
gasche: that is unfortunate
<gasche>
the style is good and not offensive
strobegen has quit [Quit: Leaving.]
<gasche>
(I'm thinking of the `rm -fR` discussion)
<radditz>
I am really sad that you feel that way
<gasche>
but the whole thing is not helpful
<gasche>
and hm annoying
<radditz>
I try to help people to the best of my abilities
strobegen has joined #ocaml
<radditz>
I may lack the technical knowledge some people posses here, but I try my best and I am always enthusiastic to help someone
<pippijn>
sudo rm -rf / is not helpful
<gasche>
I think technical knowledge is not the thing that made me uncomfortable
q66 has joined #ocaml
<gasche>
I'm happy to have people try to help even in fields they're not expert in
derek_c has quit [Quit: Lost terminal]
<gasche>
I do that routinely myself, it's one of the best way to learn, and experts are usually doing something else than helping beginners anyway
steshaw has quit [Ping timeout: 245 seconds]
<radditz>
pippijn: It may not be, but I personally thought it might be, at least from the limits of my knowledge
<gasche>
yeah, it's the trolling part I'm not happy with
<pippijn>
to fix camlp4?
<radditz>
gasche: I am sorry, what is the part you are talking about exactly?
Neros has quit [Ping timeout: 264 seconds]
<radditz>
pippijn: in the end he had to delete his myocamlbuild.ml file to fix it, I just provided the wrong rm command syntax due to my lack of knowledge
<radditz>
pippijn: I still provide a partially helpful answer
<radditz>
provided*
<pippijn>
if you're serious, I feel sorry for you
<radditz>
pippijn: please explain to me, because I don't understand how this might be the case
<radditz>
I would greatly appreciate your technical advice on any mistakes I may have made during conversations in this channel
<radditz>
:)
<gour>
radditz: :-)
<radditz>
gour: ?
<gour>
radditz: in regard to the walk
<radditz>
gour: I see, please don't walk on your daughter, unless you're a licensed massager, and even then it depends on your weight and the age of your daughter
bnoordhuis has quit [Ping timeout: 260 seconds]
<radditz>
gasche: I would appreciate your technical comments as well
<gasche>
I won't make technical comments on a social problem
<gasche>
but I don't believe that you can suggest "rm -fr /" in good faith
<radditz>
gasche: I assure you it was in good faith, and it's close to the actual solution he found
<radditz>
gasche: had I had more technical knowledge I could have given him a better rm command
<gasche>
along with the "yet ant wasn't made by researchers", I've got my imaginary bayesian filters flagging you as troll
<adrien_oww>
rm on / was clearly wrong though
<rks`>
no kiddin.
<gasche>
I'll wait and see, but at some point I'll ask for a kick if things get too annoying
<gasche>
(I understand I'm more sensitive than most people to friendliness of IRC channels; but I actually think that's more of the good standard to have, and e.g. #haskell and #rust enforce respect in a similar way)
<radditz>
I don't understand what social problem you are talking about gasche ?
<radditz>
I don't see why I can't make comments on ant? how is that bad?
<gasche>
talking about other systems is interesting, the snark is too much
strobegen has quit [Quit: Leaving.]
<gour>
i've feeling that fish support in opam somehow got lost between 1.1beta and 558e6dd9e...?
<radditz>
gasche: I don't see how that warrants a kick either way
<radditz>
I may lack technical knowledge but all my advice is from within the heart
<companion_cube>
gour: what is fish?
<pippijn>
a shell
<radditz>
sometimes I may give philosophical answers, but your minds are too focused on the technical aspects to see them
<radditz>
and then as a protective response you attack me
dsheets has quit [Remote host closed the connection]
<Kakadu>
This menu instantiator is needed because I've added history to my QOcamlBrowser
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 265 seconds]
Neros has joined #ocaml
<flux>
what's the line below it? if (objects.count == 1) q->objectChanged()? seems buggy?-o
Drup has joined #ocaml
breakds has joined #ocaml
rand000 has quit [Ping timeout: 260 seconds]
rand000 has joined #ocaml
_andre has quit [Quit: leaving]
zeebrah has quit [Quit: Leaving]
malo has joined #ocaml
<Kakadu>
no idea
_andre has joined #ocaml
Kakadu has quit [Ping timeout: 250 seconds]
breakds has quit [Ping timeout: 245 seconds]
breakds has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
radditz has joined #ocaml
darkf has quit [Quit: Leaving]
ggole has quit []
Kakadu has joined #ocaml
paolooo has joined #ocaml
paolooo has quit [Quit: Page closed]
mcclurmc has joined #ocaml
cago1 has quit [Quit: Leaving.]
cago has joined #ocaml
Kakadu has quit [Ping timeout: 250 seconds]
breakds has quit [Remote host closed the connection]
Neros_ has joined #ocaml
Neros has quit [Ping timeout: 264 seconds]
moro_home has quit [Ping timeout: 240 seconds]
bnoordhuis has quit [Ping timeout: 240 seconds]
moro_home has joined #ocaml
dsheets has joined #ocaml
bnoordhuis has joined #ocaml
Neros_ has quit [Ping timeout: 260 seconds]
Kakadu has joined #ocaml
Kakadu has quit [Remote host closed the connection]
Neros has joined #ocaml
ggole has joined #ocaml
shinnya has joined #ocaml
Kakadu has joined #ocaml
ollehar has joined #ocaml
cago has left #ocaml []
radditz has quit [Ping timeout: 250 seconds]
nisstyre has quit [Ping timeout: 272 seconds]
nisstyre has joined #ocaml
csakatoku has joined #ocaml
tane has joined #ocaml
derek_c has joined #ocaml
caseyjames has joined #ocaml
<caseyjames>
Hi, is there a function that applies a function if the value is Some x and returns None if not? I want to use List.find, but it seems the Some that adds requires a match... with... to do anything
<mrvn>
and the problem with that is?
<adrien_oww>
may_map
<adrien_oww>
want Drup is going to comment in 10... 9... 8...
<adrien_oww>
Drup: I'm really disappointed ='(
<adrien_oww>
ah, sorry, that was nicoo
<caseyjames>
is it bad practice?
<adrien_oww>
oh, no
<adrien_oww>
do you use core or batteries or lablgtk?
<caseyjames>
core
<Drup>
adrien_oww: sorry, I was fetching some tea :)
<Drup>
caseyjames: probably something like Option.map
<adrien_oww>
Drup: then I forgive you :P
<mrvn>
Just wrap the function with (function None -> None | Some x -> Some (fn x))
<mangaba_leitosa>
Drup: where Option.map comes from?
malo has quit [Quit: Leaving]
<Drup>
any redefine standard library ...
<adrien_oww>
mrvn: it's annoying when it makes your function 4 times longer
<adrien_oww>
mangaba_leitosa: Core; batteries has one too
<Drup>
so, batteries, extlib, core, it's also in ocsigen and there is may_map in lablgtk
<Drup>
it's one of those function that really should be in the standard library, because everyone is redefining one.
<gour>
Kakadu: qt-5.2 looks as promising release
<caseyjames>
coool... just need that last ocaml dose before my 7 hour road trip... Creature comforts, thanks folks
caseyjames has quit [Quit: Page closed]
<mangaba_leitosa>
adrien_oww: thanks, there is indeed BatOption.map :-)
<Kakadu>
gour: If they will fix my bugs:)
<adrien_oww>
Drup: submit it :P
<adrien_oww>
Kakadu: does your patch still apply?
<adrien_oww>
is there anything you could add to the patch? comment, doc, ...?
<Kakadu>
no idea if it still applies, I have not tested
<Kakadu>
I don't think that doc is problem because this bug was not read yet
<adrien_oww>
if it doesn't, it's a good occasion to send an updated one and remind them that you have a bug opened :)
<Kakadu>
Alan Alpert was in real life last 2 weeks and got back only on this week
<Kakadu>
but he's not answering in IRC
shinnya has quit [Ping timeout: 240 seconds]
ollehar has quit [Ping timeout: 245 seconds]
<Drup>
adrien : why ? I don't want to waste my effort on something that pointless, I do it with far too much stuff already and some compiler maintainer made it quite clear they don't want extra stuff in the standard library
Drup has quit [Quit: Leaving.]
Drup has joined #ocaml
<ggole>
Because Option.map would be such a maintenance burden!
<ggole>
Why, you'd have to revisit it every time somebody added a case to the option variant.
<adrien_oww>
well, most probably because then everyone would want to add something else too
<bnoordhuis>
ggole: where do you draw the line? once you open the floodgates, you know
<mrvn>
you move the line by adding more library maintainers to the team
<bnoordhuis>
that works if you can find decent maintainers
<adrien_oww>
wrong approach usually
<adrien_oww>
don't make things bigger
<adrien_oww>
split
<Drup>
bnoordhuis: in every single project I had, I need Option.map and Option.may. that's not a "it may be usefull, sometime" like a lot of function added by Batteries/Core, it's *always* useful.
<adrien_oww>
I find it doesn't make code more readable though
<bnoordhuis>
Drup: i don't disagree. it's also not me that you have to convince :)
<Drup>
bnoordhuis: I know, I'm in my ranting period, let me rant :D
<bnoordhuis>
haha, okay. /me steps back
<adrien_oww>
Drup: is it night already where you are? :D
<Drup>
not yet, actually
<Drup>
in half an hour
<gour>
any opa mdev here?
<Drup>
I will be able to go outside to drink some blood, I will be less grumpy after :3
<gour>
i invoked: opam init --fish and it shows me: "...load the auto-completion scripts for your shell (csh)" ??
minus273 has joined #ocaml
<minus273>
hi all
<minus273>
I need to represent something like this
<minus273>
I have k parameters, value of k varying at runtime
<Drup>
minus273: can you explain the complete problem ?
<minus273>
the parameter number k can have N_k choices, again N is determined at runtime
<Drup>
do you really want to typecheck that ?
<minus273>
for example, I have 3 parameters, the first one has 3 choices, the second 2, the third 2, so a valid choice would be [2, 1, 0] or [1, 0, 1]
<minus273>
I wish to represent a set of such choices
<Drup>
how, ok
<Drup>
huum
stevej has joined #ocaml
<minus273>
so ideally I would have a k-dimensional array
<minus273>
of booleans
<Drup>
booleans ? why ?
<minus273>
each one of them N_k in length
<minus273>
if the set contains [2, 1, 0] then the array value at [2, 1, 0] would be true or something
<Drup>
why don't you want to just store the one you actually have ?
<minus273>
I think I should represent them with bitmasks, as then taking the conjunction or disjunction of those sets would be easy
Neros has quit [Ping timeout: 260 seconds]
<minus273>
So, you would suggest a list of (lists of length k)?
<minus273>
thanks, I'll think about it
<Drup>
well, it depends of what you want to do with your sets
<Drup>
your lists*
<Drup>
I'm still not sure what the problem is
<Drup>
the best representation depends heavily of the use case
<minus273>
I have a mini-language to talk about points in these sets
<minus273>
whether the choice at p is 0 or 1 or ... N_p-1, and "and" and "or" and "not" of these formulae
<minus273>
and I need to determine if a formula in this mini-language is implied by another formula in this mini-language
<minus273>
hence I would like to compile these formulae into boolean arrays, so that it's just a matter of boolean implication to do it
<companion_cube>
I'd suggest you rather use some SMT solver
<minus273>
thanks companion_cube
<companion_cube>
in OCaml, there is alt-ergo
<minus273>
looking into alt-ergo now
nikki93 has joined #ocaml
cthuluh has quit [Ping timeout: 240 seconds]
<minus273>
companion_cube: and found Zarith in the dependencies
<minus273>
this would do for the array I want
<companion_cube>
yep, it does arithmetic
ollehar has joined #ocaml
<minus273>
arbitrary-long booleanable integers should be great for this kind of big boolean arrays
ollehar has quit [Quit: ollehar]
ttamttam has quit [Quit: ttamttam]
Drup has quit [Ping timeout: 246 seconds]
ollehar has joined #ocaml
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
boogie has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
Neros has joined #ocaml
Kakadu has quit []
Drup has joined #ocaml
djcoin_ has quit [Quit: WeeChat 0.4.1]
maufred has quit [Remote host closed the connection]
Arsenik has quit [Read error: Connection reset by peer]
bnoordhuis has quit [Ping timeout: 245 seconds]
boogie has quit [Remote host closed the connection]
wolfnn has joined #ocaml
nikki93 has quit [Remote host closed the connection]
dsheets has quit [Remote host closed the connection]
boogie has joined #ocaml
fraggle_ has joined #ocaml
AltGr has left #ocaml []
zpe has joined #ocaml
Drup has quit [Ping timeout: 265 seconds]
derek_c has quit [Quit: Lost terminal]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
dsheets has joined #ocaml
nikki93 has joined #ocaml
troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]
Kakadu has joined #ocaml
Drup has joined #ocaml
sepp2k has quit [Quit: Konversation terminated!]
bnoordhuis has joined #ocaml
zpe has joined #ocaml
manizzle has quit [Ping timeout: 240 seconds]
minus273 has quit [Quit: Leaving.]
rand000 has quit [Quit: leaving]
bnoordhuis has quit [Ping timeout: 248 seconds]
nikki93 has quit [Remote host closed the connection]
cthuluh has joined #ocaml
troydm has joined #ocaml
nikki93 has joined #ocaml
Pantoufle has quit [Ping timeout: 264 seconds]
Pantoufle has joined #ocaml
iZsh has joined #ocaml
iZsh has quit [Excess Flood]
bnoordhuis has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
Kakadu has quit [Ping timeout: 256 seconds]
yezariaely has joined #ocaml
manizzle has joined #ocaml
Neros has quit [Read error: Operation timed out]
nikki93 has quit [Remote host closed the connection]
<gour>
i'm reading RWO, ch1 (tour) and wonder why ocaml needs 'let rec' while haskell copes without it?
nikki93 has joined #ocaml
<gour>
not a big deal, just curious
<ggole>
Haskell is lazy
<troydm>
so are most of ppl here
<troydm>
nah just kiddin
<troydm>
but programmers are generally lazy
<gour>
ggole: thanks. didn't consider it
<ggole>
Something like let rec xs = 1::2::xs is perfectly sensible in Haskell, but very strange in OCaml
<ggole>
For functions let rec probably makes sense
<ggole>
But having function bindings special cased would be awfully ugly
<ggole>
(Er, let rec *by default*, I mean.)
<Drup>
the lazyness is not the only reason, they also made the choice to make all top level definition mutually recursive
Neros has joined #ocaml
<Drup>
it's more cultural, I would say. And to be honest, it's really painfull when you write in haskell because you can't write that : "let l = [ 1 ; 2 ; 3 ] in let l = List.map ((*) 2) l" the same way in haskell, you have to name the new one in another way
<gour>
another (non-related) point...i'm aware that the (ocaml) code @languageshootout is probablky not very idiomatic, but ocaml is missing some entries due to erroneous entries...
<ggole>
You mean that's not how OCaml code usually looks? :o
zpe has joined #ocaml
nikki93 has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 248 seconds]
<gour>
iirc, haskell's code was/is really strange when i was taking look at
chrisdotcode has joined #ocaml
w0rm_x has joined #ocaml
Neros has quit [Read error: Operation timed out]
manizzle has quit [Remote host closed the connection]
manizzle has joined #ocaml
Neros has joined #ocaml
zpe has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
skchrko has quit [Quit: Leaving]
rgrinberg has joined #ocaml
tane has quit [Quit: Verlassend]
yezariaely has quit [Quit: Leaving.]
tane has joined #ocaml
_andre has quit [Quit: leaving]
Superdead has joined #ocaml
<Superdead>
Hey guys, I want to write a piece of OCaml code to output all the negative numbers in a list. I know I need to use pattern matching for this and maybe an if statement? How would I go about doing this?
<mrvn>
List.partition
<Superdead>
I'm very new to OCaml, I'll take a look into List.partition! Thanks for your help.
iZsh has joined #ocaml
<companion_cube>
List.filter, I'd say
<mrvn>
List.iter
<ggole>
List.iter (fun n -> if n < 0 then Printf.printf "%d\n" n) xs
<Superdead>
I think i'll have a go at implementing all 3 methods. Thanks again! :)
<companion_cube>
oh, output as in print
<companion_cube>
sure, List.iter is fine indeed
<Superdead>
Could anyone explain how I should go about doing it if I wanted to use recursion?
<mrvn>
recursively
<ggole>
A tail recursive iteration might look something like let rec loop = function [] -> () | x::xs -> ...; loop xs
Anarchos has joined #ocaml
ggole has quit []
nisstyre has quit [Disconnected by services]
yours_truly has joined #ocaml
Neros has quit [Remote host closed the connection]
darkf has joined #ocaml
travisbrady has joined #ocaml
gour has quit [Quit: WeeChat 0.4.1]
nikki93 has joined #ocaml
happy4crazy has joined #ocaml
happy4crazy has quit [Read error: Connection reset by peer]
happy4crazy has joined #ocaml
happy4crazy has left #ocaml []
iZsh has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.9.7-H-280704]: i've been blurred!]
saml has quit [Quit: Leaving]
gildor has quit [Quit: leaving]
iZsh has joined #ocaml
Neros has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
manizzle has quit [Read error: Operation timed out]
tane has quit [Ping timeout: 256 seconds]
tane has joined #ocaml
travisbrady has quit [Quit: travisbrady]
Simn has quit [Read error: Connection reset by peer]
Neros_ has joined #ocaml
Neros has quit [Ping timeout: 246 seconds]
manizzle has joined #ocaml
travisbrady has joined #ocaml
mangaba_leitosa has quit [Read error: Connection reset by peer]
mangaba_leitosa has joined #ocaml
nikki93 has quit [Remote host closed the connection]
travisbrady has quit [Read error: Operation timed out]
mangaba_leitosa has quit [Quit: leaving]
nikki93 has joined #ocaml
rgrinberg has quit [Quit: WeeChat 0.4.2]
nikki93 has quit [Remote host closed the connection]
zpe has joined #ocaml
wolfnn has quit [Ping timeout: 248 seconds]
zpe has quit [Ping timeout: 248 seconds]
rand000 has joined #ocaml
thomasga has quit [Quit: Leaving.]
strobegen has quit [Quit: Leaving.]
shinnya has joined #ocaml
bnoordhuis has quit [Ping timeout: 260 seconds]
strobegen has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
<rgrinberg>
how do you write more than 1 'with type' class in a module signature?