mcclurmc has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 264 seconds]
jeregrine has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest19705
Hannibal_Smith has quit [Quit: Sto andando via]
Guest19705 has quit [Ping timeout: 265 seconds]
ollehar has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
ollehar has joined #ocaml
thomasga has quit [Quit: Leaving.]
tlockney is now known as tlockney_away
jwatzman|work has quit [Quit: jwatzman|work]
racycle_ has quit [Quit: ZZZzzz…]
q66 has quit [Quit: Leaving]
rgrinberg has quit [Quit: Leaving.]
philtor_ has quit [Ping timeout: 276 seconds]
tnguyen1 has quit [Quit: tnguyen1]
boogie has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
divyanshu has joined #ocaml
studybot_ has quit [Remote host closed the connection]
divyanshu has quit [Client Quit]
divyanshu has joined #ocaml
huza has joined #ocaml
jeregrine has quit [Ping timeout: 255 seconds]
alpounet has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
ygrek has joined #ocaml
alpounet has quit [Ping timeout: 252 seconds]
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest46233
Guest46233 has quit [Ping timeout: 255 seconds]
ygrek has quit [Ping timeout: 258 seconds]
studybot_ has joined #ocaml
ygrek has joined #ocaml
manizzle has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 264 seconds]
jao has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Quit: Leaving.]
bbarker has joined #ocaml
maattdd has joined #ocaml
WraithM has quit [Remote host closed the connection]
maattdd has quit [Ping timeout: 264 seconds]
racycle_ has joined #ocaml
WraithM has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
studybot_ has quit [Write error: Broken pipe]
philtor has quit [Ping timeout: 258 seconds]
studybot_ has joined #ocaml
mcclurmc has joined #ocaml
michael_lee has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
cesar_ has joined #ocaml
cesar_ is now known as Guest23991
ontologiae has joined #ocaml
Guest23991 has quit [Ping timeout: 264 seconds]
divyanshu has joined #ocaml
divyanshu has quit [Client Quit]
divyanshu has joined #ocaml
ontologiae has quit [Ping timeout: 258 seconds]
WraithM has quit [Ping timeout: 258 seconds]
rz has quit [Ping timeout: 258 seconds]
rgrinberg has joined #ocaml
philtor_ has joined #ocaml
ustunozgur has joined #ocaml
yacks has joined #ocaml
racycle_ has quit [Quit: ZZZzzz…]
ustunozgur has quit [Ping timeout: 255 seconds]
axiles has joined #ocaml
ggole has joined #ocaml
iorivur has quit [Ping timeout: 252 seconds]
hcarty has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest5800
iorivur has joined #ocaml
Guest5800 has quit [Ping timeout: 245 seconds]
ustunozgur has joined #ocaml
araujo has quit [Ping timeout: 255 seconds]
ustunozgur has quit [Ping timeout: 252 seconds]
philtor_ has quit [Ping timeout: 265 seconds]
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
huza has joined #ocaml
araujo has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
iorivur has quit [Ping timeout: 276 seconds]
ustunozgur has joined #ocaml
ustunozgur has quit [Ping timeout: 265 seconds]
Simn has joined #ocaml
__JokerDoom has quit [Ping timeout: 240 seconds]
JokerDoom has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
huza has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
huza has joined #ocaml
AltGr has joined #ocaml
ustunozgur has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
huza has joined #ocaml
ousado has quit [Remote host closed the connection]
cesar_ has joined #ocaml
cesar_ is now known as Guest91887
ikaros has joined #ocaml
Guest91887 has quit [Ping timeout: 264 seconds]
michael_lee has quit [Quit: Ex-Chat]
yacks has quit [Ping timeout: 252 seconds]
huza has quit [Quit: WeeChat 0.3.8]
iorivur has joined #ocaml
huza has joined #ocaml
yacks has joined #ocaml
tiglionabbit has joined #ocaml
ccasin has quit [Ping timeout: 255 seconds]
ccasin has joined #ocaml
ontologiae has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
huza has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
Submarine has quit [Quit: Leaving]
pgomes has joined #ocaml
thomasga has joined #ocaml
Averell is now known as Averell
mort___ has joined #ocaml
thomasga has quit [Quit: Leaving.]
tiglionabbit has quit [Quit: tiglionabbit]
huza has quit [Quit: WeeChat 0.3.8]
huza has joined #ocaml
eikke__ has joined #ocaml
hhugo has joined #ocaml
ousado has joined #ocaml
alpounet has joined #ocaml
hhugo has quit [Quit: Leaving.]
iorivur has quit [Quit: No Ping reply in 180 seconds.]
iorivur has joined #ocaml
dsheets has joined #ocaml
huza has quit [Quit: sulit]
huza has joined #ocaml
kaustuv has joined #ocaml
<kaustuv>
The new #show directive is pretty sweet, but I wish it could also show the documentation
cesar_ has joined #ocaml
cesar_ is now known as Guest86425
thomasga has joined #ocaml
Guest86425 has quit [Ping timeout: 265 seconds]
eizo has quit [Ping timeout: 240 seconds]
<flux>
new #show directive?
<companion_cube>
in 4.02, you can use #show in the toplevel to show the signature of a module
<companion_cube>
(or something like this)
<flux>
so, to replace the hack of module M = SomeModule?
<flux>
as that no longer produces the signature due to producing a module alias?
<companion_cube>
yes
maattdd has joined #ocaml
Submarine has joined #ocaml
<huza>
4.02 release?
<companion_cube>
it's in beta right now
<huza>
metap5 is separate from ocaml, do you heard that?
<companion_cube>
metap5 ? you mean camlp4 ?
<huza>
camlp5
<huza>
sorry for error
<companion_cube>
I'm not sure camlp5 has been in the compiler for a long time
<companion_cube>
it's camlp4 which is going to be split off
<huza>
how do you think about camlp5 vs meta ocaml ?
<huza>
or camlp4 vs meta ocaml
<companion_cube>
I'm not sure how they are related
<huza>
as meta programming tool
<companion_cube>
camlp4 is a syntactic preprocessor
<companion_cube>
and metaocaml a multi-staging evaluation language
iorivur has quit [Ping timeout: 252 seconds]
<companion_cube>
afaict
ontologiae has joined #ocaml
<huza>
thx,i'm not very clear about that two.
thomasga has quit [Quit: Leaving.]
<huza>
original i tried extended the syntax Ocaml,but I don'k like camlp4 syntax, so change to Meta Ocaml.
<companion_cube>
camlp4 is for extending syntax, so you may want to use it; metaOCaml is for specializing some code during execution, mostly for performance
<huza>
it seems metaocaml extend syntax at execution.
<huza>
maybe misunderstand it.
avsm has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
<kaustuv>
flux, companion_cube: you can also #show types. E.g., #show Pervasives.format6 or #show CamlinternalFormatBasics.fmtty
<companion_cube>
kaustuv: good!
<companion_cube>
huza: I don't think so. It has some additional syntax to express runtime specialization, but nothing more afaik
divyanshu has joined #ocaml
<huza>
companion_cube: thx a lot.maybe i need some more time to study it.
kaustuv has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
Submarine has quit [Ping timeout: 260 seconds]
huza has quit [Ping timeout: 265 seconds]
iorivur has joined #ocaml
trap_exit has joined #ocaml
<trap_exit>
what tool do I use to write javascript with ocaml ?
<companion_cube>
there's a compiler to javascript, named js_of_ocaml
<kerneis>
part of the ocsigen project, but can be used as a stand-alone tool
hhugo has joined #ocaml
pgomes` has joined #ocaml
pgomes` has quit [Remote host closed the connection]
ustunozgur has quit [Remote host closed the connection]
trap_exit has quit [Quit: Page closed]
pyon has quit [Read error: Connection reset by peer]
_andre has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest51361
hhugo has quit [Quit: Leaving.]
Submarine has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
maattdd has quit [Ping timeout: 240 seconds]
Guest51361 has quit [Ping timeout: 252 seconds]
studybot_ has quit [Remote host closed the connection]
<adrien>
this should probably be tried for ocamlbuild on windows
<adrien>
it could avoid the expensive cygwin/msys process spawn
<mehdid>
kerneis: it *is* a stand-alone tool. ;)
mort___ has quit [Ping timeout: 255 seconds]
ustunozgur has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
Kakadu has joined #ocaml
avsm has quit [Quit: Leaving.]
pyon has joined #ocaml
rand000 has joined #ocaml
pyon has quit [Remote host closed the connection]
Thooms has joined #ocaml
Thooms has quit [Client Quit]
Thooms has joined #ocaml
hto has quit [Ping timeout: 276 seconds]
hto has joined #ocaml
maattdd has joined #ocaml
studybot_ has joined #ocaml
studybo__ has joined #ocaml
studybot_ has quit [Ping timeout: 272 seconds]
hhugo has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 240 seconds]
huza has joined #ocaml
yacks has quit [Ping timeout: 245 seconds]
mcclurmc_ has joined #ocaml
avsm has joined #ocaml
avsm has quit [Remote host closed the connection]
mcclurmc has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
ustunozgur has joined #ocaml
ustunozgur has quit [Ping timeout: 264 seconds]
mcclurmc has joined #ocaml
mcclurmc_ has quit [Ping timeout: 245 seconds]
darkf has quit [Quit: Leaving]
yacks has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
ollehar has joined #ocaml
ustunozgur has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest96676
huza has quit [Quit: WeeChat 0.3.8]
hhugo has quit [Quit: Leaving.]
huza has joined #ocaml
Guest96676 has quit [Ping timeout: 252 seconds]
SethTisue has joined #ocaml
pyon has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
tnguyen has joined #ocaml
philtor has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
hhugo has joined #ocaml
hhugo has quit [Client Quit]
ontologiae has joined #ocaml
dotfelix has joined #ocaml
dotfelix has quit [Client Quit]
dotfelix has joined #ocaml
jeregrine has joined #ocaml
fraggle_ has joined #ocaml
dotfelixb has joined #ocaml
jeregrine has quit [Remote host closed the connection]
dotfelix has quit [Ping timeout: 240 seconds]
dotfelixb has quit [Quit: Leaving]
dotfelixb has joined #ocaml
ustunozg_ has joined #ocaml
ustunozg_ has quit [Remote host closed the connection]
ustunozg_ has joined #ocaml
Simn has quit [Ping timeout: 265 seconds]
dotfelixb has quit [Quit: Leaving]
tane has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
Nuki has joined #ocaml
tlockney_away is now known as tlockney
ustunozg_ has quit [Remote host closed the connection]
cesar_ has joined #ocaml
cesar_ is now known as Guest22700
huza has quit [Quit: WeeChat 0.3.8]
Guest22700 has quit [Ping timeout: 258 seconds]
philtor has quit [Ping timeout: 252 seconds]
philtor has joined #ocaml
ontologiae has joined #ocaml
<adrien>
philtor: "array float is preferrable to array list" <- there's a small mistake there :P
<philtor>
oops...
emias has quit [Quit: Reboot]
<philtor>
adrien: fixed, thanks.
<adrien>
np :)
AltGr has left #ocaml [#ocaml]
pgomes has quit [Quit: Leaving]
WraithM has joined #ocaml
ustunozgur has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
ustunozgur has quit [Read error: Connection reset by peer]
ontologiae has quit [Ping timeout: 252 seconds]
ustunozgur has joined #ocaml
rgrinberg has joined #ocaml
avsm has quit [Quit: Leaving.]
ustunozg_ has joined #ocaml
ustunozgur has quit [Read error: Connection reset by peer]
maattdd has joined #ocaml
racycle has joined #ocaml
Kakadu has quit [Quit: Page closed]
maattdd has quit [Ping timeout: 252 seconds]
tane has quit [Quit: Verlassend]
ustunozgur has joined #ocaml
ustunozg_ has quit [Ping timeout: 264 seconds]
<kerneis>
how portable is zarith?
<companion_cube>
I guess it should work everywhere GMP does
ygrek has joined #ocaml
troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]
ustunozgur has quit [Ping timeout: 240 seconds]
tlockney is now known as tlockney_away
maattdd has joined #ocaml
ustunozgur has joined #ocaml
ustunozg_ has joined #ocaml
rwmjones is now known as rwmjones_hols
Hannibal_Smith has joined #ocaml
boogie has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
ustunozgur has quit [Ping timeout: 252 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest34032
ustunozg_ has quit [Ping timeout: 240 seconds]
fraggle_laptop has joined #ocaml
ustunozgur has joined #ocaml
Guest34032 has quit [Ping timeout: 245 seconds]
jwatzman|work has joined #ocaml
tlockney_away is now known as tlockney
maattdd has joined #ocaml
Simn has quit [Ping timeout: 265 seconds]
ustunozgur has quit [Remote host closed the connection]
fraggle_laptop has quit [Ping timeout: 265 seconds]
tane has joined #ocaml
q66 has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
fraggle_laptop has joined #ocaml
rwmjones_hols is now known as rwmjones
rwmjones is now known as rwmjones_hols
Simn has joined #ocaml
fraggle_laptop has quit [Ping timeout: 276 seconds]
Submarine has quit [Ping timeout: 276 seconds]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
dsheets has quit [Ping timeout: 260 seconds]
martintrojer has quit [Max SendQ exceeded]
maattdd has joined #ocaml
martintrojer has joined #ocaml
troydm has joined #ocaml
philtor has quit [Ping timeout: 252 seconds]
Kakadu has joined #ocaml
alpounet has quit [Remote host closed the connection]
fraggle_laptop has joined #ocaml
ontologiae has joined #ocaml
maattdd has quit [Ping timeout: 260 seconds]
ontologiae has quit [Ping timeout: 260 seconds]
Thooms has quit [Quit: WeeChat 0.3.8]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
ustunozgur has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
phao has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
Thooms has joined #ocaml
ustunozgur has quit [Ping timeout: 245 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest24367
phao has left #ocaml ["Leaving"]
Guest24367 has quit [Ping timeout: 240 seconds]
Submarine has quit [Remote host closed the connection]
fraggle_ has quit [Remote host closed the connection]
ikaros has quit [Quit: Ex-Chat]
Thooms has quit [Quit: WeeChat 0.3.8]
fraggle_ has joined #ocaml
philtor has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
ontologiae has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
avsm has joined #ocaml
rgrinberg has joined #ocaml
arj has quit [Quit: Leaving.]
arj has joined #ocaml
testcocoon has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
maattdd has joined #ocaml
philtor_ has joined #ocaml
tlockney is now known as tlockney_away
ontologiae has quit [Ping timeout: 265 seconds]
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
philtor_ has quit [Ping timeout: 276 seconds]
avsm has quit [Quit: Leaving.]
arj has quit [Quit: Leaving.]
testcocoon has quit [Quit: Coyote finally caught me]
alpounet has joined #ocaml
testcocoon has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
alpounet has quit [Ping timeout: 276 seconds]
maattdd has quit [Ping timeout: 240 seconds]
tlockney_away is now known as tlockney
SethTisue has quit [Quit: SethTisue]
Arsenik has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
Phill_ has joined #ocaml
ohama has quit [Quit: leaving]
rand000 has quit [Ping timeout: 252 seconds]
ohama has joined #ocaml
Thooms has joined #ocaml
axiles has quit [Remote host closed the connection]
cesar_ has joined #ocaml
cesar_ is now known as Guest45526
sgnb` has joined #ocaml
Guest45526 has quit [Ping timeout: 255 seconds]
iorivur_ has joined #ocaml
yacks has quit [Quit: Leaving]
_andre has quit [Quit: leaving]
maufred has joined #ocaml
nk0_ has joined #ocaml
hto_ has joined #ocaml
hto has quit [Write error: Broken pipe]
sgnb has quit [Write error: Broken pipe]
iorivur has quit [Write error: Broken pipe]
nk0 has quit [Remote host closed the connection]
maufred_ has quit [Ping timeout: 252 seconds]
Kakadu has quit [Quit: Konversation terminated!]
hellome has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
SethTisue has joined #ocaml
strobegen1 has quit [Quit: Leaving.]
oriba has joined #ocaml
mpmilano has joined #ocaml
<mpmilano>
hey all - I want to iterate over a all elements of a set which occur "between" two other elements
<mpmilano>
In c++, I've got a find function which returns an iterator to both those positions, and can then just use that iterator
<mpmilano>
is there something similar in ocaml?
<mpmilano>
I still need at least log-time insert and membership test
<whitequark>
if you're talking about the Set module, it provides an immutable data structure
<companion_cube>
mpmilano: the standard library doesn't have iterators, sadly
<whitequark>
so... an equivalent of a pair of iterators is a subset.
rand000 has joined #ocaml
<whitequark>
companion_cube: I'm not sure Set *needs* iterators.
<companion_cube>
whitequark: it's useful to traverse a range, exactly like mpmilano asks
<Drup>
the "split" function can be used for that
<Drup>
split twice, iter over the middle.
<mrvn>
the pipeline handles that
<mrvn>
ups
<companion_cube>
Drup: of course I have a draft ;)
<Drup>
companion_cube: a draft for what ?
<Drup>
there is a split function in the stdlib
<companion_cube>
iterators ;)
tnguyen has quit [Quit: tnguyen]
q66 has quit [Quit: Leaving]
ggole has quit [Ping timeout: 252 seconds]
<mpmilano>
Drup: thanks - but what is the time complexity of the split operation?
<mpmilano>
Drup: the point of iterating the range instead of just iterating the whole set is to save time - the ranges will be close together, but the whole set is pretty big
<Drup>
mpmilano: O(log(N))
<mpmilano>
Drup: if split is something like log(n), then I'd just go ahead and use it. If it's slower than that though it wouldn't work for me.
<mpmilano>
Drup: truly? lovely. I can use that then
ontologiae has joined #ocaml
<Drup>
mpmilano: set are binary trees. split is just cutting through the set
<Drup>
so, obviously, log(n) :p
q66 has joined #ocaml
<companion_cube>
Drup: is it actually proved?
<companion_cube>
splitting must also rebuild both left and right trees
<mpmilano>
Drup: sure, but what companion_cube waid
<Drup>
it's a big O.
<Drup>
that's part of the multiplicative constant
<mpmilano>
Drup: yeah, but it's log(n) to traverse to the split point, and then there are are log(n) partial trees (in the worst case), so its seems like you might have a log(n)^2 operation ahead of you?
<Drup>
no really, just look at the algorith. You make it sounds like it's complicated where as it's quite trivial :D
<mpmilano>
Drup: okay, which one does ocaml use? Should I be looking at k-d trees, b-trees, aa-trees?
ontologiae has quit [Ping timeout: 255 seconds]
<Drup>
simple balanced binary trees.
<Drup>
(just look at the implementation)
<mpmilano>
Drup: right, I forgot that I could just do that
<mpmilano>
wow, that's gloriously short
<mpmilano>
okay, yeah I was overcomplicating, thanks
<Drup>
:D
<companion_cube>
it's all with the merge operation, isn't it?
<mpmilano>
companion_cube: nah, looks like it's just a simple structural recursive descent
<Drup>
exactly
<Drup>
there is no complicated merge, it's already sorted, correctly
<mpmilano>
the joins are performed on the way down
<mpmilano>
cool, this will work very well for me, thanks Drup
q66 has quit [Remote host closed the connection]
<Drup>
mpmilano: if you have very specific needs, you may find better stuff, like batteries' ISet
q66 has joined #ocaml
Nuki has quit [Read error: Connection reset by peer]
tane has quit [Quit: Verlassend]
<mpmilano>
Drup: thanks. I'm storing somewhat complex data structure in these sets, so ISet won't work for me, but I'll keep looking around the opam environment to see if there are datastructures that better meet my needs
<mpmilano>
Drup: though I suppose I could always build a new one off of AvlTree...
ustunozgur has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
<Drup>
(by pure curiosity, what are you doing ?)
ustunozgur has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
SethTisue has quit [Quit: SethTisue]
fraggle_laptop has quit [Remote host closed the connection]
Arsenik has quit [Remote host closed the connection]
alpounet has quit [Ping timeout: 255 seconds]
tlockney is now known as tlockney_away
ustunozg_ has joined #ocaml
ustunozgur has quit [Ping timeout: 264 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest69552
Guest69552 has quit [Ping timeout: 252 seconds]
<bernardofpc>
Drup> mpmilano: O(log(N)) -> what's the implied constant / algorithm ? It will rebalance one of the trees, and that's useless for this case, isn't it ?
<mpmilano>
bernardofpc: it's actually log(n)^2 in the worst case
rgrinberg has joined #ocaml
<mpmilano>
bernardofpc: but there's really no way around that worst case if your plan is to do a split.
<mpmilano>
bernardofpc: now that I see what the implementation of the sets are, I'm probably just writing a b+ tree in ocaml to do what I want
<companion_cube>
although what you asked was an iterator :)
<companion_cube>
mpmilano: why a B+ tree?
<mpmilano>
companion_cube: optimized for large elements, log search, traverse is linear in the size of the range to be traversed
emias has joined #ocaml
<companion_cube>
I suppose you don't mind writing an imperative data structure
<mpmilano>
companion_cube: I'd prefer functional semantics if I can - but ultimately I require speed
manizzle has joined #ocaml
<companion_cube>
it might not be easy to write an functional B-tree anyway, lots of copying
<mpmilano>
yes, this seems likely
<Drup>
mpmilano: basically, you have a bunch of data that you want to log (that is, sort by timestamp) ?
<companion_cube>
you can do tricks like persistent arrays
<mpmilano>
nah, that's not it
<mpmilano>
it's kinda hard to explain, honestly
<Drup>
that means the problem is under specified, usually :D
<mpmilano>
it has something to do with a coalgebraic view of a Kleene-Algebra based language for network configurations
<mpmilano>
Drup: ah, it's not, it just uses category theory in the specification
<Drup>
yeah, or that, indeed.
<companion_cube>
I know some of those words
<Drup>
I know all of these words ... separately :D
<companion_cube>
not sure about Kleene ^^
<mpmilano>
Kleene?
<companion_cube>
what's an algebra, formally?
<Drup>
companion_cube: unformally, an algebra is a set of polynoms equiped with usual operators over polynoms
<companion_cube>
oh
<Drup>
it's just an extension of a ring with polynomial stuff, if memory serves correctly
<companion_cube>
I thought it was sometimes like a boosted field
<mpmilano>
they're all pretty related
<companion_cube>
know that you mention it, it clicks with algebraic numbers
<Drup>
companion_cube: you don't need division for polynoms :p
<mpmilano>
just go through the group theory articles on wikipedia if you want a primer
philtor has quit [Ping timeout: 252 seconds]
<companion_cube>
Drup: you get euclidian division for polynomials, don't you?
<rgrinberg>
did i just stumble into #haskell?
rand000 has quit [Quit: leaving]
<Drup>
x)
<Drup>
companion_cube: that's a bonus, you don't *need* it
<companion_cube>
rgrinberg: quick! This Yoneda lemma is chasing you!!
<Drup>
mpmilano: anyway, I still have no idea what you are talking about anyway :p
<mpmilano>
Drup: yeah, I'm sorry for not paging you in completely
<mpmilano>
Drup: specifically, follow-on work to the NetKAT paper that appeared in January
eikke__ has quit [Ping timeout: 240 seconds]
boogie has quit [Remote host closed the connection]
Thooms has quit [Ping timeout: 240 seconds]
<Drup>
oh, there is another merlin :D
<mpmilano>
yup
Thooms has joined #ocaml
Thooms has left #ocaml [#ocaml]
<mpmilano>
hey guys, another question - I want to add a function to set, and I want access to the underlying constructors Empty and Node. Any way to do it?
<rks_>
Drup: don't worry, next monday we'll be merlin™ and they'll be forced to find another name
<Drup>
mpmilano: no
<Drup>
:/
<Drup>
do what batteries did : copy paste the module.
<mpmilano>
Drup: hrmph. well, I guess that's what I'm doing then -_-
ustunozg_ has quit [Remote host closed the connection]
eikke__ has joined #ocaml
bjorkintosh has quit [Ping timeout: 240 seconds]
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
boogie has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
maattdd has joined #ocaml
eikke__ has quit [Ping timeout: 276 seconds]
johnnydiabetic has joined #ocaml
Eyyub has joined #ocaml
ontologiae has joined #ocaml
WraithM has quit [Quit: Lost terminal]
ontologiae has quit [Ping timeout: 240 seconds]
WraithM has joined #ocaml
Simn has quit [Quit: Leaving]
madroach has quit [Ping timeout: 252 seconds]
darkf has joined #ocaml
madroach has joined #ocaml
Nahra has quit [Remote host closed the connection]
maattdd has quit [Ping timeout: 276 seconds]
Nahra has joined #ocaml
alpounet has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest27612
Guest27612 has quit [Ping timeout: 260 seconds]
jao has quit [Ping timeout: 260 seconds]
boogie has quit [Remote host closed the connection]