cymonts has quit [Read error: 110 (Connection timed out)]
Dybbuk has quit [carter.openprojects.net irc.openprojects.net]
themus has quit [carter.openprojects.net irc.openprojects.net]
Dybbuk has joined #ocaml
themus has joined #ocaml
kjs3_ is now known as kjs3
tmcm has joined #ocaml
<tmcm>
anyone know when the 3.05 release will be out?
Dieb has quit [Read error: 110 (Connection timed out)]
<exarkun>
Is there a better source for in_channel and out_channel docs than the manual and the orielly book? they both seem to skimp on the details
<mr_bubbs>
exarkun: which details do you wish to have?
<exarkun>
A list of available functions would be a good start :) So far the only two I've seen mentioned are "input", "read_line", and "read_int"
<timmy>
grep ": in_channel" /usr/lib/ocaml/*
<mr_bubbs>
:)
<mr_bubbs>
the manual is sourced right from the modules, heh
<mr_bubbs>
wysiwyg!
<exarkun>
ahh, cool. shoulda thought of that myself :)
gl has quit [No route to host]
skylan has quit [Read error: 113 (No route to host)]
smkl has quit [Read error: 110 (Connection timed out)]
smkl has joined #ocaml
owll has joined #ocaml
owll has quit [Client Quit]
Dalroth has joined #ocaml
Dalroth has quit [Read error: 110 (Connection timed out)]
Dalroth has joined #ocaml
Dalroth has quit [Read error: 110 (Connection timed out)]
<exarkun>
Is there a stdlib function to perform the inverse of a function?
<exarkun>
so, like: x = f ((inverse f) x) -> true?
<smkl>
no. it's not even possible to define inverses for most functions
<exarkun>
Does the debugger keep a memory image or do some other voodoo to make the "reverse" command work?
<exarkun>
I figured a general inverse wouldn't be possible, but I couldn' tell if the debugger was doing something special or if ocaml being staticly typed and functional let a certain subset of the domain be solved
<smkl>
it uses fork to keep the images
<exarkun>
ahh, ok
<smkl>
i guess there are some reversible virtual machines but i don't know how they work