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>
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]
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.]