fraggle_ has quit [Read error: Connection reset by peer]
avsm has quit [Quit: Leaving.]
EmmanuelOga has quit [Ping timeout: 252 seconds]
lopex has quit []
emmanuelux has quit [Ping timeout: 240 seconds]
randori has joined #ocaml
Cyanure has quit [Remote host closed the connection]
lopex has joined #ocaml
ttamttam has quit [Quit: Leaving.]
joewilliams_away is now known as joewilliams
brendan has quit [Remote host closed the connection]
ztfw has joined #ocaml
brendan has joined #ocaml
oriba has quit [Quit: oriba]
fschwidom has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ulfdoz has quit [Quit: kernel update]
ulfdoz has joined #ocaml
fschwidom has quit [Ping timeout: 245 seconds]
zorun has quit [Ping timeout: 248 seconds]
ttamttam has joined #ocaml
zorun has joined #ocaml
ikaros has joined #ocaml
ygrek has joined #ocaml
ttamttam has quit [Quit: Leaving.]
larhat has quit [Quit: Leaving.]
sepp2k has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
Boscop has joined #ocaml
mbac has quit [Ping timeout: 256 seconds]
avsm has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
avsm has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
_sol has joined #ocaml
avsm has quit [Client Quit]
fraggle_ has joined #ocaml
<_sol>
Is there an immutable hash table in the standard libs?
<_habnabit>
no, but you could compose one around the stdlib Hashtbl
<thelema>
_sol: why do you want an immutable hash table?
<thelema>
And can you use the Map data structure instead?
<_sol>
thelema: I'll have a look at the Map data structure, thx.
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
sepp2k has quit [Remote host closed the connection]
junsuijin has joined #ocaml
fschwidom has joined #ocaml
ikaros has joined #ocaml
mbac has joined #ocaml
struktured has quit [Quit: Konversation terminated!]
struktured has joined #ocaml
randori has quit [Quit: leaving]
randori has joined #ocaml
ttamttam has joined #ocaml
mbac has quit [Ping timeout: 252 seconds]
emmanuelux has joined #ocaml
oriba has joined #ocaml
ttamttam has quit [Quit: Leaving.]
_andre has quit [Quit: leaving]
mbac has joined #ocaml
wtetzner has quit [Ping timeout: 240 seconds]
fschwidom has quit [Ping timeout: 256 seconds]
ztfw has quit [Remote host closed the connection]
fraggle_ has quit [Remote host closed the connection]
ttamttam has joined #ocaml
ttamttam has quit [Quit: Leaving.]
fraggle_ has joined #ocaml
hto has quit [Quit: Lost terminal]
EmmanuelOga has joined #ocaml
everyonemines has joined #ocaml
<everyonemines>
I was curious if there's been any work on compile time detection of array out of bounds in ML.
<thelema>
everyonemines: benchmark your program with and without -unsafe and then re-ask your question if the result is more than 10% difference
<thelema>
on the theoretical level, it's definitely possible, but adds significant complexity to the compiler and little runtime improvement for most programs
<thelema>
and those programs with an inner loop that benefits from this can use Array.unsafe_* to keep that benefit
<thelema>
I'm not aware of anyone doing such for ocaml.
edwin has quit [Remote host closed the connection]
jimmyrcom1 has joined #ocaml
jimmyrcom has quit [Ping timeout: 260 seconds]
jimmyrcom has joined #ocaml
jimmyrcom1 has quit [Ping timeout: 258 seconds]
Associat0r has quit [Read error: Connection reset by peer]
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
arubin has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ikaros has joined #ocaml
randori has quit [Quit: leaving]
Amorphous has quit [Ping timeout: 260 seconds]
oriba has quit [Quit: oriba]
struktured has quit [Remote host closed the connection]
Amorphous has joined #ocaml
wtetzner has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
struktured has joined #ocaml
dnolen has joined #ocaml
lopex has quit []
<everyonemines>
Huh?
<everyonemines>
My issue is that "out of bounds" debugging.
<everyonemines>
Your program throws out of bounds, now you have to figure out why.
<everyonemines>
thelema: Or maybe you have an off by 1 error in a rarely used subroutine, so your program crashes randomly for some users. Some subset of out of bounds errors seems findable by simple static analysis.