flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
eikke has quit [Ping timeout: 246 seconds]
<dsheets_> maurer, Map?
<maurer> dsheets_: I'm aware of map, I need to have a heap - I need to be able to extract the thing with the lowest score and adjust scores
<maurer> (also adjust elements)
<maurer> (but that can be done via re-insert if nesc)
<maurer> If I just use min_binding on Map.Make(foo) I can't do decrease_key
<maurer> which is an issue, because the relative priorities for examining these things can change
<maurer> Also, there are going to be multiple things with the same key
<maurer> which is again not valid for a map
csakatoku has joined #ocaml
<dsheets_> maurer, 'a list ref Map.Make(Key).t?
<maurer> dsheets_: Still doesn't have decrease_key
struktured has quit [Remote host closed the connection]
<maurer> I guess I can try a map and see if O(log(n)) decrease_key is fast enough
<bitbckt> there's a Braun tree impl. floating around the web.
<bitbckt> that one.
<bitbckt> I don't know of a like structure in any of the usual places.
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
wolfnn has quit [Ping timeout: 260 seconds]
talzeus_ has joined #ocaml
nikki93 has joined #ocaml
def-lkb has quit [Read error: Operation timed out]
def-lkb has joined #ocaml
olibjerd has joined #ocaml
Simn has quit [Quit: Leaving]
buddyholly has joined #ocaml
mcclurmc has joined #ocaml
ygrek has joined #ocaml
Drup has quit [Quit: Leaving.]
himh has joined #ocaml
himh has left #ocaml []
<zamN> wait so if I edit a record via { blah with field1 = value } that won't actually update the record but just return a new one with the fields updated?
cesar_ has joined #ocaml
cesar_ is now known as Guest24968
chrisdotcode has joined #ocaml
himh has joined #ocaml
Guest24968 has quit [Ping timeout: 240 seconds]
himh has left #ocaml []
himh has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest91504
ollehar has joined #ocaml
ollehar1 has quit [Ping timeout: 246 seconds]
srcerer_ has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
srcerer has quit [Ping timeout: 264 seconds]
osa1 has joined #ocaml
<zamN> anyone around :x
<himh> seems pretty dead
<zamN> are you an ocaml pro? ;x
<himh> nope
<himh> sorry, just interested in the lang
osa1 has quit [Client Quit]
himh has left #ocaml []
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
ollehar has quit [Ping timeout: 246 seconds]
strobegen has joined #ocaml
platypine has quit [Ping timeout: 240 seconds]
Tinybird has joined #ocaml
Tinybird has left #ocaml []
mcclurmc has quit [Remote host closed the connection]
Guest91504 has quit [Remote host closed the connection]
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 246 seconds]
Tinybird has joined #ocaml
Tinybird has left #ocaml []
srcerer has joined #ocaml
srcerer_ has quit [Ping timeout: 264 seconds]
csakatoku has joined #ocaml
ollehar has joined #ocaml
yacks has quit [Quit: Leaving]
morolin has joined #ocaml
<orbitz> zamN: you can only edit mutable fields in records
rgrinberg has quit [Ping timeout: 260 seconds]
nikki93 has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
nikki93 has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
<zamN> orbitz: yeah, i just ended up resetting my record every time
<zamN> that worked ifne
<zamN> i assume mutable field = record?
<orbitz> what?
csakatoku has quit [Ping timeout: 245 seconds]
<zamN> er, i meant ref
<zamN> like the !x, := stuff
<orbitz> what about it?
csakatoku has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
olibjerd has quit [Ping timeout: 246 seconds]
<zamN> i dont know what amutable field is in ocaml
<zamN> is what im sayin -_-
gour has joined #ocaml
olibjerd has joined #ocaml
olibjerd has quit [Ping timeout: 244 seconds]
jle` has joined #ocaml
<jle`> is there such thing as pattern matching on characters in a stirng?
<jle`> like if i wanted to do something with the first letter, or something else if there are no letters
<jle`> or do i have to use get, sub, etc.
mort___ has quit [Quit: Leaving.]
nikki93 has quit [Remote host closed the connection]
ttamttam has joined #ocaml
<ollehar> zamN: a field in a record can be marked as mutable, like {mutable x : int}
olibjerd has joined #ocaml
ygrek has joined #ocaml
<zamN> oh really?
<zamN> :O
<zamN> thats amazing.
<zamN> i wish i knew that like a couple of hours ago hahah
<zamN> oh well ;)
nikki93 has joined #ocaml
<maurer> Hey, the Map module available by default seems slow, is there anything I can do to deal with this?
<maurer> e.g. 30%+ of my time is being spent in Map.find
<maurer> I would use hashtables, but those are imperative, and my computation frequently stores a copy of the current state
<maurer> Is switching to BatMap potentially useful, or are those the same?
ttamttam has quit [Quit: ttamttam]
<maurer> I just need a fast immutable associative contianer :(
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
zamN has quit []
csakatoku has quit [Ping timeout: 244 seconds]
yezariaely has joined #ocaml
ollehar has quit [Ping timeout: 268 seconds]
csakatoku has joined #ocaml
ollehar has joined #ocaml
Kakadu has joined #ocaml
<orbitz> jle`: you can only match whole strings
<orbitz> maurer: You can checkout Core's map implemenation. They have multiple varieties
ulfdoz has joined #ocaml
tianon has quit [Ping timeout: 272 seconds]
Arsenik has joined #ocaml
<maurer> looking
cesar_ has joined #ocaml
cesar_ is now known as Guest94
csakatoku has quit [Remote host closed the connection]
djcoin has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
Guest94 has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
sgnb has quit [Remote host closed the connection]
csakatoku has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
sgnb has joined #ocaml
cago has joined #ocaml
<jle`> what's the best way to return true if the first letter in a string matches a predicate, or false if it does not or the string is empty?
yezariaely has quit [Quit: Leaving.]
yezariaely has joined #ocaml
<adrien> you can access the letter with your_string.[0]; the predicate will return a boolean already; you only need the non-empty check
<adrien> so something like
<companion_cube> orbitz: there are several implementations, but yeah, I wrote one (qcheck)
<adrien> (your_string <> "") && (predicate your_string.[0])
<maurer> orbitz: Hm, I suspected the map because of ocaml's profiling output, but after inserting some manual checks around duration of the operations, it doesn't seem to be the issue
<maurer> orbitz: I can't really find anything else on ocaml's profile of the program though :/
ollehar has joined #ocaml
wolfnn has joined #ocaml
Kakadu has quit []
Kakadu has joined #ocaml
zpe has joined #ocaml
ulfdoz has quit [Ping timeout: 272 seconds]
ttamttam has joined #ocaml
Neros has quit [Ping timeout: 268 seconds]
ollehar has quit [Ping timeout: 248 seconds]
Simn has joined #ocaml
rand000 has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 240 seconds]
Picolino has joined #ocaml
Kakadu_ has joined #ocaml
ttamttam has quit [Ping timeout: 244 seconds]
platypine has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
platypine has quit [Ping timeout: 240 seconds]
tianon has joined #ocaml
eikke has joined #ocaml
Neros has joined #ocaml
yezariaely has quit [Quit: Leaving.]
yezariaely has joined #ocaml
mfp has joined #ocaml
Picolino is now known as julien_t
ttamttam has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Neros has quit [Ping timeout: 245 seconds]
ttamttam has quit [Ping timeout: 244 seconds]
ollehar has joined #ocaml
AltGr has joined #ocaml
_andre has joined #ocaml
tianon has quit [Ping timeout: 244 seconds]
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 240 seconds]
csakatoku has joined #ocaml
jonludlam has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
tianon has joined #ocaml
csakatoku has quit [Ping timeout: 244 seconds]
Drup has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
Drup has quit [Read error: Operation timed out]
ttamttam has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
ttamttam has quit [Client Quit]
testcocoon has joined #ocaml
yezariaely has quit [Ping timeout: 244 seconds]
ttamttam has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
mchqwerty has joined #ocaml
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
ontologiae has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 265 seconds]
Neros has joined #ocaml
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
ollehar has joined #ocaml
eikke has quit [Ping timeout: 272 seconds]
dsheets_ has quit [Ping timeout: 245 seconds]
<rand000> hey - does anyone know if it's possible to use an already bound value as part of a stream [parser] pattern
<rand000> ?
<rand000> fx if I wan't to match a char, the pattern can be ''c'
<rand000> but if I want to exchange ''c' with a field from a record... is that possible?
<rand000> '(record.field) doesn't work ..
wolfnn has quit [Ping timeout: 246 seconds]
<rand000> I guess it's not possible as the pattern-matcher would try to bind the value to the stream-element...
<rand000> fx the pattern 'x would bind x to stream-element
ttamttam has quit [Quit: ttamttam]
yezariaely has joined #ocaml
ttamttam has joined #ocaml
<ygrek> record.field is an expression
<ygrek> but stream parser expects identifiers to bind to
<rand000> yes
ttamttam has quit [Client Quit]
<rand000> but if you have a ''c' in a pattern, that is an expression too ..?
<rand000> well a value more exactly - in a functional language, shouldn't most things be able to be seen as values..?
<rand000> expressions
<rand000> * or
<ygrek> that is a constant
<ygrek> stream parser extension can handle constant
<ygrek> it matches over it
<ygrek> but it is not designed to work with expressions
<ygrek> placed where it expectes either constants or identifiers
<ygrek> it likely mirrors the ocaml itself - one cannot write match 4 with 2+2 ->
dsheets_ has joined #ocaml
<rand000> ahh I see
ulfdoz has joined #ocaml
BitPuffin has joined #ocaml
<rand000> thx
<rand000> I think I'll write a seperate function hat matches the pattern with the value of choice
sepp2k has joined #ocaml
rand000 has quit [Ping timeout: 248 seconds]
rand000 has joined #ocaml
ygrek has quit [Ping timeout: 244 seconds]
clog has quit [^C]
clog has joined #ocaml
bacam_ is now known as bacam
yezariaely1 has quit [Ping timeout: 240 seconds]
breakds has joined #ocaml
zRecursive has joined #ocaml
skchrko has joined #ocaml
cantstanya has quit [Ping timeout: 240 seconds]
zRecursive has left #ocaml []
ulfdoz has quit [Ping timeout: 240 seconds]
yezariaely has joined #ocaml
Drup has joined #ocaml
ttamttam has joined #ocaml
zorun has quit [Ping timeout: 260 seconds]
zorun has joined #ocaml
nk0_ is now known as nk0
cantstanya has joined #ocaml
yacks has joined #ocaml
breakds has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 248 seconds]
Simn is now known as Simn|gone
zorun has quit [Quit: leaving]
talzeus has joined #ocaml
johnelse has quit [Quit: Lost terminal]
mcclurmc has joined #ocaml
johnelse has joined #ocaml
ygrek has joined #ocaml
julien_t has joined #ocaml
johnelse has left #ocaml []
johnelse has joined #ocaml
julien_t has quit [Ping timeout: 240 seconds]
julien_t has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Remote host closed the connection]
robink has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
stevej has quit [Ping timeout: 272 seconds]
Simn|gone is now known as Simn
Kakadu_ has quit [Ping timeout: 250 seconds]
talzeus has quit [Remote host closed the connection]
<whitequark> ok, I'm pretty confident that after the patchset I'm writing, it will be possible to write OO-style LLVM bindings on top of existing ones which won't assert.
mch has joined #ocaml
<whitequark> there's still some pretty significant problems with memory management :/
AdmWiggin is now known as tianon
Kakadu has quit [Ping timeout: 272 seconds]
mchqwerty has quit [Ping timeout: 248 seconds]
shinnya has quit [Ping timeout: 252 seconds]
Neros has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
Kakadu has joined #ocaml
yezariaely has quit [Ping timeout: 260 seconds]
mcclurmc_ has joined #ocaml
mcclurmc_ is now known as mcclurmc
avsm has joined #ocaml
rand000 has quit [Ping timeout: 265 seconds]
mcclurmc has quit [Remote host closed the connection]
gour has quit [Disconnected by services]
gour_ has joined #ocaml
cago has left #ocaml []
djcoin has quit [Quit: WeeChat 0.4.1]
olibjerd has quit [Quit: Ухожу я от вас (xchat 2.4.5 или старше)]
mcclurmc has joined #ocaml
Qrntz has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
avsm has quit [Client Quit]
gour_ is now known as gour
madroach has quit [Quit: leaving]
baz_ has joined #ocaml
nicoo is now known as companion_cube
companion_cube has quit [Disconnected by services]
companion_square is now known as companion_cube
nicoo has joined #ocaml
ttamttam has quit [Quit: ttamttam]
frederc has joined #ocaml
frederc has left #ocaml []
strobegen has quit [Ping timeout: 240 seconds]
Drup has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 240 seconds]
strobegen has joined #ocaml
djcoin has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest98056
julien_t has quit [Ping timeout: 252 seconds]
wolfnn has joined #ocaml
Drup has joined #ocaml
eikke has quit [Ping timeout: 248 seconds]
Arsenik has quit [Read error: Connection reset by peer]
Arsenik has joined #ocaml
Guest98056 has quit [Remote host closed the connection]
mch has quit [Quit: Odcházím]
osa1 has joined #ocaml
skchrko has quit [Quit: Leaving]
jonludlam has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 240 seconds]
Kakadu has quit []
stevej has joined #ocaml
eikke has joined #ocaml
skchrko has joined #ocaml
strobegen has quit [Ping timeout: 252 seconds]
nikki93 has joined #ocaml
djcoin has quit [Quit: WeeChat 0.4.1]
strobegen has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
nikki93_ has joined #ocaml
strobegen has quit [Read error: Connection reset by peer]
strobegen has joined #ocaml
osa1 has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
nikki93_ has quit [Remote host closed the connection]
w0rm_x has joined #ocaml
w0rm_x has left #ocaml []
ontologiae has quit [Ping timeout: 252 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
zpe has quit [Ping timeout: 265 seconds]
Kakadu has joined #ocaml
sepp2k_ has quit [Quit: Konversation terminated!]
Kakadu has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
avsm has joined #ocaml
dsheets_ has quit [Ping timeout: 240 seconds]
dsheets_ has joined #ocaml
zpe has joined #ocaml
gour has quit [Quit: WeeChat 0.4.1]
mcclurmc has quit [Remote host closed the connection]
rand000 has joined #ocaml
anderse has joined #ocaml
zpe has quit [Ping timeout: 265 seconds]
<ggole> Pattern matching in C++... interesting https://parasol.tamu.edu/~yuriys/papers/OPM13.pdf
Simn has quit [Read error: Connection reset by peer]
levi` has joined #ocaml
Anarchos has joined #ocaml
chrisdotcode has quit [Quit: No Ping reply in 180 seconds.]
chrisdotcode has joined #ocaml
nikki93 has joined #ocaml
tane has joined #ocaml
nikki93_ has joined #ocaml
nikki93 has quit [Ping timeout: 272 seconds]
thomasga has quit [Quit: Leaving.]
mcclurmc has joined #ocaml
<companion_cube> [NOTE] The repository 'testing' will be *permanently* redirected to https://opam.ocaml.org <--- why does opam do this?!
q66_ has joined #ocaml
q66 has quit [Disconnected by services]
q66_ is now known as q66
chrisdotcode is now known as chrisblake
<def-lkb> companion_cube: opam version ?
<companion_cube> 1.1
<def-lkb> Isn't this due to repository moving from ocamlpro website to ocaml website since 1.1 ?
<companion_cube> well, sure, but the repo which is moved is a local repo :(
<companion_cube> I already have [default] pointing to opam.ocaml.org
_andre has quit [Quit: leaving]
ggole has quit []
<avsm> companion_cube: update your OPAM
<avsm> companion_cube: the latest 1.1's dont have that bug
<companion_cube> oh.
<avsm> there was a short window where they did, but AltGr has fixed it
<companion_cube> I see
ollehar has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
<companion_cube> good thing I had installed the opam-git ^^
nikki93_ has quit [Remote host closed the connection]
julien_t has joined #ocaml
avsm has quit [Quit: Leaving.]
troydm has quit [Ping timeout: 264 seconds]
jonludlam has joined #ocaml
jonludlam has quit [Ping timeout: 244 seconds]
baz_ has quit [Remote host closed the connection]
rand000 has quit [Quit: leaving]
Simn has joined #ocaml
Kakadu has quit []
nikki93 has joined #ocaml
AltGr has left #ocaml []
demonimin has quit [Read error: Connection reset by peer]
pango_ is now known as pango
nikki93 has quit [Remote host closed the connection]
demonimin has joined #ocaml
jonludlam has joined #ocaml
mort___ has joined #ocaml
nikki93 has joined #ocaml
platypine has joined #ocaml
platypine has quit [Changing host]
platypine has joined #ocaml
levi` is now known as levi
troydm has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-280704]: i've been blurred!]
avsm has joined #ocaml
anderse has quit [Quit: anderse]
darkf has joined #ocaml
mcclurmc has joined #ocaml
strobegen has quit [Quit: Leaving.]
mort___1 has joined #ocaml
mort___ has quit [Ping timeout: 260 seconds]
amiller_ is now known as amiller
amiller has quit [Changing host]
amiller has joined #ocaml
mort___1 has quit [Quit: Leaving.]
tane has quit [Quit: Verlassend]
jbrown has quit [Remote host closed the connection]
wolfnn has quit [Ping timeout: 272 seconds]
Enjolras has quit [Remote host closed the connection]
Arsenik has quit [Remote host closed the connection]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
ohama has quit [Ping timeout: 264 seconds]
ohama has joined #ocaml
julien_t has quit [Ping timeout: 252 seconds]
jbrown has joined #ocaml
chrisblake has quit [Ping timeout: 252 seconds]
Simn has quit [Read error: Connection reset by peer]
chrisdotcode has joined #ocaml
Simn has joined #ocaml
mk270 has joined #ocaml
chrisdotcode is now known as chrisblake
Simn has quit [Read error: Connection reset by peer]
nikki93 has quit [Remote host closed the connection]
<nicoo> avsm: I got caught by this one too
klltkr has joined #ocaml
shinnya has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
darkf has quit [Client Quit]
darkf has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
nikki93 has joined #ocaml
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]