gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
Tobu has quit [Ping timeout: 272 seconds]
flapjackery has joined #ocaml
emmanuelux has quit [Ping timeout: 245 seconds]
Tobu has joined #ocaml
datkin has quit [Remote host closed the connection]
flapjackery has quit [Quit: Textual IRC Client: http://www.textualapp.com/]
datkin has joined #ocaml
twittard has quit [Quit: twittard]
<dsheets> menhir's %inline rules seem to fire last in productions??
twittard has joined #ocaml
twittard has quit [Quit: twittard]
mjonsson has quit [Remote host closed the connection]
Tobu has quit [Ping timeout: 260 seconds]
ulfdoz has joined #ocaml
<otk_> wonder if i can write a plugin for python to aid functional programming
<otk_> add a type system and strong typing
<otk_> heh
<dsheets> it has been attempted
<companion_cube> and good anonymous functions
<otk_> and inference
<otk_> dsheets: i figured someone had
<dsheets> why would you still be programming in python, then?
<otk_> i get by with map/filter
<dsheets> :-P
<otk_> dsheets: nah i wouldnt i guess heh
<otk_> filter in python is broken
<otk_> lambda in python is broken
<otk_> its only syntax
<companion_cube> otk_: list comprehensions are better than filter, imho
<dsheets> tail call elimination is broken by choice
<otk_> lol
<otk_> companion_cube: perhaps but hmm
<otk_> i like the concept of filter
<otk_> but rarely see it done properly
<otk_> but i dont have the knowledge to implement it correctly
<otk_> also, pythons reduce is odd
<otk_> its reduce not fold, concept of fold but not fold
<otk_> there is someone im sure who wrote lisp who tried to hack things into python
<otk_> and got half way then gaveup
<otk_> im kind of crazy btw :)
<otk_> so if i say something crazy, just ignore it
<otk_> "my name is guido, lets do everything backwards! backwards is the new intuition"
<otk_> "also, filter and reduce are useless"
<otk_> lol
* otk_ stabs pin into guido voodoo doll
<dsheets> functional programming is hard, let's go mutating!
<otk_> zz
<otk_> mutating is harder to comprehend
<otk_> its harder for both machines and humans
emmanuelux has joined #ocaml
Tobu has joined #ocaml
ulfdoz has quit [Ping timeout: 244 seconds]
Submarine has quit [Ping timeout: 244 seconds]
otk has joined #ocaml
carrot has joined #ocaml
<carrot> anybody here?
<mrvn> no
otk_ has quit [Ping timeout: 245 seconds]
<flux> otk, harder for machines? you cannot do anything without mutating on current computers. every instruction mutates at least the program counter..
<mrvn> flux: I think he means that the GC has to catch mutations and revisit the objects and refresh all its pointer tracking.
<flux> hmh, I guess you mean in the sense it's difficult for computers to 'understand' the problem if it's described in a mutating manner
<otk> what mrvn sounds smarter than what i had in my head at the time that i have since forgotten
<otk> mrvn said*
<otk> tl;dr mutation is extremely complicated
Tobu has quit [Ping timeout: 272 seconds]
Tobu has joined #ocaml
<mrvn> Anyone know of a module that computes a checksum over a Bigarray? Preferably something safe like sha.
ftrvxmtrx has quit [Quit: Leaving]
<carrot> is there any example showing file io? especially csv files?
<_habnabit> carrot, example of what?
<_habnabit> carrot, also there's a Csv library which is pretty good
<carrot> i'm a complete newbie for ocaml
<_habnabit> okay.
<carrot> can you give me some kind of reference link to consult?
<carrot> my goal is to write a simple program that reads csv from a file line by line, does something and writes the results
<_habnabit> ugh, doesn't look like there's online API docs for Csv
<carrot> can you help me write then? if you have time?
<_habnabit> do you have godi or oasis already installed?
<_habnabit> otk, python already has strong typing !!
<_habnabit> and filter and reduce are totally useless
<carrot> haha, sorry but I'm using caml light
pango is now known as pangoafk
<_habnabit> how compatible is that with ocaml
<carrot> dunno, but links on the internet nearly refers them interchangably
<_habnabit> looks pretty different to me
edwin has joined #ocaml
<otk> reduce is useless in pytho yes
<_habnabit> if there was better support for immutable data structures, it would be different
EmmanuelOga has quit [Ping timeout: 248 seconds]
Snark has joined #ocaml
ftrvxmtrx has joined #ocaml
cdidd has joined #ocaml
twittard has joined #ocaml
carrot has left #ocaml []
cago has joined #ocaml
Tobu has quit [Ping timeout: 272 seconds]
MaskRay has joined #ocaml
MaskRay has quit [Changing host]
MaskRay has joined #ocaml
ocp has joined #ocaml
<adrien> morning
asdfhjkl has joined #ocaml
Tobu has joined #ocaml
silver has joined #ocaml
Tobu has quit [Ping timeout: 272 seconds]
thomasga has joined #ocaml
Tobu has joined #ocaml
djcoin has joined #ocaml
MaskRay has quit [Remote host closed the connection]
KDr2 has quit [Remote host closed the connection]
Xizor has joined #ocaml
ikaros has joined #ocaml
tonyb has joined #ocaml
<tonyb> Hi All. I'm trying to build a new libguestfs RPM on my Fedora system (long story) It's erroring out with: Error: Error on dynamically loaded library: /usr/lib64/ocaml/stublibs/dllthreads.so: /usr/lib64/ocaml/stublibs/dllthreads.so: undefined symbol: pthread_atfork
<mrvn> did you forget to link against pthread?
<tonyb> I know that if I link against /usr/lib64/libpthread.so I can resolve the dependancy.
<tonyb> mrvn: I don't know anything about ocaml.
<tonyb> the command the build is running is: ocamlfind ocamlc -g -warn-error CDEFLMPSUVYZX -I . -package unix,threads -thread -linkpkg mlguestfs.cma t/guestfs_070_threads.cmo -o t/guestfs_070_threads.bc
<tonyb> Can I just add something like -lpthread to that or is there something more fundamental I need to do (like rebuild ocaml)
<mrvn> that should link against libpthread
<tonyb> mrvn: I was affraid you'd say that :(
<tonyb> Ahh I straced the ocamlfind comamnd and it's getting /lib64/libpthread.so NOT /usr/lib64. I'll try and work out what the my linux distribution has done there ...
Xizor has quit [Ping timeout: 260 seconds]
Zedrikov has joined #ocaml
<tonyb> What is a cma file?
<Ptival> a compiled library file?
<Ptival> a bunch of cmo's basically
<tonyb> Ptival: thanks. That's what I suspected.
<mrvn> bytecode version
<tonyb> mrvn: Thanks.
<tonyb> I think I'm going to need to rebuild ocaml :( so that /usr/lib64/ocaml/stublibs/dllthreads.so gets the pthread_atfork resolved at buildtime rather then runtime.
<tonyb> pthread_atfork is only provided by glibc as a static symbol.
<tonyb> Thanks for your help.
Tobu has quit [Ping timeout: 272 seconds]
Tobu has joined #ocaml
KDr2 has joined #ocaml
MaskRay has joined #ocaml
tonyb has quit [Quit: done for the day ... with shiny new libguestfs RPMS]
aib has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
clog has quit [Ping timeout: 265 seconds]
clog has joined #ocaml
Submarine has joined #ocaml
aib has left #ocaml []
Zedrikov has quit [Quit: Bye all, see you next time!]
datkin has quit [Read error: Connection reset by peer]
datkin has joined #ocaml
_andre has joined #ocaml
datkin has quit [Ping timeout: 272 seconds]
carrot has joined #ocaml
<carrot> is there anyone who knows Caml Light?
<Ptival> carrot: unless you're forced to use it, don't :)
<Ptival> carrot: and if you're forced to use it, complain :)
letrec has joined #ocaml
EmmanuelOga has joined #ocaml
avsm has joined #ocaml
Submarine has quit [Ping timeout: 244 seconds]
MaskRay has left #ocaml []
Tobu has quit [Ping timeout: 260 seconds]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<Ptival> is it me or ocamldebug sucks?
<Ptival> I can't get "set arguments" to work
<Ptival> so I can't debug
<Ptival> yay
<Ptival> huh maybe it's just this symlink hell
Tobu has joined #ocaml
ikaros has quit [Remote host closed the connection]
Tobu has quit [Ping timeout: 272 seconds]
Tobu has joined #ocaml
carrot has left #ocaml []
carrot has joined #ocaml
carrot has left #ocaml []
Submarine has quit [Ping timeout: 260 seconds]
KDr2 has quit [Remote host closed the connection]
ulfdoz has joined #ocaml
andreypopp has joined #ocaml
_andre has quit [Remote host closed the connection]
andreypopp has quit [Quit: Computer has gone to sleep.]
_andre has joined #ocaml
<Ptival> adrien: my memory leak was actually a bug
<Ptival> which could be considered a feature...
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
Submarine has quit [Client Quit]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
andreypopp has joined #ocaml
andreypopp has quit [Client Quit]
Xizor has joined #ocaml
Submarine has quit [Ping timeout: 245 seconds]
<adrien> Ptival: can you explain more?
<mrvn> Urgs. I've just plotted the data flow for write request in my MAID server. Looks quite insane: http://mrvn.homeip.net/maid/data_flow.png
<adrien> heh
<adrien> sometimes graphs are worse than code
<mrvn> And that is excluding error handling or lock collision and shortcuts if data is cached
<mrvn> ups, forgot one more box
cago has quit [Quit: Leaving.]
ftrvxmtrx has quit [Quit: Leaving]
silver has quit [Remote host closed the connection]
ocp has quit [Ping timeout: 248 seconds]
g0dmoney- has quit [Ping timeout: 246 seconds]
g0dmoney- has joined #ocaml
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
Zedrikov has joined #ocaml
Zedrikov has quit [Read error: Connection reset by peer]
flapjackery has joined #ocaml
ezyang has quit [Remote host closed the connection]
Tobu has quit [Ping timeout: 260 seconds]
Tobu has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Client Quit]
ezyang has joined #ocaml
ftrvxmtrx has joined #ocaml
The_thir- is now known as The_third_man
Drup has joined #ocaml
asdfhjkl has left #ocaml []
Tobu has quit [Ping timeout: 272 seconds]
EmmanuelOga has quit [Ping timeout: 244 seconds]
_andre has quit [Quit: leaving]
Xizor has quit [Ping timeout: 260 seconds]
asdfhjkl has joined #ocaml
EmmanuelOga has joined #ocaml
twittard has quit [Quit: twittard]
letrec has quit [Ping timeout: 240 seconds]
Tobu has joined #ocaml
avsm has joined #ocaml
twittard has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
avsm has quit [Client Quit]
Zedrikov has joined #ocaml
flapjackery has quit [Quit: Textual IRC Client: http://www.textualapp.com/]
pangoafk is now known as pango
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.2]
Drup has quit [Quit: Leaving.]
Cyanure has joined #ocaml
Arsenik has joined #ocaml
Arsenik has quit [Client Quit]
Epeli has quit [Quit: Lost terminal]
smondet has joined #ocaml
g0dmoney- has quit [Changing host]
g0dmoney- has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
Tobu has quit [Ping timeout: 272 seconds]
Zedrikov has quit [Quit: Bye all, see you next time!]
Cyanure has quit [Ping timeout: 244 seconds]
Tobu has joined #ocaml
Cyanure has joined #ocaml
iago has joined #ocaml
Submarine has quit [Ping timeout: 246 seconds]
dsheets has quit [Quit: Leaving.]
andreypopp has joined #ocaml
andreypopp has quit [Client Quit]
andreypopp has joined #ocaml
dsheets has joined #ocaml
andreypopp has quit [Quit: Computer has gone to sleep.]
Cyanure has quit [Ping timeout: 260 seconds]
sander has joined #ocaml
Tobu has quit [Ping timeout: 272 seconds]
edwin has quit [Remote host closed the connection]
smondet has quit [Remote host closed the connection]
Snark has quit [Quit: Quitte]
djcoin has joined #ocaml
Tobu has joined #ocaml
fraggle_laptop has joined #ocaml
lamawithonel has quit [Read error: Connection reset by peer]
lamawithonel has joined #ocaml
EmmanuelOga has quit [Ping timeout: 244 seconds]
sander has quit [Quit: Leaving]
Xizor has joined #ocaml
Tobu has quit [Ping timeout: 260 seconds]
lamawithonel has quit [Ping timeout: 246 seconds]
lamawithonel has joined #ocaml
Cyanure has joined #ocaml
lamawithonel has quit [Ping timeout: 246 seconds]
Cyanure has quit [Remote host closed the connection]
fraggle_laptop has quit [Remote host closed the connection]
Tobu has joined #ocaml
Tobu has quit [Changing host]
Tobu has joined #ocaml
andreypopp has joined #ocaml
andreypopp has quit [Client Quit]
djcoin has quit [Quit: WeeChat 0.3.2]