flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
q66 has quit [Remote host closed the connection]
tane has joined #ocaml
toolslive has quit [Quit: Leaving]
ollehar1 has quit [Ping timeout: 256 seconds]
darkf has joined #ocaml
tane has quit [Quit: Verlassend]
ollehar has quit [Ping timeout: 248 seconds]
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 252 seconds]
mfp has quit [Ping timeout: 248 seconds]
mfp has joined #ocaml
darkf_ is now known as darkf
yacks has joined #ocaml
oriba has quit [Quit: oriba]
fasta_ has joined #ocaml
fasta has quit [Ping timeout: 240 seconds]
paddymahoney has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
emmanuelux has joined #ocaml
destrius has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
derek_c has quit [Quit: Lost terminal]
gnuvince has quit [Ping timeout: 245 seconds]
gnuvince has joined #ocaml
mikurubeam has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
paddymahoney has quit [Remote host closed the connection]
mikurubeam has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
ggole has joined #ocaml
zpe has joined #ocaml
madroach has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
mikurubeam has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
paddymahoney has joined #ocaml
mikurubeam has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
thelema has quit [Remote host closed the connection]
thelema_ has joined #ocaml
cdidd has quit [Remote host closed the connection]
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
ttamttam has joined #ocaml
derek_c has joined #ocaml
ttamttam has quit [Remote host closed the connection]
kaustuv has left #ocaml []
Kakadu has joined #ocaml
gnuvince has quit [Remote host closed the connection]
paddymahoney has quit [Remote host closed the connection]
frogfoodeater has quit [Ping timeout: 240 seconds]
gnuvince has joined #ocaml
frogfoodeater has joined #ocaml
Cyanure has joined #ocaml
ttamttam has joined #ocaml
Yoric has joined #ocaml
derek_c has quit [Ping timeout: 245 seconds]
Kakadu has quit []
Kakadu has joined #ocaml
frogfoodeater has quit [Ping timeout: 272 seconds]
Pantoufle has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
anderse has joined #ocaml
frogfoodeater has joined #ocaml
awm22 has quit [Quit: Leaving.]
Cyanure has quit [Remote host closed the connection]
Snark has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
weie_ has joined #ocaml
yacks has joined #ocaml
weie has quit [Ping timeout: 245 seconds]
yacks has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
ollehar has joined #ocaml
trep has quit [Read error: Connection reset by peer]
yacks has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
thomasga has joined #ocaml
anderse has quit [Quit: anderse]
hkBst has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
mika1 has joined #ocaml
cago has joined #ocaml
wwilly has joined #ocaml
Neros has joined #ocaml
<wwilly> bonjour
tane has joined #ocaml
clog has joined #ocaml
clog has quit [^C]
clog has joined #ocaml
_andre has joined #ocaml
mcclurmc_laptop is now known as mcclurmc
ttamttam has joined #ocaml
jbrown has joined #ocaml
Neros has quit [Ping timeout: 272 seconds]
mfp has quit [Read error: Connection reset by peer]
darkf_ has joined #ocaml
cdidd has joined #ocaml
darkf has quit [Disconnected by services]
darkf_ is now known as darkf
mfp has joined #ocaml
rks_ has joined #ocaml
rks has quit [Ping timeout: 246 seconds]
mfp has quit [Ping timeout: 272 seconds]
mfp has joined #ocaml
<Kakadu> hey
<orbitz> hi
<companion_cube> ho
<adrien_oww> ho ho ho
* Kakadu Have relied to 4 hours old `bonjour` and now feel like an idiot
<Kakadu> replied*
<adrien_oww> nah
<Kakadu> CAn somebody explain in a few word how lablgtk makes memory managment of objects created at C-side?
<adrien_oww> hmmmmmmmmmmm
* adrien_oww has forgotten
rks_ is now known as rks
<Kakadu> Does it allow manual memory management to user?
<adrien_oww> ?
<adrien_oww> #destroy
q66 has joined #ocaml
<Kakadu> okay
<adrien_oww> dunno if it's invoked automatically
<Kakadu> Are object pools a common pattern for lablgtk?
<adrien_oww> haven't noticed it
awm22 has quit [Quit: Leaving.]
beckerb has joined #ocaml
awm22 has joined #ocaml
yacks has quit [Quit: Leaving]
NaCl_ is now known as NaCl
<Kakadu> arrrgh. My Qt data models are stupid and buggy. Why it does not report changes to QML?
mort___ has quit [Quit: Leaving.]
sc0ty has joined #ocaml
mikurubeam has joined #ocaml
yacks has joined #ocaml
Yoric has joined #ocaml
mikurubeam has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
awm22 has quit [Quit: Leaving.]
mikurubeam has joined #ocaml
awm22 has joined #ocaml
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I was trying to tell you).]
Uvs has joined #ocaml
mikurubeam has joined #ocaml
ollehar has joined #ocaml
ahokaomaeha has joined #ocaml
mikurubeam has quit [Read error: Connection reset by peer]
ahokaomaeha is now known as mikurubeam
mikurubeam has quit [Client Quit]
mikurubeam has joined #ocaml
djcoin has joined #ocaml
amaloz has joined #ocaml
yacks has quit [Remote host closed the connection]
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I was trying to tell you).]
mikurubeam has joined #ocaml
smondet has joined #ocaml
yacks has joined #ocaml
sc0ty has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
weie_ has quit [Read error: Connection reset by peer]
weie has joined #ocaml
groovy2shoes has joined #ocaml
Kakadu has quit []
ollehar1 has joined #ocaml
darkf has quit [Quit: Leaving]
Zeev has joined #ocaml
mikurubeam has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
Zeev has quit [Quit: HydraIRC -> http://www.hydrairc.com <- Go on, try it!]
mika1 has quit [Quit: Leaving.]
cago has quit [Ping timeout: 272 seconds]
mikurubeam has joined #ocaml
Itewsh has joined #ocaml
Itewsh has quit [Read error: Connection reset by peer]
Itewsh has joined #ocaml
Kakadu has joined #ocaml
asmanur_ has quit [Ping timeout: 264 seconds]
asmanur has joined #ocaml
Cyanure has joined #ocaml
Itewsh has quit [Remote host closed the connection]
hkBst has quit [Quit: Konversation terminated!]
mort___ has joined #ocaml
mikurubeam has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
beckerb has quit [Quit: Konversation terminated!]
beckerb has joined #ocaml
mattrepl has joined #ocaml
beckerb has quit [Ping timeout: 245 seconds]
ttamttam has quit [Quit: ttamttam]
Yoric has quit [Ping timeout: 246 seconds]
tane has joined #ocaml
stephendwyer has left #ocaml []
mikurubeam has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ggole has quit []
q66 has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
groovy2shoes has quit [Quit: Computer has gone to sleep]
ttamttam has joined #ocaml
tane has quit [Quit: Verlassend]
<hcarty> tonyg: I made a small myocamlbuild.ml to support a "static" tag - https://gist.github.com/hcarty/5198467
<hcarty> tonyg: That gist has rpath pieces as well - you really only need 7 of those lines for the static linking piece
<hcarty> thelema_: ^^ an update to the rpath plugin from the other day
ontologiae has quit [Ping timeout: 240 seconds]
<tonyg> hcarty: thanks!
<tonyg> incidentally, -cclib -static didn't work for me on OS X (or Windows, for that matter)
<hcarty> Only tested on Linux - I'm not too surprised I guess
mikurubeam has quit [Remote host closed the connection]
<tonyg> neither :)
<hcarty> I don't know how the magic of static vs dynamic linking varies from one platform to the next
mcclurmc has quit [Ping timeout: 252 seconds]
stephendwyer has joined #ocaml
q66 has joined #ocaml
mort___ has quit [Quit: Leaving.]
<thelema_> hcarty: any chance it will be pushed upstream?
mye_ has joined #ocaml
mye has quit [Ping timeout: 240 seconds]
mye_ is now known as mye
<ollehar1> help? does anybody want to show how to use this linear type monad?
<thelema_> ollehar1: the test value is an example of how to ue it.
<thelema_> the implementation is only a stub; no actual opening/closing is done, only printing when such an operation would be done.
<ollehar1> yes, I know, but I can't even get the stub to run :(
<thelema_> works for me in the ocaml toplevel
<ollehar1> no wait!
<thelema_> how are you trying to run it?
<ollehar1> he added the test, I didn't see it
<ollehar1> sorry
<ollehar1> I'll try the test first...
derek_c has joined #ocaml
tane has joined #ocaml
derek_c has quit [Quit: leaving]
Yoric has joined #ocaml
anonico has joined #ocaml
anonico has left #ocaml []
mikurubeam has joined #ocaml
Uvs has quit [Quit: Uvs]
mikurubeam has quit [Ping timeout: 246 seconds]
mikurubeam has joined #ocaml
ottbot has quit [Ping timeout: 272 seconds]
yacks has quit [Quit: Leaving]
ttamttam has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 240 seconds]
Cyanure has quit [Ping timeout: 252 seconds]
thelema_ is now known as thelema
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I have been trying to tell you all along).]
karswell` has quit [Remote host closed the connection]
mikurubeam has joined #ocaml
ottbot has joined #ocaml
_andre has quit [Quit: leaving]
Cyanure has joined #ocaml
notk0 has joined #ocaml
<notk0> hey guys :)
Kakadu has quit []
amaloz has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
Cyanure has quit [Ping timeout: 248 seconds]
ottbot has quit [Ping timeout: 264 seconds]
Cyanure has joined #ocaml
pkrnj has joined #ocaml
<adrien> well, crap, my bytecode executables which were very small were not compiled with -custom
<adrien> so that adds some space but it's still smaller than native executables
<thelema> someone should spend some time eliminating unused pure functions from modules at link time.
mye_ has joined #ocaml
<adrien> I'm pretty sure you can hack that
mye_ has quit [Client Quit]
<adrien> fairly easily
<thelema> syntactic identification (as done for generalization) would suffice for everyone not writing crazy code.
<adrien> well, you can have false positives (pure functions thought to be impure) but you cannot have false negatives
<adrien> so even marking them will require some checks
mye has quit [Ping timeout: 246 seconds]
zpe has quit [Remote host closed the connection]
<thelema> no marks; if the value is defined as `let f <args> = ...`, then it's a function and can be eliminated
<thelema> no user marks
<thelema> this check is already done for generalizing weak polymorphic types
<adrien> and my custom-linked bytecode executable doesn't work ='( (probably a limitation of my cross-compilation patches)
<adrien> what about 'let fun arg1 = let x = 42 in fun () -> x'
<thelema> compile error, fun is a reserved word
<rks> thelema: smartass :D
<thelema> if you meant `let f = let x = 42 in fun () -> x`, then that's not syntactically a function\
<adrien> this is fairly common code afaik:
<adrien> # let id_generator = let cur = ref 0 in fun () -> incr cur; !cur
<thelema> and those would not be able to be eliminated.
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I have been trying to tell you all along).]
<thelema> because of the ref 0; this could have side effects
<adrien> arf; I couldn't understand why you mentionned "compile error"; I see now: s/fun/f/
<rks> :p
<thelema> `let f arg1 = ...` is syntactically a function, and would be eliminable
gnuvince has quit [Remote host closed the connection]
<adrien> if you do:
<thelema> there is no possiblity of any side effect from pure function declarations like this, thus they can be removed
<adrien> let cur = ref 0
<thelema> pure isn't the right word.
<thelema> but maybe you get my meaning
<rks> well thelema
<rks> the function isn't pure
<adrien> let f init = cur := init; fun () -> incr cur; !cur
<rks> but the declaration is
<rks> so what you said is "ok" :-'
<rks> (it just depends on how you parse it :p)
<thelema> rks: yes, not (pure function) declarations, but pure (function declarations)
<thelema> adrien: if f is not referenced, then f can be removed from the executable
<rks> (second that)
<rks> well thelema, it seems like a reasonable patch
<rks> why don't you do it? :)
<thelema> if only I could write it.
<rks> (or, why do you think it hasn't been done already?)
<thelema> linking is icky.
<notk0> what is a pure function
<rks> notk0: it's a function that's still a virgin.
frogfoodeater has joined #ocaml
<adrien> /o\
<notk0> rks: in other words?
<adrien> thelema: I fail at trying to make counter-examples tonight :P
<rks> notk0: you want me to show you some pictures?
<notk0> what does it even mean a virgin? are you pure if you masturbate? or have anal sex or oral but not vaginal intecourse?
<def-lkb> notk0: depends on the implementation
<thelema> adrien: :) no worries.
<notk0> honestly tho, what is a pure function?
<thizanne> notk0: a function that always returns the same result when you give it the same parameters is a good idea for that
<rks> thizanne: unpure functions can do that.
<notk0> today during my compilation exam, there was a typing rule
<notk0> and it talked about pure and impure functions
<thizanne> rks: yes, but I think that the definition of "pure" is vague enough to make this idea quite right
<rks> thizanne: not in the context we were considering.
<thizanne> (or at least quite as wrong as any try to define it correctly)
<rks> notk0: http://en.wikipedia.org/wiki/Pure_function (don't thank me)
<notk0> can programming impure functions help me not be a virgin anymore?
<rks> definitly.
<notk0> really?
<rks> (sorry to have killed your discussion thelema)
<notk0> I think all my functions are already impure
<thelema> rks: no problem, it was about done
gnuvince has joined #ocaml
ollehar has quit [Ping timeout: 264 seconds]
ollehar1 has quit [Ping timeout: 256 seconds]
ollehar has joined #ocaml
gnuvince has quit [Remote host closed the connection]
ollehar1 has joined #ocaml
ohama has quit [Remote host closed the connection]
zpe has joined #ocaml
<ollehar> pure = has no side-effects
<ollehar> like IO
mikurubeam has joined #ocaml
notk0 has quit [Remote host closed the connection]
djcoin has quit [Quit: WeeChat 0.3.9.2]
zpe has quit [Ping timeout: 246 seconds]
frogfoodeater has quit [Ping timeout: 248 seconds]
ottbot has joined #ocaml
pkrnj has quit [Quit: Computer has gone to sleep.]
Cyanure has quit [Ping timeout: 240 seconds]
Cyanure has joined #ocaml
smondet has quit [Ping timeout: 272 seconds]
frogfoodeater has joined #ocaml
ollehar1 has quit [Ping timeout: 248 seconds]
ohama has joined #ocaml
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I have been trying to tell you all along).]
ulfdoz has joined #ocaml
ohama has quit [Remote host closed the connection]
ohama has joined #ocaml
emmanuelux has joined #ocaml
Cyanure has quit [Ping timeout: 248 seconds]
eikke has joined #ocaml
Snark has quit [Quit: Quitte]
ottbot has quit [Ping timeout: 240 seconds]
Pantoufle has quit [Ping timeout: 248 seconds]
leoncamel has quit [Ping timeout: 240 seconds]
destrius has joined #ocaml
pkrnj has joined #ocaml
Pantoufle has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
Nahra has quit [Ping timeout: 256 seconds]
Nahra has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]