<Camarade_Tux>
I had seen the mailing-list post but having instructions on how to use it makes it much more attractive :-)
seanmcl has joined #ocaml
<mrvn>
An ocaml VM as plugin would be more fun though.
<Camarade_Tux>
well, as someone mentionned on the mailing-list, you can have the vm in javascript and performance is actually not horrible
krankkat` has joined #ocaml
sepp2k has quit [Quit: Leaving.]
<mrvn>
javaSCRIPT?
<Camarade_Tux>
yup
<Camarade_Tux>
I had forgotten about ocamljava actually ;-)
krankkat` has quit [Remote host closed the connection]
krankkat` has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
krankkat` has quit [Remote host closed the connection]
krankkat` has joined #ocaml
krankkat` has quit [Remote host closed the connection]
krankkat` has joined #ocaml
seanmcl has quit [Quit: seanmcl]
slash_ has quit [Quit: leaving]
krankkatze has quit [Remote host closed the connection]
derdon has quit [Quit: derdon]
tmaedaZ is now known as tmaeda
fraggle_ has quit [Quit: -ENOBRAIN]
ReachingFarr has quit [Quit: Leaving.]
<mrvn>
Did you seen the mail from ygrek [no_scan_tag and int array]? Interesting optimization for the GC.
ofaurax has quit [Quit: Leaving]
fraggle_ has joined #ocaml
tmaeda has quit [Ping timeout: 264 seconds]
tmaeda has joined #ocaml
pimmhogeling has quit [Ping timeout: 245 seconds]
jao has quit [Remote host closed the connection]
avsm has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 245 seconds]
_unK has quit [Remote host closed the connection]
avsm1 has quit [Quit: Leaving.]
CcSsNET has quit [Remote host closed the connection]
albacker has quit [Ping timeout: 264 seconds]
CcSsNET has joined #ocaml
drk-sd has quit [Quit: {'EXIT', Drk-Sd, "bye"}]
thrasibule_ has joined #ocaml
thrasibule has quit [Write error: Broken pipe]
maskd has quit [Quit: ][]
mellum has quit [Ping timeout: 276 seconds]
mellum has joined #ocaml
mellum has quit [Ping timeout: 276 seconds]
quelqun_dautre has quit [Ping timeout: 245 seconds]
quelqun_dautre has joined #ocaml
dark has joined #ocaml
quelqun_dautre has quit [Ping timeout: 245 seconds]
Associat0r has quit [Quit: Associat0r]
quelqun_dautre has joined #ocaml
bzzbzz has quit [Quit: leaving]
dark has quit [Ping timeout: 256 seconds]
sc30317 has quit [Remote host closed the connection]
quelqun_dautre has quit [Ping timeout: 245 seconds]
quelqun_dautre has joined #ocaml
spearalot has joined #ocaml
yakischloba has quit [Quit: Leaving.]
dark has joined #ocaml
ygrek has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
smimou has quit [Changing host]
smimou has joined #ocaml
Submarine has joined #ocaml
dark has quit [Ping timeout: 276 seconds]
sepp2k has joined #ocaml
sepp2k has quit [Ping timeout: 260 seconds]
dark has joined #ocaml
kakadu has joined #ocaml
sepp2k has joined #ocaml
chicco has quit [Quit: WeeChat 0.2.6]
ulfdoz has joined #ocaml
<kakadu>
hallo world! Can you recommend me some Ocaml binding for QT? I found some of them, but they aren't longer developing now
avsm has joined #ocaml
maattd|away is now known as maattd
quelqun_dautre has quit [Ping timeout: 245 seconds]
quelqun_dautre has joined #ocaml
pimmhogeling has joined #ocaml
Leonidas has quit [Remote host closed the connection]
Leonidas has joined #ocaml
<Camarade_Tux>
kakadu: I guess you stumbled on qt-caml, unfortunately, ocaml doesn't have bindings to Qt besides theses ones ; they're almost ready but noone has finished them unfortunately =/
spearalot has quit [Quit: Computer has gone to sleep]
albacker has joined #ocaml
<kakadu>
=((
CcSsNET has quit [Quit: User disconnected]
pimmhogeling has quit [Remote host closed the connection]
lokydor has joined #ocaml
avsm1 has joined #ocaml
demitar has joined #ocaml
avsm has quit [Ping timeout: 265 seconds]
pimmhogeling has joined #ocaml
spearalot has joined #ocaml
ikaros has joined #ocaml
maattd is now known as maattd|away
dark has quit [Ping timeout: 252 seconds]
lokydor has quit [Ping timeout: 252 seconds]
lokydor has joined #ocaml
dark has joined #ocaml
maattd|away is now known as maattd
krankkatze has joined #ocaml
krankkatze has quit [Remote host closed the connection]
maskd has joined #ocaml
quelqun_dautre has quit [Ping timeout: 245 seconds]
quelqun_dautre has joined #ocaml
derdon has joined #ocaml
quelqun_dautre has quit [Ping timeout: 245 seconds]
quelqun_dautre has joined #ocaml
inkbottle has joined #ocaml
Narrenschiff has joined #ocaml
quelqun_dautre has quit [Ping timeout: 245 seconds]
quelqun_dautre has joined #ocaml
_unK has joined #ocaml
__marius__ has quit [Ping timeout: 252 seconds]
__marius__ has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
boscop has quit [Ping timeout: 268 seconds]
boscop has joined #ocaml
seafood has joined #ocaml
<mrvn>
Mixing CPS style with normal style sure makes a mess out of the code.
<derdon>
what is cps style?
<Alpounet>
Continuation Passing Style
<mrvn>
let foo add x y cont = cont (x + y)
<Alpounet>
you pass what will be executed on the result of your function as an argument to your fonction
<mrvn>
Which is nice if you need to block the execution for a while because you can just store (fun x -> cont x) somewhere till the x is available to continue and then do something else till then.
flux has quit [Read error: Connection reset by peer]
flux has joined #ocaml
<derdon>
mrvn: but using cps throughout the whole application seems very hard to me as a programmer
<derdon>
having one main function which get another function which gets and passes another function and so on...
<mrvn>
derdon: That's why I tried to avoid it where not neccessary. But that is a mess too.
<derdon>
I think one has to decide form case to case where it makes sense
<Alpounet>
performance-wise it can be a better choice sometimes
<derdon>
map is a good example for using cps
<mrvn>
I'm writing a filesystem and any time the code needs to do IO it can not block. It must have a continuation to store for the time when the background IO completes.
<mrvn>
So most of the B-Tree functions need a continuation.
<derdon>
ok, next week I can continue learning and practicing OCaml :)
<mrvn>
Also all changes to the B-tree must be atomic. As in I can't call any tree function with a continuation in the middle of modifying the tree structure.
<mrvn>
derdon: do you start the week on Sunday or Monday?
<derdon>
mrvn: the week starts on Monday in Germany :)
<derdon>
mrvn: so I mean tomorrow
<Alpounet>
mrvn, hi
seafood has quit [Quit: seafood]
Narrenschiff has quit [Quit: Narrenschiff]
<Alpounet>
did you get your polymorphic variant related issues sorted ?
<mrvn>
The hardest part I feel is remembering to call the continutation at any exit point. The functions are always 'a -> ('b -> unit) -> unit. So calling the continuation or not both returns unit. I'm thinking maybe I can get the type system to ensure the continuation is always called. Like type cps_res = private unit and ('a -> cps_res) or so.
<mrvn>
Alpounet: nope.
<Alpounet>
nobody could help ?
<mrvn>
not so far
<Alpounet>
it seems you really should ask on the mailing list
<mrvn>
I did
inkbottle has quit [Quit: Leaving]
<Alpounet>
oh yeah
<Alpounet>
just seen it sorry
<Alpounet>
+have
slash_ has joined #ocaml
<mrvn>
*grrr* Why do List, Array and Hashtbl fold have different signatures?
<Camarade_Tux>
it would be too simple otherwise :-)
<Alpounet>
I think this has been fixed in Batteries
<Alpounet>
this is what is commonly called an "INRIA fail"
<mrvn>
I guess for hashtbl fold left/right makes no sense.
<derdon>
an independent community for ocaml would be better
<mrvn>
derdon: isn't that what batteries is?
<Alpounet>
a fork, even better...
<derdon>
mrvn: yes it is
<derdon>
mrvn: but that should be the standard
<derdon>
Alpounet: no, a replacement
<mrvn>
Needs to mature more first.
<Alpounet>
hey, if we replace the current OCaml, Coq won't compile anymore
<Alpounet>
:-p
<mrvn>
Only problem is that some things need to be changed in the compiler and that would require a fork.
<Camarade_Tux>
compiler from inria and the rest from community?
<mrvn>
Camarade_Tux: That is wat batteries is
<Camarade_Tux>
I don't think completely forking the compiler would prove terribly sucessful
<Camarade_Tux>
mrvn: yup, and I think it's a pretty good "way"
lokydor has quit [Ping timeout: 252 seconds]
<mrvn>
Just can't fix everything.
<mrvn>
Or only with slow code.
<derdon>
is an OCaml compiler written in OCaml planned? (like pypy for python, for example)
<maattd>
derdon: It doesn't answer to my question :)
<derdon>
maattd: oh, sorry
<maattd>
derdon: I doubt it's 100% python
<derdon>
maattd: well, the stdlib is 100% python
<derdon>
maattd: and the python code is converted to a language like C or Java with python
brendan has quit [Ping timeout: 252 seconds]
<derdon>
maattd: in the official stdlib, a lot of the code is C for performance reasons
<Alpounet>
derdon, OCaml's compiler is already written mostly in OCaml
<Alpounet>
I started to port it to hlvm last year
<derdon>
Alpounet: ah, good
<Alpounet>
(yeah, this was the beginning of a fork :-p)
inkbottle has joined #ocaml
matthieu_ has joined #ocaml
Drk-Sd has joined #ocaml
maattd has quit [Ping timeout: 256 seconds]
spearalot has quit [Quit: -arividerchi]
kakadu has quit [Remote host closed the connection]
inkbottle has quit [Quit: Leaving]
st` has joined #ocaml
st` has quit [Read error: Connection reset by peer]
lokydor has joined #ocaml
kakadu has joined #ocaml
seanmcl has joined #ocaml
<flux>
derdon, so how about stuff like writingin into a file descriptor? not implemented in C, or can the libc function be called directly from python?
pimmhogeling has quit [Ping timeout: 245 seconds]
<mrvn>
flux: python already provides read/write
<mrvn>
Or do you mean the runtime lib of the compiler?
<flux>
mrvn, yes
<mrvn>
does pypy even have one? Wouldn't the output from pypy run with normal python runtime?
ulfdoz has quit [Ping timeout: 246 seconds]
<flux>
oh, of course
<flux>
I was somehow thinking it produces binaries :)
<mrvn>
hehe.
ulfdoz has joined #ocaml
pimmhogeling has joined #ocaml
kakadu has quit [Remote host closed the connection]
lokydor has quit [Ping timeout: 252 seconds]
kakadu has joined #ocaml
kakadu has quit [Read error: Connection reset by peer]
lokydor has joined #ocaml
dark has quit [Ping timeout: 240 seconds]
dark has joined #ocaml
lokydor has quit [Ping timeout: 252 seconds]
Drk-Sd has quit [Quit: {'EXIT', Drk-Sd, "bye"}]
CodeBlock has quit [Ping timeout: 264 seconds]
Drk-Sd has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
CodeBlock has joined #ocaml
mehdid has quit [Ping timeout: 245 seconds]
lokydor has joined #ocaml
CodeBlock has quit [Read error: Connection reset by peer]
CodeBlock` has joined #ocaml
yakischloba has joined #ocaml
mehdid has joined #ocaml
ttamttam has joined #ocaml
smimou has quit [Ping timeout: 265 seconds]
pimmhogeling has quit [Ping timeout: 245 seconds]
avsm1 has quit [Ping timeout: 276 seconds]
krankkat` has quit [Read error: No route to host]
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 264 seconds]
_zack has joined #ocaml
smimou has joined #ocaml
matthieu_ has quit [Remote host closed the connection]
orbitz has quit [Ping timeout: 260 seconds]
sepp2k1 has quit [Ping timeout: 245 seconds]
maattd has joined #ocaml
brendan has joined #ocaml
orbitz has joined #ocaml
sepp2k has joined #ocaml
tmaeda is now known as tmaedaZ
enthymene has joined #ocaml
avsm has joined #ocaml
ttamttam has quit [Quit: Leaving.]
smimou has quit [Ping timeout: 265 seconds]
smimou has joined #ocaml
Yoric has joined #ocaml
pimmhogeling has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 245 seconds]
pimmhogeling has quit [Ping timeout: 245 seconds]
krankkat` has joined #ocaml
_zack has quit [Quit: Leaving.]
travisbrady has quit [Read error: Connection reset by peer]
travisbrady has joined #ocaml
straw_hat has joined #ocaml
seafood has joined #ocaml
albacker has quit [Quit: Leaving]
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
maattd is now known as maattd|away
Submarine has quit [Quit: Leaving]
seafood has quit [Quit: seafood]
enthymene has joined #ocaml
maattd|away is now known as maattd
maattd has quit [Remote host closed the connection]
ikaros has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
lokydor has quit [Ping timeout: 252 seconds]
krankkat` has quit [Ping timeout: 248 seconds]
krankkat` has joined #ocaml
krankkat` has quit [Remote host closed the connection]
krankkatze has joined #ocaml
Yoric has quit [Quit: Yoric]
travisbrady has quit [Quit: travisbrady]
brendan has quit [Quit: brendan]
seanmcl has quit [Quit: seanmcl]
valross has joined #ocaml
demitar has quit [Quit: ChatSpace]
Jedai has quit [Ping timeout: 276 seconds]
Jedai has joined #ocaml
sshc has quit [Ping timeout: 240 seconds]
sshc has joined #ocaml
mutewit has quit [Quit: leaving]
mutewit has joined #ocaml
mutewit has quit [Client Quit]
ikaros has quit [Quit: Leave the magic to Houdini]
Amorphous has quit [Ping timeout: 264 seconds]
<mrvn>
Hah, I just reached the next milestone in my ocaml fuse FS. I can asynchronuosly stat / of the FS.
<mrvn>
The FS calls libaio to read data, goes back to the main loops select till the data arives and then responds to fuse when it does.
slash_ has quit [Quit: Lost terminal]
<mrvn>
Seems like I didn't forget to call the continuation anywhere in my tree code.