<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