sponge45 changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/
levi_home has joined #ocaml
Mr_Awesome has quit [Read error: 104 (Connection reset by peer)]
Submarine has quit [Remote closed the connection]
Mr_Awesome has joined #ocaml
pango has joined #ocaml
FZ has quit ["ERC Version 5.0.4 $Revision: 1.726.2.20 $ (IRC client for Emacs)"]
pango_ has quit [Remote closed the connection]
velco has quit ["I'm outta here ..."]
basis has left #ocaml []
slowriot has quit []
_JusSx_ has joined #ocaml
nonpop has left #ocaml []
descender has quit [sterling.freenode.net irc.freenode.net]
ppsmimou has quit [sterling.freenode.net irc.freenode.net]
eradman has quit [sterling.freenode.net irc.freenode.net]
Shimei has quit [sterling.freenode.net irc.freenode.net]
xian has quit [sterling.freenode.net irc.freenode.net]
mellum has quit [sterling.freenode.net irc.freenode.net]
cratuki__ has quit [sterling.freenode.net irc.freenode.net]
dark_light has quit [sterling.freenode.net irc.freenode.net]
swater has quit [sterling.freenode.net irc.freenode.net]
bluestorm_aw has quit [sterling.freenode.net irc.freenode.net]
triple_ has quit [sterling.freenode.net irc.freenode.net]
mbishop has quit [sterling.freenode.net irc.freenode.net]
Eridius has quit [sterling.freenode.net irc.freenode.net]
haelix has quit [sterling.freenode.net irc.freenode.net]
mattam has quit [sterling.freenode.net irc.freenode.net]
pango has quit [sterling.freenode.net irc.freenode.net]
trurl__ has quit [sterling.freenode.net irc.freenode.net]
stevan_ has quit [sterling.freenode.net irc.freenode.net]
jdev has quit [sterling.freenode.net irc.freenode.net]
zmdkrbou has quit [sterling.freenode.net irc.freenode.net]
Norgg has quit [sterling.freenode.net irc.freenode.net]
Mr_Awesome has quit [sterling.freenode.net irc.freenode.net]
levi_home has quit [sterling.freenode.net irc.freenode.net]
cmeme has quit [sterling.freenode.net irc.freenode.net]
johnnowak has quit [sterling.freenode.net irc.freenode.net]
klapmuetz has quit [sterling.freenode.net irc.freenode.net]
twobitsp1ite has quit [sterling.freenode.net irc.freenode.net]
jlouis has quit [sterling.freenode.net irc.freenode.net]
Riesz has quit [sterling.freenode.net irc.freenode.net]
Hadaka has quit [sterling.freenode.net irc.freenode.net]
Oatmeat|umn has quit [sterling.freenode.net irc.freenode.net]
gaja has quit [sterling.freenode.net irc.freenode.net]
_JusSx_ has quit [sterling.freenode.net irc.freenode.net]
sponge45 has quit [sterling.freenode.net irc.freenode.net]
ikaros has quit [sterling.freenode.net irc.freenode.net]
Smerdyakov has quit [sterling.freenode.net irc.freenode.net]
slipstream-- has quit [sterling.freenode.net irc.freenode.net]
bzzbzz has quit [sterling.freenode.net irc.freenode.net]
ozzloy has quit [sterling.freenode.net irc.freenode.net]
Ugarte has quit [sterling.freenode.net irc.freenode.net]
pattern has quit [sterling.freenode.net irc.freenode.net]
seafood has quit [sterling.freenode.net irc.freenode.net]
gim has quit [sterling.freenode.net irc.freenode.net]
shans_home has quit [sterling.freenode.net irc.freenode.net]
gunark has quit [sterling.freenode.net irc.freenode.net]
ramkrsna has quit [sterling.freenode.net irc.freenode.net]
bebui has quit [sterling.freenode.net irc.freenode.net]
TaXules_ has quit [sterling.freenode.net irc.freenode.net]
joshcryer has quit [sterling.freenode.net irc.freenode.net]
flux__ has quit [sterling.freenode.net irc.freenode.net]
zmdkrbou has joined #ocaml
Norgg has joined #ocaml
haelix has joined #ocaml
mattam has joined #ocaml
xian has joined #ocaml
mellum has joined #ocaml
jdev has joined #ocaml
Shimei has joined #ocaml
eradman has joined #ocaml
stevan_ has joined #ocaml
trurl__ has joined #ocaml
ppsmimou has joined #ocaml
descender has joined #ocaml
Eridius has joined #ocaml
mbishop has joined #ocaml
triple_ has joined #ocaml
bluestorm_aw has joined #ocaml
cratuki__ has joined #ocaml
swater has joined #ocaml
dark_light has joined #ocaml
Mr_Awesome has joined #ocaml
pango has joined #ocaml
_JusSx_ has joined #ocaml
sponge45 has joined #ocaml
ikaros has joined #ocaml
Smerdyakov has joined #ocaml
slipstream-- has joined #ocaml
bzzbzz has joined #ocaml
ozzloy has joined #ocaml
Ugarte has joined #ocaml
levi_home has joined #ocaml
cmeme has joined #ocaml
johnnowak has joined #ocaml
klapmuetz has joined #ocaml
twobitsp1ite has joined #ocaml
jlouis has joined #ocaml
Riesz has joined #ocaml
Hadaka has joined #ocaml
Oatmeat|umn has joined #ocaml
gaja has joined #ocaml
seafood has joined #ocaml
gim has joined #ocaml
pattern has joined #ocaml
shans_home has joined #ocaml
gunark has joined #ocaml
ramkrsna has joined #ocaml
bebui has joined #ocaml
TaXules_ has joined #ocaml
joshcryer has joined #ocaml
flux__ has joined #ocaml
_JusSx_ has quit [Client Quit]
bluestorm_aw has quit ["Konversation terminated!"]
Smerdyakov has quit ["Leaving"]
pstickne has quit [Read error: 54 (Connection reset by peer)]
pstickne has joined #ocaml
johnnowak_ has joined #ocaml
johnnowak_ has quit []
swater has quit ["Quat"]
johnnowak has quit [Read error: 110 (Connection timed out)]
Riesz has quit ["Leaving.."]
jlouis has quit [Read error: 110 (Connection timed out)]
jlouis has joined #ocaml
sponge45 has quit ["zzzzzzzzzz"]
alkoma has joined #ocaml
johnnowak has joined #ocaml
alkoma has quit ["[BX] Choosey moms choose BitchX!"]
DeeJay has joined #ocaml
DeeJay has left #ocaml []
b00t has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
jlouis has joined #ocaml
b00t has quit [Remote closed the connection]
ChoJin has joined #ocaml
cratuki__ is now known as cratuki
b00t has joined #ocaml
Mr_Awesome has quit ["and the Awesome Level drops"]
b00t has quit [Read error: 113 (No route to host)]
b00t has joined #ocaml
b00t has quit [No route to host]
b00t has joined #ocaml
slipstream-- has quit [Read error: 110 (Connection timed out)]
slipstream has joined #ocaml
b00t has quit [Remote closed the connection]
Submarine has joined #ocaml
_velco has joined #ocaml
_velco is now known as velco
swater has joined #ocaml
bluestorm has joined #ocaml
johnnowak has quit []
johnnowak has joined #ocaml
johnnowak has quit []
Smerdyakov has joined #ocaml
descender has quit [Read error: 104 (Connection reset by peer)]
descender has joined #ocaml
asm has joined #ocaml
ChoJin has quit ["This computer has gone to sleep"]
bluestorm is now known as bluestorm_aw
Smerdyakov has quit ["Leaving"]
bluestorm_aw has quit [Remote closed the connection]
johnnowak has joined #ocaml
johnnowak has quit [Client Quit]
asm has quit [Remote closed the connection]
_JusSx_ has joined #ocaml
bluestorm has joined #ocaml
nonpop has joined #ocaml
descender has quit [Read error: 110 (Connection timed out)]
klapmuet1 has joined #ocaml
smimou has joined #ocaml
klapmuetz has quit [Read error: 110 (Connection timed out)]
Submarine has quit [Read error: 110 (Connection timed out)]
descender has joined #ocaml
ikaros has quit [Read error: 110 (Connection timed out)]
ikaros has joined #ocaml
NoGoo has joined #ocaml
Submarine has joined #ocaml
love-pingoo has joined #ocaml
NoGoo has quit ["Leaving."]
swater has quit ["Quat"]
swater has joined #ocaml
TaXules_ is now known as TaXules
joshcryer has quit [Read error: 104 (Connection reset by peer)]
love-pingoo has quit ["Connection reset by pear"]
Submarine has quit [Read error: 110 (Connection timed out)]
bluestorm has quit [Remote closed the connection]
bluestorm has joined #ocaml
MrCraps has joined #ocaml
cmeme has quit [Read error: 104 (Connection reset by peer)]
cmeme has joined #ocaml
cmeme has quit [Read error: 104 (Connection reset by peer)]
cmeme has joined #ocaml
NoGoo has joined #ocaml
slowriot has joined #ocaml
NoGoo has left #ocaml []
love-pingoo has joined #ocaml
<slowriot>
has anyone here tried using inductive graphs? Right now I'm reading this: http://web.engr.oregonstate.edu/~erwig/papers/InductiveGraphs_JFP01.pdf. It seems a bit complicated to get an inductive graph set up. I guess writing algorithms which operate on them is pretty easy, though.
<tsuyoshi>
what does an inductive graph give you
<slowriot>
It's persistant.
<slowriot>
I tried writing an imperative graph algorithm in ocaml, and the code was pretty ugly... I thought there might be a more functional way of doing it.
swater_ has joined #ocaml
<tsuyoshi>
jesus.. the "related work" sections is rather long
<tsuyoshi>
section
<slowriot>
yeah
<slowriot>
Despite the complexity involved in setting up the graphs, the algorithms that operate on them are very elegant.
<slowriot>
Just take a look at the dfs and bfs.
<tsuyoshi>
ahh.. my brain hurts
<tsuyoshi>
this looks interesting
<tsuyoshi>
but I need to fix this bug in heimdal ftp first
<tsuyoshi>
but just out of curiosity, what do you need a graph for?
<slowriot>
doing sphere problems
<tsuyoshi>
I've never actually used graphs for anything
<tsuyoshi>
sphere problems?
<slowriot>
also, I eventually want to write a functional planning system