jeddhaberstro has quit [Read error: Connection reset by peer]
Amorphous has joined #ocaml
kig has joined #ocaml
kig has quit [Quit: uni account closing]
maattd has quit [Remote host closed the connection]
ikaros has quit [Quit: Leave the magic to Houdini]
<thelema>
Camarade_Tux: there might be some way, but it won't involve a stock ocamlc
boscop has quit [Quit: Gxis revido!]
slash_ has quit [Quit: Lost terminal]
sepp2k has quit [Quit: Leaving.]
drk-sd has quit [Quit: {'EXIT', drk-sd, "bye"}]
_unK has quit [Remote host closed the connection]
ice_four_phone has joined #ocaml
thrasibule_ has joined #ocaml
thrasibule has quit [Write error: Broken pipe]
ice_four_phone has quit [Quit: ice_four_phone]
ice_four_phone has joined #ocaml
ice_four_phone has quit [Client Quit]
rfg_ has joined #ocaml
sc30317 has joined #ocaml
thrasibule_ has quit [Ping timeout: 240 seconds]
joewilliams_away is now known as joewilliams
joewilliams is now known as joewilliams_away
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
enthymene has joined #ocaml
mooglenorph has quit [Ping timeout: 276 seconds]
ulfdoz has joined #ocaml
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
rfg has joined #ocaml
rfg_ has quit [Ping timeout: 245 seconds]
enthymene has joined #ocaml
rfg has quit [Remote host closed the connection]
rfg has joined #ocaml
oc13 has joined #ocaml
clog has joined #ocaml
enthymene has quit [Quit: I command me to SLEEEP!]
derdon has joined #ocaml
derdon has quit [Quit: derdon]
pimmhogeling has joined #ocaml
Yoric has joined #ocaml
bacam has quit [Ping timeout: 276 seconds]
bacam has joined #ocaml
avsm has joined #ocaml
tmaedaZ has quit [Ping timeout: 264 seconds]
_andre has joined #ocaml
tmaedaZ has joined #ocaml
{newbie} has joined #ocaml
ikaros has joined #ocaml
pimmhogeling has quit [Ping timeout: 245 seconds]
derdon has joined #ocaml
oc131 has joined #ocaml
oc13 has quit [Ping timeout: 276 seconds]
sepp2k has joined #ocaml
zhijie has quit [Quit: Leaving.]
ikaros has quit [Quit: Leave the magic to Houdini]
zhijie has joined #ocaml
f[x] has quit [Ping timeout: 260 seconds]
pimmhogeling has joined #ocaml
f[x] has joined #ocaml
bzzbzz has joined #ocaml
Accidus has joined #ocaml
<Accidus>
Does OCaml use an effect system to optimise code?
{newbie} has quit [Quit: {newbie}]
<f[x]>
no
joewilliams_away is now known as joewilliams
<thelema>
ocaml assumes that all functions can have side effects.
sc30317 has quit [Quit: Leaving]
_andre has quit [Ping timeout: 268 seconds]
<Accidus>
I see. thanks!
<Accidus>
Does any other ML compiler uses effect systems?
Alpounet has quit [Ping timeout: 276 seconds]
Alpounet has joined #ocaml
<thelema>
haskell sort-of does, requiring monads for side-effects.
<flux>
I don't know of any, but there could be. haskell and clean are somewhat related to the ML-family, though.
<flux>
I remember only reading white papers about effect-systems, so I don't know if any 'real' language has one :-)
smimou has quit [Read error: Operation timed out]
smimou has joined #ocaml
<flux>
just tried compiling ocaml for n900, and its assembler complains about stdt and ldlf instructions (I guess they are some FPU instructions). are there any patches around for wider varienty of ARM support?
<thelema>
I could probably push there too, but I didn't see much point
f[x] has quit [Ping timeout: 248 seconds]
<flux>
thelema, maybe you should push some 'NOT PUSHED ANYMORE'-kind of file?
<thelema>
I can just edit the readme...
<flux>
who reads readme :-)
<Camarade_Tux>
thelema: and origin is completely untouched? it's the exact copy of inria's cvs/svn?
<thelema>
yes, exact copy.
<thelema>
of svn.
<thelema>
if you find any discrepancy, I'd love to know, so maybe I can fix it.
<thelema>
inria's cvs is gone by now, I expect.
<Camarade_Tux>
I'm going to use git for something completely unrelated to ocaml-community so I wanted to be sure, thanks :-)
<thelema>
no problem. Glad it's useful.
drk-sd has joined #ocaml
_unK has joined #ocaml
ulfdoz has joined #ocaml
ttamttam has quit [Quit: Leaving.]
<flux>
well, it looks like my ocaml build for n900 atleast with SVN HEAD builds a lot further than 3.11
<Camarade_Tux>
not completely yet?
<flux>
it's still compiling
<flux>
34 minutes
<flux>
and going on..
<Camarade_Tux>
native compilation?
Submarine has quit [Ping timeout: 264 seconds]
<flux>
still making world
<flux>
make opt to follow
<flux>
the compilation is running under qemu, thus it's dead slow
<Camarade_Tux>
for C compilation, I was wondering if it would be possible to use qemu + icecream which is like ccache but handles cross-compilers too
<Camarade_Tux>
you'd have an x-compiler outside of the virtual machine and it'd compile everything, could be much faster
pimmhogeling has joined #ocaml
maattd has joined #ocaml
maattd has quit [Excess Flood]
maattd has joined #ocaml
sshc has joined #ocaml
<flux>
bah, out of disk space
<flux>
should've known that that is too little
<thelema>
doh
<flux>
and increasing the vmware image size is apparently not point'n click
<flux>
should've used raw disk image for that too, resizing that would be easy :)
<flux>
perhaps I'll do that resizing now and try that ocaml build later
<flux>
it looks like it would've gone through
<derdon>
flux: well, by increasing the vmware hard disk you don't increase the partition you want to be bigger
Jedai has joined #ocaml
<flux>
derdon, well, how do I even increase the hard disk? running resize2fs on the root device should be simple after that. (after remounting / as ro etc)
<flux>
actually I forgot I'm running virtualbox :)
<derdon>
flux: I use vmware fusion, the version for mac
<derdon>
flux: if you used it as well, you wouldn't ask because it's really easy-to-use ;)
<Camarade_Tux>
flux: you managed to say you were using qemu, vmware and vbox, make up your mind :P
<Camarade_Tux>
and you could add *another* disk, would be simpler
<ulfdoz>
ext3 is able to online resize (only enlarging)
[df] has left #ocaml []
<flux>
ulfdoz, the problem is actually enlarging the disk image and the partition inside it, the filesystem enlarging part is easy(ish)
<Camarade_Tux>
each time I've had this problem, I've added another disk and moved the files, it's the easiest way by far
<flux>
yep, that's what I'm doing now
pimmhogeling has quit [Ping timeout: 245 seconds]
<derdon>
Camarade_Tux: each time I had this problem, I installed another linux distribution :D
Yoric has quit [Quit: Yoric]
<Camarade_Tux>
might be a bit overkill ;p
Modius has joined #ocaml
Modius has quit [Max SendQ exceeded]
Modius has joined #ocaml
Submarine has joined #ocaml
jcaose has joined #ocaml
jcaose_ has joined #ocaml
jcaose_ has quit [Client Quit]
<flux>
now, restarting compilation..
<flux>
..and the lap-heating begins..
<Camarade_Tux>
flux: if you want, I can give you an access to a virtual machine on a quad-core
enthymene has joined #ocaml
slash_ has joined #ocaml
<flux>
nah, it's fine. I'd need to set up the dev env etc. besides I don't plan doing that alot :)
<Camarade_Tux>
well, tar c somepath | xz -9 > s.tar.xz and ssh it (can't remember how to pipe xz' output to ssh to a file xD )
<thelema>
tar c foo | xz -9 | ssh server "xz -d | tar x -f -"
<thelema>
(or something like that)
<Camarade_Tux>
yup, should work (just checked the manpage a bit) =)
<orbitz>
looks like i'll be doign this school project in Ocaml
<orbitz>
wheee
<orbitz>
i needed a real project to finally get down and wrote soem
<thelema>
yay. I'm having fun doing my compilers project in ocaml.
<orbitz>
awesome
<thelema>
yes it is.
<Camarade_Tux>
yay. I'm having fun doing my browser project in ocaml.
<Camarade_Tux>
errr, sounds wrong :P
<orbitz>
hah
<orbitz>
I'll be implemetnign an interpolated markov model framework in ocaml
<orbitz>
and then implemnting GLIMMER on top of that
<flux>
camarade_tux, my /scratchbox appears to be 4.5 gigabytes..
<Camarade_Tux>
flux: that's pretty small :P
<Camarade_Tux>
actually, xz'ing it would make it pretty small, prolly around 500MB
maattd has quit [Ping timeout: 248 seconds]
<flux>
xz is teh shit nowadays, huh?-)
<Camarade_Tux>
yeah :P
<Camarade_Tux>
actually, I've been using lzma for years now: good compression, fast extraction speed
<flux>
hm, apparently xz replace lzma
<flux>
my ubuntu isn't willing to do it without forcing, because dpkg depends on lzma
<Camarade_Tux>
the best part is probably that extraction speed is roughly constant: it's about twice faster to extract something that has been compressed twice more, it doesn't depend on the compression level (so -9 doesn't take ages to extract, it's actually faster [and uses about 64MB of memory])
<Camarade_Tux>
xz is basically lzma2: it's a *much* better container (lzma1 was very simple one)
<Camarade_Tux>
xz also comes with liblzma, which is most probably why you're having this dep (both are made by the same author and probably share the same codebase)
{newbie} has quit [Quit: {newbie}]
_zack has quit [Quit: Leaving.]
Yoric has joined #ocaml
smimou has quit [Read error: Operation timed out]
sc30317 has joined #ocaml
<sc30317>
hey all, I am trying to figure out how to generate a random number from -0.5 to 0.5
<sc30317>
I am currently using the following pastebin
<sc30317>
derdon, that was what I was using in the first place, but you'll notice that they are all from 0 inclusive to a bound
<sc30317>
derdon, im also not sure what Random.choice does?
<derdon>
sc30317: did you recognize that 0.5 and -0.5 are not included in the range of your functions?
<sc30317>
I didn't
<derdon>
sc30317: no, exclusive
<flux>
derdon, wouldn't you atleast need List.enum there?
<flux>
does batteries have enum literals?
smimou has joined #ocaml
<derdon>
"Random.float bound returns a random floating-point number between 0 (inclusive) and bound (exclusive)."
{newbie} has joined #ocaml
<sc30317>
derdon, thats why I was asking you about the Random.choice part you added. What does that do?
<derdon>
sc30317: it picks one random element from finite enumerations
<sc30317>
ok...
<sc30317>
but what you just gave me doesn't seem to work :(
<flux>
whee, done, in 63 minutes
<derdon>
like I said, I didn't test it
<sc30317>
oh ok
<derdon>
sc30317: and beside that, I have no experience with Batteries ;)
<sc30317>
I think Random.choice is python
<derdon>
sc30317: exposed :P
<sc30317>
haha
<sc30317>
well anyway, my code works; thats not the crucial part -> this is:
<sc30317>
I am given a #, and I have to create a List containing # random variables
<derdon>
variables? you mean references?
<sc30317>
derdon, yes
<sc30317>
so for example
<sc30317>
if I put in randomnumbers(4)
<sc30317>
I would have to create a list of 4 random numbers
<derdon>
that's a list of numbers
<sc30317>
yes
<derdon>
not a list of references
<sc30317>
ok then I would have to create a list of numbers
<sc30317>
sorry, I didn't understand
<flux>
hmph, I can't compile native binaries on my target platform because it needs gcc. oh well, ocamlc and toplevel is sufficient, and besides the aim is to compile the actual stuff in development environment..
<flux>
next step would be to make a deb out of it and let teh masses enjoy it! oh, and build unison :)
Submarine_ has joined #ocaml
Submarine has quit [Ping timeout: 265 seconds]
Submarine_ has quit [Client Quit]
Submarine has joined #ocaml
bzzbzz has quit [Quit: leaving]
_andre has quit [Quit: *puff*]
mbishop has quit [Ping timeout: 258 seconds]
_unK has quit [Read error: Connection reset by peer]
_unK has joined #ocaml
tmaedaZ has quit [Ping timeout: 264 seconds]
Submarine has quit [Ping timeout: 264 seconds]
smimou has quit [Ping timeout: 268 seconds]
tmaedaZ has joined #ocaml
ttamttam has quit [Quit: Leaving.]
smimou has joined #ocaml
avsm has quit [Quit: Leaving.]
<Camarade_Tux>
is there anything that will tell me if I'm on FreeBSD rather than Linux?
bzzbzz has joined #ocaml
<flux>
well. when I type 'uname' it says Linux. I hope it doesn't say Linux on FreeBSD?-)
<thelema>
flux: no enum literals - the best we've got is [1;2;3;4] |> List.enum
<flux>
I wonder if there's any nice syntax left for those. because enums are indeed quite pervasive in batteries, and writing enum literals would be nice particularly when using toplevel :)
jcaose has quit [Remote host closed the connection]
<thelema>
flux: better than that would be printing out more than just <abstr> for enumerations
<thelema>
It's on my todo list to hook in a ton more printers to the toplevel, including for int/string/float sets/enums/queues/stacks/etc.
smimou has quit [Ping timeout: 268 seconds]
<flux>
thelema, but if you print an enumeration, you've consumed it?
<thelema>
flux: it'd have to clone the enum first.
<Camarade_Tux>
flux: well, something easily usable from ocaml ;-)
<thelema>
And it'd have to handle infinite enums
<flux>
and.. doesn't that still destroy the original enum?
<thelema>
you print the clone.
<flux>
hm, so you can make a clone without consuming the original?
<thelema>
yes. You'll likely get some side-effects when running the clone.
<thelema>
I don't know exactly what it'd do for enums created from IO.inputs
<thelema>
ah, the solution for big enums is to clone and take only the first n elements
<thelema>
for some reasonable n
slash_ has quit [Quit: Lost terminal]
_zack has joined #ocaml
<thelema>
apparently for IO-created enums, clones consume the original. :(
<flux>
hmm
<thelema>
ah, it's even more ugly than that - the buffering that IO.chars_of does gives wierd jumps in the clones
smimou has joined #ocaml
avsm has joined #ocaml
<flux>
is it a bug?
<flux>
or a feature :)
_zack has quit [Ping timeout: 245 seconds]
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 245 seconds]
derdon has quit [Quit: derdon]
oc131 has quit [Ping timeout: 248 seconds]
mbishop has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
avsm1 has quit [Quit: Leaving.]
{newbie} has quit [Quit: {newbie}]
{newbie} has joined #ocaml
kriko has joined #ocaml
<kriko>
how do I print list? e.g. let sez1 = [4,5,6];; let _ = Printf.printf "seznam %s\n" sez1;;
matthieu_ has joined #ocaml
<Camarade_Tux>
you could use something like: 'List.iter (Printf.printf "%d\n") sez1'
<Camarade_Tux>
(variations possible)
<kriko>
ah, I need to iterate trough it
<kriko>
thanks
<Camarade_Tux>
well, there are several possible ways but this one is pretty simple and should be good for a light usage (don't want to say too much, I'm too tired)
<kriko>
got it, thanks
<Camarade_Tux>
9/win 14
<Camarade_Tux>
bleh ^^
<julm>
Camarade_Tux: Alt-r
<Camarade_Tux>
julm: remember, doesn't work with my keyboard layout ;-)
ulfdoz has quit [Ping timeout: 260 seconds]
<julm>
right, remember me to give you a man's layout on the 21.
<Camarade_Tux>
not sure I can remember anything for that long :P
<julm>
(no ambiguity inside)
<Camarade_Tux>
you should be beaten to death ;-)
kriko has quit [Remote host closed the connection]