munga_ has quit [Read error: 113 (No route to host)]
hyperbor1ean has joined #ocaml
julm_ has joined #ocaml
julm has quit [Read error: 113 (No route to host)]
ccasin has joined #ocaml
struktured_ has joined #ocaml
Amorphous has quit [Read error: 145 (Connection timed out)]
eldragon has joined #ocaml
hyperboreean has quit [Read error: 110 (Connection timed out)]
struktured has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
tmaedaZ0 is now known as tmaeda
BigJ2 has quit [Read error: 60 (Operation timed out)]
BigJ2 has joined #ocaml
_unK has quit [Remote closed the connection]
Associat0r has joined #ocaml
Associat0r has quit [Remote closed the connection]
struktured_ has quit [Remote closed the connection]
struktured has joined #ocaml
hyperbor1ean has quit ["leaving"]
julm has joined #ocaml
julm_ has quit [Read error: 54 (Connection reset by peer)]
struktured has quit [Read error: 110 (Connection timed out)]
hyperboreean has joined #ocaml
struktured has joined #ocaml
julm_ has joined #ocaml
julm has quit [Read error: 104 (Connection reset by peer)]
julm has joined #ocaml
julm_ has quit [Read error: 60 (Operation timed out)]
ccasin has quit [Read error: 110 (Connection timed out)]
eldragon has left #ocaml []
julm_ has joined #ocaml
julm has quit [Read error: 148 (No route to host)]
julm_ is now known as julm
julm has quit [Read error: 104 (Connection reset by peer)]
julm has joined #ocaml
ygrek has joined #ocaml
julm_ has joined #ocaml
ztfw` has joined #ocaml
ztfw has quit [Broken pipe]
julm has quit [Read error: 113 (No route to host)]
julm has joined #ocaml
julm_ has quit [Read error: 54 (Connection reset by peer)]
Submarine has joined #ocaml
onigiri has quit [sendak.freenode.net irc.freenode.net]
tonyIII_ has quit [sendak.freenode.net irc.freenode.net]
aij has quit [sendak.freenode.net irc.freenode.net]
ztfw` has quit [sendak.freenode.net irc.freenode.net]
reid99 has quit [sendak.freenode.net irc.freenode.net]
struktured has quit [sendak.freenode.net irc.freenode.net]
thrasibule has quit [sendak.freenode.net irc.freenode.net]
mal`` has quit [sendak.freenode.net irc.freenode.net]
meltingwax has quit [sendak.freenode.net irc.freenode.net]
c0m has quit [sendak.freenode.net irc.freenode.net]
svenl has quit [sendak.freenode.net irc.freenode.net]
mlh has quit [sendak.freenode.net irc.freenode.net]
Pepe_ has quit [sendak.freenode.net irc.freenode.net]
mehdid has quit [sendak.freenode.net irc.freenode.net]
brendan has quit [sendak.freenode.net irc.freenode.net]
noj has quit [sendak.freenode.net irc.freenode.net]
det has quit [sendak.freenode.net irc.freenode.net]
ertai has quit [sendak.freenode.net irc.freenode.net]
rwmjones-afk has quit [sendak.freenode.net irc.freenode.net]
deavid has quit [sendak.freenode.net irc.freenode.net]
bind_return has quit [sendak.freenode.net irc.freenode.net]
lanaer has quit [sendak.freenode.net irc.freenode.net]
BigJ has quit [sendak.freenode.net irc.freenode.net]
maskd has quit [sendak.freenode.net irc.freenode.net]
flux has quit [sendak.freenode.net irc.freenode.net]
tab has quit [sendak.freenode.net irc.freenode.net]
schme has quit [sendak.freenode.net irc.freenode.net]
monestri has quit [sendak.freenode.net irc.freenode.net]
lutter has quit [sendak.freenode.net irc.freenode.net]
TaXules has quit [sendak.freenode.net irc.freenode.net]
bohanlon has quit [sendak.freenode.net irc.freenode.net]
animist has quit [sendak.freenode.net irc.freenode.net]
mfp has quit [sendak.freenode.net irc.freenode.net]
Ched has quit [sendak.freenode.net irc.freenode.net]
mbishop has quit [sendak.freenode.net irc.freenode.net]
caligula__ has quit [sendak.freenode.net irc.freenode.net]
ozzloy has quit [sendak.freenode.net irc.freenode.net]
tarbo2 has quit [sendak.freenode.net irc.freenode.net]
diml has quit [sendak.freenode.net irc.freenode.net]
mattam has quit [sendak.freenode.net irc.freenode.net]
Ori_B has quit [sendak.freenode.net irc.freenode.net]
nimred has quit [sendak.freenode.net irc.freenode.net]
willb has quit [sendak.freenode.net irc.freenode.net]
infoe has quit [sendak.freenode.net irc.freenode.net]
r0bby_ has quit [sendak.freenode.net irc.freenode.net]
ygrek has quit [sendak.freenode.net irc.freenode.net]
prigaux has quit [sendak.freenode.net irc.freenode.net]
haelix has quit [sendak.freenode.net irc.freenode.net]
sgnb has quit [sendak.freenode.net irc.freenode.net]
hugin has quit [sendak.freenode.net irc.freenode.net]
Camarade_Tux has quit [sendak.freenode.net irc.freenode.net]
Asmadeus has quit [sendak.freenode.net irc.freenode.net]
Guest5618 has quit [sendak.freenode.net irc.freenode.net]
bohanlon has joined #ocaml
ztfw` has joined #ocaml
ygrek has joined #ocaml
struktured has joined #ocaml
thrasibule has joined #ocaml
c0m has joined #ocaml
flux has joined #ocaml
Ched has joined #ocaml
onigiri has joined #ocaml
mal`` has joined #ocaml
tonyIII_ has joined #ocaml
reid99 has joined #ocaml
meltingwax has joined #ocaml
caligula__ has joined #ocaml
svenl has joined #ocaml
aij has joined #ocaml
mlh has joined #ocaml
mbishop has joined #ocaml
ozzloy has joined #ocaml
Pepe_ has joined #ocaml
mehdid has joined #ocaml
tarbo2 has joined #ocaml
mfp has joined #ocaml
BigJ has joined #ocaml
TaXules has joined #ocaml
maskd has joined #ocaml
noj has joined #ocaml
bind_return has joined #ocaml
ertai has joined #ocaml
brendan has joined #ocaml
schme has joined #ocaml
rwmjones-afk has joined #ocaml
lutter has joined #ocaml
monestri has joined #ocaml
deavid has joined #ocaml
animist has joined #ocaml
det has joined #ocaml
tab has joined #ocaml
lanaer has joined #ocaml
willb has joined #ocaml
Guest5618 has joined #ocaml
r0bby_ has joined #ocaml
mattam has joined #ocaml
infoe has joined #ocaml
nimred has joined #ocaml
Asmadeus has joined #ocaml
haelix has joined #ocaml
diml has joined #ocaml
Camarade_Tux has joined #ocaml
sgnb has joined #ocaml
hugin has joined #ocaml
prigaux has joined #ocaml
Ori_B has joined #ocaml
_unK has joined #ocaml
mfp has quit [Read error: 110 (Connection timed out)]
onigiri has quit [sendak.freenode.net irc.freenode.net]
aij has quit [sendak.freenode.net irc.freenode.net]
tonyIII_ has quit [sendak.freenode.net irc.freenode.net]
reid99 has quit [sendak.freenode.net irc.freenode.net]
ztfw` has quit [sendak.freenode.net irc.freenode.net]
meltingwax has quit [sendak.freenode.net irc.freenode.net]
thrasibule has quit [sendak.freenode.net irc.freenode.net]
mal`` has quit [sendak.freenode.net irc.freenode.net]
struktured has quit [sendak.freenode.net irc.freenode.net]
mehdid has quit [sendak.freenode.net irc.freenode.net]
c0m has quit [sendak.freenode.net irc.freenode.net]
svenl has quit [sendak.freenode.net irc.freenode.net]
det has quit [sendak.freenode.net irc.freenode.net]
brendan has quit [sendak.freenode.net irc.freenode.net]
noj has quit [sendak.freenode.net irc.freenode.net]
mlh has quit [sendak.freenode.net irc.freenode.net]
rwmjones-afk has quit [sendak.freenode.net irc.freenode.net]
Pepe_ has quit [sendak.freenode.net irc.freenode.net]
ertai has quit [sendak.freenode.net irc.freenode.net]
deavid has quit [sendak.freenode.net irc.freenode.net]
bind_return has quit [sendak.freenode.net irc.freenode.net]
lanaer has quit [sendak.freenode.net irc.freenode.net]
BigJ has quit [sendak.freenode.net irc.freenode.net]
maskd has quit [sendak.freenode.net irc.freenode.net]
tab has quit [sendak.freenode.net irc.freenode.net]
monestri has quit [sendak.freenode.net irc.freenode.net]
lutter has quit [sendak.freenode.net irc.freenode.net]
flux has quit [sendak.freenode.net irc.freenode.net]
schme has quit [sendak.freenode.net irc.freenode.net]
TaXules has quit [sendak.freenode.net irc.freenode.net]
animist has quit [sendak.freenode.net irc.freenode.net]
mbishop has quit [sendak.freenode.net irc.freenode.net]
Ched has quit [sendak.freenode.net irc.freenode.net]
_unK has quit [sendak.freenode.net irc.freenode.net]
diml has quit [sendak.freenode.net irc.freenode.net]
mattam has quit [sendak.freenode.net irc.freenode.net]
caligula__ has quit [sendak.freenode.net irc.freenode.net]
Ori_B has quit [sendak.freenode.net irc.freenode.net]
ozzloy has quit [sendak.freenode.net irc.freenode.net]
willb has quit [sendak.freenode.net irc.freenode.net]
nimred has quit [sendak.freenode.net irc.freenode.net]
infoe has quit [sendak.freenode.net irc.freenode.net]
r0bby_ has quit [sendak.freenode.net irc.freenode.net]
tarbo2 has quit [sendak.freenode.net irc.freenode.net]
ygrek has quit [sendak.freenode.net irc.freenode.net]
prigaux has quit [sendak.freenode.net irc.freenode.net]
haelix has quit [sendak.freenode.net irc.freenode.net]
hugin has quit [sendak.freenode.net irc.freenode.net]
Asmadeus has quit [sendak.freenode.net irc.freenode.net]
Guest5618 has quit [sendak.freenode.net irc.freenode.net]
Camarade_Tux has quit [sendak.freenode.net irc.freenode.net]
sgnb has quit [sendak.freenode.net irc.freenode.net]
Amorphous has quit [sendak.freenode.net irc.freenode.net]
julm has quit [sendak.freenode.net irc.freenode.net]
BigJ2 has quit [sendak.freenode.net irc.freenode.net]
M| has quit [sendak.freenode.net irc.freenode.net]
shr3kst3r has quit [sendak.freenode.net irc.freenode.net]
jonafan has quit [sendak.freenode.net irc.freenode.net]
tiz has quit [sendak.freenode.net irc.freenode.net]
thelema has quit [sendak.freenode.net irc.freenode.net]
mrvn has quit [sendak.freenode.net irc.freenode.net]
__marius__ has quit [sendak.freenode.net irc.freenode.net]
bacam has quit [sendak.freenode.net irc.freenode.net]
mattiase has quit [sendak.freenode.net irc.freenode.net]
rbancroft has quit [sendak.freenode.net irc.freenode.net]
eibmozoib has quit [sendak.freenode.net irc.freenode.net]
jimmyb2187 has quit [sendak.freenode.net irc.freenode.net]
gim has quit [sendak.freenode.net irc.freenode.net]
patronus has quit [sendak.freenode.net irc.freenode.net]
orbitz has quit [sendak.freenode.net irc.freenode.net]
prince has quit [sendak.freenode.net irc.freenode.net]
hcarty has quit [sendak.freenode.net irc.freenode.net]
mbac has quit [sendak.freenode.net irc.freenode.net]
acatout has quit [sendak.freenode.net irc.freenode.net]
hto has quit [sendak.freenode.net irc.freenode.net]
jknick has quit [sendak.freenode.net irc.freenode.net]
jlouis has quit [sendak.freenode.net irc.freenode.net]
infoe_ has quit [sendak.freenode.net irc.freenode.net]
Jedai has joined #ocaml
thelema has joined #ocaml
tiz has joined #ocaml
jonafan has joined #ocaml
shr3kst3r has joined #ocaml
M| has joined #ocaml
BigJ2 has joined #ocaml
julm has joined #ocaml
_zack has joined #ocaml
Amorphous has joined #ocaml
mbac has joined #ocaml
jknick has joined #ocaml
infoe_ has joined #ocaml
hto has joined #ocaml
acatout has joined #ocaml
hcarty has joined #ocaml
jlouis has joined #ocaml
prince has joined #ocaml
eibmozoib has joined #ocaml
rbancroft has joined #ocaml
gim has joined #ocaml
mattiase has joined #ocaml
patronus has joined #ocaml
jimmyb2187 has joined #ocaml
bacam has joined #ocaml
orbitz has joined #ocaml
mrvn has joined #ocaml
__marius__ has joined #ocaml
Snark has joined #ocaml
reid99 has joined #ocaml
_unK has joined #ocaml
ztfw` has joined #ocaml
ygrek has joined #ocaml
struktured has joined #ocaml
thrasibule has joined #ocaml
c0m has joined #ocaml
flux has joined #ocaml
Ched has joined #ocaml
onigiri has joined #ocaml
mal`` has joined #ocaml
tonyIII_ has joined #ocaml
meltingwax has joined #ocaml
caligula__ has joined #ocaml
svenl has joined #ocaml
aij has joined #ocaml
mlh has joined #ocaml
mbishop has joined #ocaml
ozzloy has joined #ocaml
Pepe_ has joined #ocaml
mehdid has joined #ocaml
tarbo2 has joined #ocaml
BigJ has joined #ocaml
TaXules has joined #ocaml
maskd has joined #ocaml
noj has joined #ocaml
bind_return has joined #ocaml
ertai has joined #ocaml
brendan has joined #ocaml
schme has joined #ocaml
rwmjones-afk has joined #ocaml
lutter has joined #ocaml
monestri has joined #ocaml
deavid has joined #ocaml
animist has joined #ocaml
det has joined #ocaml
tab has joined #ocaml
lanaer has joined #ocaml
willb has joined #ocaml
Guest5618 has joined #ocaml
r0bby_ has joined #ocaml
mattam has joined #ocaml
infoe has joined #ocaml
nimred has joined #ocaml
Asmadeus has joined #ocaml
haelix has joined #ocaml
diml has joined #ocaml
Camarade_Tux has joined #ocaml
sgnb has joined #ocaml
hugin has joined #ocaml
prigaux has joined #ocaml
Ori_B has joined #ocaml
_unK has quit [Read error: 60 (Operation timed out)]
Ched has quit [Read error: 113 (No route to host)]
Yoric[DT] has joined #ocaml
munga_ has joined #ocaml
_zack has quit ["Leaving."]
ttamttam has joined #ocaml
mfp has joined #ocaml
ztfw` has quit [Remote closed the connection]
ztfw` has joined #ocaml
ttamttam has quit ["Leaving."]
julm_ has joined #ocaml
julm has quit [Read error: 148 (No route to host)]
tmaeda is now known as tmaedaZ
_JusSx_ has joined #ocaml
Ched has joined #ocaml
robocop has joined #ocaml
<robocop>
Hello
<robocop>
What functon should I use to delete the first char of a string (if possible in O(1)) ?
tmaedaZ is now known as tmaeda
ikaros has joined #ocaml
<mfp>
robocop: you have to get a substring starting at offset 1, in O(n) time + space: String.sub s 1 (String.length s - 1)
<robocop>
hum, yes, ok, thanks mfp
<mfp>
if you want a better complexity, you can use ropes
<robocop>
ho
<robocop>
okey, thanks
munga has joined #ocaml
munga has quit [Read error: 104 (Connection reset by peer)]
julm_ is now known as julm
Submarine has quit [Remote closed the connection]
tmaeda has quit [Read error: 60 (Operation timed out)]
tmaeda has joined #ocaml
Associat0r has joined #ocaml
ikaros has quit [Remote closed the connection]
ikaros has joined #ocaml
<Jedai>
robocop: I guess you're not listening anymore but your requirement is possible only if your data is immutable, or you accept the risk that aliasing creates, that is you accept that the value of your string could be changed by an operation that don't use it explicitly.
<Jedai>
The simple approach to immutable strings cause costs in O(n) to "modify" it, but you can reduce it to O(log n) by using more sophisticated approach like ropes, at a cost on the constants of your operations
<robocop>
Jedai: thanks for you help
<robocop>
I found an a tip in my program to get this complexity
<robocop>
*-an
ttamttam has joined #ocaml
ttamttam has quit ["Leaving."]
ttamttam has joined #ocaml
julm has quit ["leaving"]
<mrvn>
Or you use phantom types to track where a string is immutable and then use (string,start,end) as substring.
<robocop>
# -38 mod 5;;
<robocop>
- : int = -3
<robocop>
r < 0 ?
<robocop>
wtf.
<robocop>
hum, ok
<robocop>
I don't say anything
<thelema>
mod <> rem
<robocop>
thelema: what ?
<thelema>
modulo <> remainder
<thelema>
if you get a negative value, just add your base
<robocop>
ok
<robocop>
in maths, I just see that : 0 <= r < | b |
<robocop>
but in wikipedia, I see, 0 <= | r | < | b|
<robocop>
I think it's not important
<thelema>
there's two equivalently good definitions, some people like one, some the other.
<mrvn>
I think that is a remnant of C. In C % is compiler define for either |r| or r so that the compiler can use the one that is faster.
<flux>
well, on the other hand it makes sense that this holds true: b * (a / b) + a % b = b
<flux>
and that -3 / 2 = -1
<flux>
not sure how that would play out with some other definition for %
<flux>
however, there could be another operator that does that
<flux>
like some languages do. ada?
<mrvn>
flux: but I think on some archs -3 / 2 = -2
<thelema>
flux: yes, ada has both rem and mod
<mrvn>
flux: what you describe is a reminder.
<flux>
is ocaml's division defined for negative platforms in a consistent fashion?
<flux>
uh
<flux>
"for negative numbers in all platforms" :-)
<flux>
I wonder what a negative platform would be..
<thelema>
a cpu that increases the amount of work to do as it computes?
<thelema>
giving only wrong answers
<mrvn>
he means one that rounds down instead of towards 0.
<flux>
mrvn, thelema was referring to my last two lines ;)
Associat0r has quit []
munga_ has quit [Read error: 113 (No route to host)]
smimou has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
ikaros has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
ikaros has joined #ocaml
_unK has joined #ocaml
quinlan_ has joined #ocaml
ccasin has joined #ocaml
Smerdyakov has joined #ocaml
Smerdyakov has left #ocaml []
ttamttam has quit ["Leaving."]
mjonsson has joined #ocaml
lutter has quit ["Leaving."]
tmaeda is now known as tmaedaZ
smimram has joined #ocaml
thieusoai has joined #ocaml
smimou has quit [Read error: 110 (Connection timed out)]
quinlan_ has quit [Read error: 113 (No route to host)]
meltingwax has quit [Read error: 110 (Connection timed out)]
Snark has quit ["Ex-Chat"]
ygrek has quit [Remote closed the connection]
robocop has quit [Remote closed the connection]
munga has joined #ocaml
munga has quit [Read error: 54 (Connection reset by peer)]
smimou_ has joined #ocaml
smimram has quit [Read error: 110 (Connection timed out)]
munga_ has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
_JusSx_ has quit ["leaving"]
munga_ has quit [Read error: 110 (Connection timed out)]
slash_ has joined #ocaml
julm_ has joined #ocaml
monjaro has joined #ocaml
julm_ is now known as julm
<monjaro>
Hey. I'm wondering if there is anything special I have to do to use lablgl and lablglut with jocaml? I'm using the same command to compile except using jocamlopt instead of ocamlopt, but I'm getting unbound value errors with any Gl related value. Sorry if this is a stupid question
slash_ has quit [Client Quit]
Yoric[DT] has quit ["Ex-Chat"]
ikaros has quit ["Leave the magic to Houdini"]
munga_ has joined #ocaml
lanaer_ has joined #ocaml
schmx has joined #ocaml
schme has quit [Read error: 104 (Connection reset by peer)]
lanaer has quit [Read error: 104 (Connection reset by peer)]