<Banana>
and the Thread modules and other are available.
<phj>
let me try it.
<Banana>
(it's mymythreadedtoplevel, not mymy of course :) )
<Banana>
arf
<Banana>
mythreadedtoplevel dammit.
<phj>
Banana: Where do you found the material on this?
<Banana>
hum, some previous knowledge (I did this once, just couldn't remember how :) and googlising a bit.
<Banana>
and lablgtk makefile too.
<Banana>
they provide a command line to create a threaded toplevel to test gtk apps in the toplevel.
<phj>
Banana: thanks
<Banana>
you're welcome.
<Banana>
i've seen this question here already... maybe it would be a good thing to add it in the faq or the manual.
<phj>
maybe it's me who asked this question before,
<phj>
but I forgot
<Banana>
maybe it's me who answered the first time :)))
<Banana>
but i forgot too.
moomlyn has quit [Read error: 104 (Connection reset by peer)]
smklsmkl has joined #ocaml
m[kel[ has quit [Read error: 110 (Connection timed out)]
phubuh has quit [Remote closed the connection]
phubuh has joined #ocaml
phubuh has quit [Remote closed the connection]
mattam_ has joined #ocaml
phubuh has joined #ocaml
mattam has quit [Read error: 110 (Connection timed out)]
<phj>
Isn't Thread.kill implemented on win32 platform ?
bk_ has joined #ocaml
<Banana>
hum...
<Banana>
it should.
<Banana>
are you using a native windows version or th cygwin one ?
Shammah has left #ocaml []
<phj>
Banana: I'm using cygwin one
<Banana>
hum...
<Banana>
strange.
kinners_ has joined #ocaml
bk_ has quit [Read error: 60 (Operation timed out)]
bk_ has joined #ocaml
<phj>
How to get system time ?
Vekza has joined #ocaml
Vekza has quit [Client Quit]
kinners_ has quit [Read error: 60 (Operation timed out)]
m[kel[ has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
SpookRijder has quit ["ni!"]
basti_ has joined #ocaml
<basti_>
is something know about an ocamlopt problem in debian?
<basti_>
i'm citing my system:
<basti_>
gate:~/coq-8.0# ocamlopt -v
<basti_>
gate:~/coq-8.0#
<basti_>
this is just one symptom... i'm trying to compile coq but it won't cos ocamlopt doesnt react.
<mellum>
works for me[tm]
<basti_>
mh
<basti_>
i compiled ocaml myself last time i compiled coq (version 7.something)
<basti_>
guess i'll just do that again
noss has joined #ocaml
<basti_>
"make" - "configure" was painless...
<phj>
I created a thread which is named tt
<phj>
# tt;;
<phj>
- : Thread.t = <abstr>
<phj>
# Thread.kill tt;;
<phj>
Exception: Invalid_argument "Thread.kill: not implemented".
<phj>
what's the matter with it?
<phj>
I'm running ocaml on win32 platform with cygwin
<phj>
ocaml-3.07
srv has quit ["leaving"]
srv has joined #ocaml
srv has quit [Client Quit]
basti_ has quit [Read error: 104 (Connection reset by peer)]
srv has joined #ocaml
srv has quit [Client Quit]
basti_ has joined #ocaml
phraktle has joined #ocaml
phj has quit [Read error: 110 (Connection timed out)]
srv has joined #ocaml
srv has quit [Client Quit]
monotonom has joined #ocaml
<malte>
hm, shouldnt there exist a caml subdir in /usr/include (i'm running gentoo)
<bk_>
/usr/lib/ocaml/
rox has quit [Read error: 104 (Connection reset by peer)]
rox has joined #ocaml
srv has joined #ocaml
srv has quit [Client Quit]
smklsmkl has joined #ocaml
<malte>
bk_, ah, thx
m[kel[ has quit [Read error: 110 (Connection timed out)]
m[kel[ has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
monotonom has quit ["Don't talk to those who talk to themselves."]
kosmikus is now known as kosmikus|away
noss has quit ["Leaving"]
mij_ has quit [Read error: 54 (Connection reset by peer)]
mij has joined #ocaml
smklsmkl has joined #ocaml
m[kel[ has quit [Read error: 110 (Connection timed out)]
smklsmkl has quit [Read error: 110 (Connection timed out)]
smklsmkl has joined #ocaml
Xcalibor has joined #ocaml
<Xcalibor>
greetings
<basti_>
hi Xcal
<Xcalibor>
hiyas
Defcon7 has quit [Client Quit]
smklsmkl has quit [Read error: 110 (Connection timed out)]
smklsmkl has joined #ocaml
Defcon7 has joined #ocaml
basti|- has joined #ocaml
basti_ has quit [Read error: 104 (Connection reset by peer)]
basti|- is now known as basti_
mr_underhill has quit [Nick collision from services.]
mr_underhill has joined #ocaml
mattam_ is now known as mattam
Anvil_Vapre has joined #ocaml
phubuh has quit [Remote closed the connection]
mr_underhill has quit [Read error: 104 (Connection reset by peer)]
phubuh has joined #ocaml
vezenchio has quit ["--- reality is that which, when you stop believing in it, doesn't go away ---"]
maihem has quit ["Client exiting"]
Smerdyakov has joined #ocaml
phraktle has quit [Read error: 54 (Connection reset by peer)]
kosmikus|away is now known as kosmikus
<Xcalibor>
time for bed, laters!
<malte>
'night
Xcalibor has quit ["Leaving"]
mij has quit [Read error: 110 (Connection timed out)]
keltus has joined #ocaml
bk_ has quit ["I'll be back"]
bk_ has joined #ocaml
bk_ has quit [Client Quit]
m[kel[ has joined #ocaml
bk_ has joined #ocaml
Dybbuk has quit [Remote closed the connection]
keltus has quit [Remote closed the connection]
smklsmkl has quit [Read error: 110 (Connection timed out)]
basti_ has quit []
denshi has joined #ocaml
<Tram>
I know that I already asked for it (maybe someone will be inspired tonight)...
<Tram>
what about udp multicasting within ocaml?
<Tram>
the official doc doesn't speaks about it...
<Riastradh>
You'll probably have to use the C FFI and write your own wrapper over BSD sockets.
<Riastradh>
...er, did you look through the Humps yet?
<Tram>
Riastradh: I hadn't that reflex... I went throug google with no succes
<Tram>
I think that I'll use C, but I'm realy used to wrappers :/
<Anvil_Vapre>
I know this might sound like a silly question, so I apologize in advance - I'm an ocaml newbie - how low to the hardware can one get with O'Caml? Would it be possible to write kernel code with it? has anyone tried?
<Tram>
anyway, thank you :)
<Riastradh>
What do you mean by 'can one get?'
<Anvil_Vapre>
would it be possible to write an os in ocaml instead of c.
<Anvil_Vapre>
for security reasons
<Riastradh>
There's nothing built-in to OCaml for communicating with hardware directly, but nor is there in C; however, just as you could link your C program to OSKit or something, you could write a wrapper over OSKit for OCaml.
<smimou>
IIRC there was a linux kernel written in OCaml
<smimou>
it's still in the hump but the link is broken
<Anvil_Vapre>
smimou - do you have a link?
<Anvil_Vapre>
oh.
<smimou>
anyway it would be terribly slow
<Anvil_Vapre>
would it? I was told ocaml performance was pretty comparable to c.
<smimou>
not for such kinds of things
<smimou>
the GC would slow the whole system
<smimou>
also the values are boxed
<Anvil_Vapre>
hrmm...that sucks.
<smimou>
for most high level applications performance is comparable to C
<denshi>
why is that, exactly?
<Anvil_Vapre>
are there any other languages like ocaml that could do it?
<smimou>
don't know but I don't think so
<smimou>
caml is pretty cool because you don't have to manage memory and because of the typing
<Anvil_Vapre>
can the garbage collector be turned off or customized?
<denshi>
Anvil_Vapre: languages are all turing-equivalent. you can write an OS with any of them, just choose your pain.
<Riastradh>
What do you mean 'that could do it?'
<smimou>
but for an OS kernel you can do much more efficiently by handling the memory by yourself
<smimou>
and by making ugly casts
<Riastradh>
smimou, in what places in a kernel would manually managing memory be faster than using garbage collection?
<Anvil_Vapre>
by 'that can do it' I mean a language that would be capable of handling the demands of kernel code while remaining type safe, have a syntax that made formal analysis of code somewhat practical, and still have decent performance
<Riastradh>
Remember: malloc() is _not_ cheap. Allocation in a garbage-collected system _is_ cheap. With a moving garbage collector, you get locality, which _really_ helps minimize cache misses.
<Anvil_Vapre>
so, Rastradh, you don't think the performance would be terrible?
<Riastradh>
I think that you can't say.
<Anvil_Vapre>
hrmm
<Riastradh>
A kernel written in C could be three orders of magnitude slower than one written in OCaml, or the other way around; there are a _lot_ of factors you have to consider.
<Anvil_Vapre>
what I'm thinking of doing is creating an os completely designed around security - incorporating the architectures of the mit exokernel and DEC's trusted VMS system.
<Anvil_Vapre>
very very tiny kernel stripped of anything not related to security
<Anvil_Vapre>
I want to use a language amenable to formal methods [i.e. something based on a mathematical system like lambda calc.]
<Anvil_Vapre>
perhaps it's crazy, I'm just a freshman, but I'm looking for interesting projects to work on
<Riastradh>
There's actually a fair bit of research in that area with Scheme -- the VLISP project, JAR's thesis, et cetera --, even though Scheme isn't statically typed.
<Anvil_Vapre>
hrmm
<mattam>
i think hOp (haskell OS) is related isn't it ?
<Anvil_Vapre>
hrmm...could you give me some links?