smimou changed the topic of #ocaml to: OCaml 3.08.3 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
stef_ has quit [Remote closed the connection]
mr_pengy has joined #ocaml
stef_ has joined #ocaml
Sonarman has joined #ocaml
Gueben has quit [Remote closed the connection]
funktastic has joined #ocaml
cognominal has quit [Remote closed the connection]
stef_ is now known as cognominal
cognominal has quit ["Leaving"]
cognominal has joined #ocaml
znutar has quit [Read error: 60 (Operation timed out)]
Sonarman has quit [Read error: 110 (Connection timed out)]
XaXXon has joined #ocaml
<XaXXon> can anyone help me catch an exception? I am saying "raise(Failure "foo) and on the other side I'm saying try alwaysunit recv with (Failure "foo) -> eprintf "FOO";
<XaXXon> I know virtually nothing about ocaml, though :(
<XaXXon> but the exception is getting through uncaught
<XaXXon> alwaysunit just takes an anything and returns unit
<XaXXon> I don't know what type recv is..
<Smerdyakov> I hope the code you're using actually parses, in contrast to what you just told us. ;)
<XaXXon> it does..
<XaXXon> raise(Failure "foo")
<XaXXon> try alwaysunit recv with (Failure "foo") -> eprintf "FOO";
<XaXXon> that is the raise and try/with
<XaXXon> and it doesn't get caught
<Smerdyakov> How do you know?
<XaXXon> because I have prints on both sides of the line and I only get the one before
<XaXXon> of the try/with
<XaXXon> I'm sorry if some of the functions I'm saying aren't standard.. I'm trying to modify an existing program
<Riastradh> XaXXon, how do you expect your block to catch an exception that isn't in that block?
<XaXXon> and I don't know what are built-ins and what are stuff from this package
<XaXXon> Riastradh: I don't know?
<Riastradh> Try reading the manual, then.
<XaXXon> unfortunately that's not really an option.. but I won't insult you guys with my ignorant questions..
<XaXXon> at least not any longer
<Riastradh> It's not an option to read the manual?
<XaXXon> it's not in the best interest of time for me to learn ocaml right now
<XaXXon> at least not to that level
<Riastradh> You're going to have a bit of trouble maintaining an OCaml program, then.
<XaXXon> I'm just trying to fix a third party program.. and all I need to do is catch one exception
<XaXXon> if there was a good reference on just exceptions I'd be all about it
<Riastradh> It's called 'the manual.'
<XaXXon> otherwise, we'll wait for the dudes in israel to fix the problem
<XaXXon> what is this 'the manual'?
<XaXXon> any hints as to where to start that aren't "the beginning"?
<shrimpx> Smerdyakov: you going to the summer school on reliable computing this year?
<Smerdyakov> shrimpx, probably not. I'll be interning at MSR.
<shrimpx> ah ok
<shrimpx> congrats on the internship
<Smerdyakov> It's funny how these U Oregon people keep doing the same summer school every year, but each time with a deceptively different name.
<shrimpx> how do you mean?
<Smerdyakov> It's the same basic topic every year...
<Smerdyakov> It looks like a fun agenda, though. Too bad it would be nonsensical for me to go hear all these people I already know speak about things I already know about. ;)
<shrimpx> hh
<shrimpx> heh
<Smerdyakov> I've been in the same research group as more than half of the speakers at some time or another. ;)
* Smerdyakov cheats by counting the summer internship, since that would start before the summer school. ;)
<shrimpx> haha
<shrimpx> so you were at MSR last summer too?
<Smerdyakov> No, see, I'm counting the FUTURE. :D
<shrimpx> heh
<Smerdyakov> These summer schools eat up a lot of time, and not much of it is spent on the subject of the school.
<Smerdyakov> Which could be good, if more of the attendees were likely future research colleagues.
<Smerdyakov> This is more likely when the title of the school is less attractive to a broad audience. Not so this year. ;)
XaXXon has quit []
<Smerdyakov> Are you planning to go?
<shrimpx> yea i think so... i wanted to go last year but ended up taking summer classes
<Smerdyakov> Are you graduating this semester?
<shrimpx> yeah
mr_pengy has quit ["ERC Version 5.0.1 $Revision: 1.726.2.3 $ (IRC client for Emacs)"]
<Smerdyakov> Did you apply to grad schools this round?
<shrimpx> yea, looks like i'm going to UW
<shrimpx> though i haven't signed anything yet
<Smerdyakov> So you'd probably work with Dan Grossman, eh?
<shrimpx> yeah
<shrimpx> i'm still waiting to hear from upenn, but this late in the game it's probably a no
* shrimpx -> bbl
Sonarman has joined #ocaml
monochrom has joined #ocaml
vdrab has joined #ocaml
sproctor has joined #ocaml
CLxyz has quit [clarke.freenode.net irc.freenode.net]
pango has quit [clarke.freenode.net irc.freenode.net]
mflux has quit [clarke.freenode.net irc.freenode.net]
Banana has quit [clarke.freenode.net irc.freenode.net]
vincenz has quit [clarke.freenode.net irc.freenode.net]
sproctor has quit [clarke.freenode.net irc.freenode.net]
rossberg has quit [clarke.freenode.net irc.freenode.net]
mattam has quit [clarke.freenode.net irc.freenode.net]
noj has quit [clarke.freenode.net irc.freenode.net]
mauke has quit [clarke.freenode.net irc.freenode.net]
TheDracle has quit [clarke.freenode.net irc.freenode.net]
vdrab has quit [clarke.freenode.net irc.freenode.net]
cognominal has quit [clarke.freenode.net irc.freenode.net]
funktastic has quit [clarke.freenode.net irc.freenode.net]
mrvn has quit [clarke.freenode.net irc.freenode.net]
Hipo has quit [clarke.freenode.net irc.freenode.net]
humasect has quit [clarke.freenode.net irc.freenode.net]
_fab has quit [clarke.freenode.net irc.freenode.net]
ulfdoz has quit [clarke.freenode.net irc.freenode.net]
shrimpx has quit [clarke.freenode.net irc.freenode.net]
picard has quit [clarke.freenode.net irc.freenode.net]
calvin_ has quit [clarke.freenode.net irc.freenode.net]
Sonarman has quit [clarke.freenode.net irc.freenode.net]
cmeme has quit [clarke.freenode.net irc.freenode.net]
Nutssh has quit [clarke.freenode.net irc.freenode.net]
Hadaka has quit [clarke.freenode.net irc.freenode.net]
mellum has quit [clarke.freenode.net irc.freenode.net]
Riastradh has quit [clarke.freenode.net irc.freenode.net]
gim has quit [clarke.freenode.net irc.freenode.net]
wrunt has quit [clarke.freenode.net irc.freenode.net]
skylan has quit [clarke.freenode.net irc.freenode.net]
monochrom has quit [clarke.freenode.net irc.freenode.net]
mlh has quit [clarke.freenode.net irc.freenode.net]
Smerdyakov has quit [clarke.freenode.net irc.freenode.net]
ooo has quit [clarke.freenode.net irc.freenode.net]
j_n has quit [clarke.freenode.net irc.freenode.net]
Amorphous has quit [clarke.freenode.net irc.freenode.net]
gl` has quit [clarke.freenode.net irc.freenode.net]
det has quit [clarke.freenode.net irc.freenode.net]
svenl has quit [clarke.freenode.net irc.freenode.net]
sproctor has joined #ocaml
vdrab has joined #ocaml
monochrom has joined #ocaml
Sonarman has joined #ocaml
cognominal has joined #ocaml
funktastic has joined #ocaml
mrvn has joined #ocaml
Hipo has joined #ocaml
mlh has joined #ocaml
cmeme has joined #ocaml
pango has joined #ocaml
humasect has joined #ocaml
ulfdoz has joined #ocaml
wrunt has joined #ocaml
CLxyz has joined #ocaml
ooo has joined #ocaml
skylan has joined #ocaml
_fab has joined #ocaml
mflux has joined #ocaml
vincenz has joined #ocaml
Banana has joined #ocaml
mauke has joined #ocaml
noj has joined #ocaml
rossberg has joined #ocaml
mattam has joined #ocaml
TheDracle has joined #ocaml
shrimpx has joined #ocaml
calvin_ has joined #ocaml
picard has joined #ocaml
Riastradh has joined #ocaml
gim has joined #ocaml
j_n has joined #ocaml
svenl has joined #ocaml
gl` has joined #ocaml
mellum has joined #ocaml
Hadaka has joined #ocaml
Amorphous has joined #ocaml
Nutssh has joined #ocaml
Smerdyakov has joined #ocaml
det has joined #ocaml
sproctor has quit ["Download Gaim: http://gaim.sourceforge.net/"]
ulfdoz_ has joined #ocaml
vdrab has quit [Read error: 60 (Operation timed out)]
ulfdoz has quit [Read error: 60 (Operation timed out)]
vdrab has joined #ocaml
tintin has joined #ocaml
monochrom has quit ["me!"]
Sonarman has quit ["leaving"]
vezenchio has joined #ocaml
mrvn_ has joined #ocaml
mrvn has quit [Read error: 60 (Operation timed out)]
Snark has joined #ocaml
jewel has joined #ocaml
__DL__ has quit [Remote closed the connection]
mlh has quit ["who are you people and what are you doing in my computer!?"]
<CLxyz> Smerdyakov: MSR being ms research ?
Submarine has joined #ocaml
CLxyz has quit []
ejt has joined #ocaml
solarwind has joined #ocaml
Snark has quit [Read error: 110 (Connection timed out)]
mlh has joined #ocaml
Snark has joined #ocaml
jewel has quit [Read error: 60 (Operation timed out)]
gpciceri has joined #ocaml
gpciceri_ has joined #ocaml
gpciceri has quit [Read error: 104 (Connection reset by peer)]
gpciceri_ has quit [Read error: 104 (Connection reset by peer)]
gpciceri has joined #ocaml
smimou has joined #ocaml
vdrab has quit ["Leaving"]
pango has quit [Remote closed the connection]
jewel has joined #ocaml
CLxyz has joined #ocaml
<CLxyz> !lastspoke
pango has joined #ocaml
jewel has quit [Read error: 110 (Connection timed out)]
gpciceri_ has joined #ocaml
gpciceri_ has quit [Read error: 104 (Connection reset by peer)]
jewel has joined #ocaml
noj has quit ["reboot"]
noj has joined #ocaml
gpciceri has quit ["Ciao, sono un virus dei messaggi di quit. Sostituisci la tua vecchia linea di quit con questa cosi potro continuare a moltipl]
funktastic has quit ["Leaving"]
jewel has quit [Read error: 110 (Connection timed out)]
jewel has joined #ocaml
ulfdoz_ is now known as ulfdoz
jewel has quit [Read error: 60 (Operation timed out)]
shawn has joined #ocaml
inka has joined #ocaml
ejt has quit ["leaving"]
inka has quit []
_fab has quit [Remote closed the connection]
_JusSx_ has joined #ocaml
kenr has joined #ocaml
<kenr> any functional programming experts out there whose brains i can pick for a moment?
<mrvn_> depends
<kenr> i strongly suspect what i'm running into is a common issue, i just haven't found the right reference to crack it yet.
<kenr> basically, i have a functional data structure and i want to have references to pieces of it and update them.
<mrvn_> you mean mutables?
<kenr> no -- totally immutable data structure
<mrvn_> then you have to create a new one
<kenr> right.
<kenr> what i'm running into is how to keep a grasp on pieces of that data structure, since it will be changing over time.
<mellum> kenr: no, it won't, if it is funcitonal.
<mrvn_> kenr: you can't. changing it will create a new one that is totaly unrelated to the old.
<solarwind> If it's immutable, how can it change?
<kenr> i have been using integer id's in the records, but something seems bothersome about doing that.
<mrvn_> If you want other references to the old structure to get the new values then it must be mutable.
<mrvn_> not functional.
<mellum> Maybe it would be helpful if you stated what the *actual* problem is, and not what the problem is with the solution you tried.
<mrvn_> or you have to use a reference to the structure and change that
<kenr> sure. it's actually come up with two projects i'm working on. the first is a user interface. so i have a window that has many components on it.
<kenr> i'm trying out making it purely functional. so when there's a change the whole window is passed around and only the piece that needs to be changed and the whole window is then returned.
<kenr> i'm currently doing that by keeping an integer id the same when a component is updated, but that seems inelegant.
mlh has quit [Client Quit]
kenr has left #ocaml []
ejt has joined #ocaml
Banana_ has joined #ocaml
gl` has quit [Read error: 104 (Connection reset by peer)]
Submarine has quit [Read error: 145 (Connection timed out)]
Banana has quit [Read error: 145 (Connection timed out)]
mattam_ has joined #ocaml
gl` has joined #ocaml
mattam has quit [Read error: 110 (Connection timed out)]
Snark has quit [Read error: 60 (Operation timed out)]
Submarine has joined #ocaml
Banana_ has quit [Read error: 110 (Connection timed out)]
Banana has joined #ocaml
CosmicRay has joined #ocaml
gl` has quit [Remote closed the connection]
gl` has joined #ocaml
cognominal has quit [Read error: 60 (Operation timed out)]
cognominal has joined #ocaml
gl`_ has joined #ocaml
gl` has quit [Read error: 131 (Connection reset by peer)]
Nutssh has quit ["Client exiting"]
Nutssh has joined #ocaml
Snark has joined #ocaml
_JusSx__ has joined #ocaml
ejt has quit [Read error: 110 (Connection timed out)]
_JusSx_ has quit [Read error: 110 (Connection timed out)]
inka has joined #ocaml
inka has quit [Client Quit]
mrvn has joined #ocaml
mrvn has quit [Client Quit]
mrvn_ has quit [Read error: 145 (Connection timed out)]
Gueben has joined #ocaml
vezenchio has quit [""Under democracy one party always devotes its chief energies to trying to prove that the other party is unfit to rule—and bot]
Submarine has quit ["Leaving"]
gl`_ is now known as gl`
mfurr has joined #ocaml
__DL__ has joined #ocaml
znutar has joined #ocaml
Submarine has joined #ocaml
pango has quit ["Leaving"]
_JusSx_ has joined #ocaml
pango has joined #ocaml
_JusSx__ has quit [Read error: 110 (Connection timed out)]
clog has quit [^C]
clog has joined #ocaml
nostrademons has joined #ocaml
Submarine has quit ["Leaving"]
nostrademons has left #ocaml []
mfurr has quit ["bye"]
mattam_ is now known as mattam
__DL__ has quit [Remote closed the connection]
mr_pengy has quit ["WeeChat 0.1.0"]
_fab has joined #ocaml
_JusSx__ has quit ["leaving"]
Riastrad1 has joined #ocaml
Riastradh has quit [Nick collision from services.]
Riastrad1 is now known as Riastradh
smimou has quit ["?"]
CosmicRay has quit ["Client exiting"]
joey_ has joined #ocaml
joey_ has left #ocaml []
CosmicRay has joined #ocaml
mlh has joined #ocaml