GnomeStoleMyBike has quit [Ping timeout: 245 seconds]
Progster has quit [Ping timeout: 260 seconds]
Neros has quit [Ping timeout: 260 seconds]
iago has quit [Quit: Leaving]
smondet` has quit [Ping timeout: 264 seconds]
bender_ has quit [Read error: Connection reset by peer]
bender_ has joined #ocaml
jamii has quit [Read error: Connection reset by peer]
chambart has quit [Ping timeout: 246 seconds]
bender_ has quit [Quit: Leaving]
tautologico has joined #ocaml
xavierm02 has quit [Quit: Leaving]
emmanuelux has quit [Remote host closed the connection]
paolooo has joined #ocaml
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
Yoric has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
shinnya has joined #ocaml
as has joined #ocaml
as has quit [Client Quit]
tac has joined #ocaml
tautologico_ has joined #ocaml
tautologico has quit [Ping timeout: 252 seconds]
tautologico_ is now known as tautologico
avsm has joined #ocaml
greghale_ has left #ocaml []
tac has quit [Ping timeout: 245 seconds]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
cdidd has joined #ocaml
paolooo has quit [Ping timeout: 245 seconds]
tautologico has quit [Quit: tautologico]
habnabit has joined #ocaml
_habnabit has quit [Ping timeout: 272 seconds]
habnabit is now known as _habnabit
jamii has joined #ocaml
mfp has quit [Read error: Connection reset by peer]
jamii has quit [Ping timeout: 260 seconds]
jewel has joined #ocaml
ulfdoz has joined #ocaml
jewel has quit [Ping timeout: 252 seconds]
ulfdoz has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
pango is now known as pangoafk
andreypopp has joined #ocaml
djcoin has joined #ocaml
BiDOrD_ has joined #ocaml
chambart has joined #ocaml
BiDOrD has quit [Ping timeout: 244 seconds]
Cyanure has joined #ocaml
hkBst has joined #ocaml
sgnb has quit [Remote host closed the connection]
sgnb has joined #ocaml
Snark has joined #ocaml
cago has joined #ocaml
Cyanure has quit [Remote host closed the connection]
mcclurmc_away is now known as mcclurmc
avsm has joined #ocaml
Kakadu has joined #ocaml
fusillia has joined #ocaml
beckerb has joined #ocaml
GnomeStoleMyBike has joined #ocaml
Jeaye has quit [Ping timeout: 276 seconds]
larhat has joined #ocaml
ontologiae has joined #ocaml
foo303_ is now known as foo303
Jeaye has joined #ocaml
mcclurmc is now known as mcclurmc_away
mcclurmc_away is now known as mcclurmc
avsm has quit [Quit: Leaving.]
toolslive has quit [Ping timeout: 252 seconds]
othiym23 has quit [Ping timeout: 252 seconds]
cago has quit [Ping timeout: 265 seconds]
othiym23 has joined #ocaml
toolslive has joined #ocaml
cago has joined #ocaml
mcstar has joined #ocaml
Xizor has joined #ocaml
GnomeStoleMyBike has quit [Quit: Lost terminal]
_andre has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
dwmw2_gone has quit [Ping timeout: 260 seconds]
sepp2k has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
dwmw2_gone has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.9]
Cyanure has joined #ocaml
Xizor has quit [Quit: So yes it's mIRC under wine under debian double peche capital. ;) I'll soon see in kfreeBSD.]
arneis has joined #ocaml
Guest28177 has joined #ocaml
arneis has quit [Ping timeout: 245 seconds]
Guest28177 is now known as arneis
Neros has joined #ocaml
gnuvince has quit [Quit: Remember when men were men and regular expressions recognized regular languages?]
gnuvince has joined #ocaml
avsm has joined #ocaml
<
pippijn>
gnuvince: your quit message is relevant to my current project
<
pippijn>
gnuvince: and the regular expressions I'm implementing recognise regular expressions
<
pippijn>
languages
fusillia has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
Yoric has joined #ocaml
Jeaye has quit [Ping timeout: 276 seconds]
Jeaye has joined #ocaml
andreypopp has quit [Quit: sleep]
mcclurmc is now known as mcclurmc_away
andreypopp has joined #ocaml
Guest28177 has joined #ocaml
answer_42 has joined #ocaml
arneis has quit [Ping timeout: 245 seconds]
Guest28177 is now known as arneis
chambart has joined #ocaml
UncleVasya has joined #ocaml
cago has quit [Ping timeout: 260 seconds]
cago has joined #ocaml
andreypopp has quit [Quit: sleep]
cago has quit [Ping timeout: 255 seconds]
andreypopp has joined #ocaml
ftrvxmtrx has joined #ocaml
djcoin has joined #ocaml
cago has joined #ocaml
xavierm02 has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
mcclurmc_away is now known as mcclurmc
elixey has quit [Remote host closed the connection]
UncleVasya has quit [Ping timeout: 244 seconds]
UncleVasya has joined #ocaml
elixey has joined #ocaml
Progster has joined #ocaml
mcclurmc is now known as mcclurmc_away
andreypopp has quit [Quit: sleep]
cago has quit [Ping timeout: 244 seconds]
Tobu has quit [Remote host closed the connection]
avsm has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
jamii has joined #ocaml
mcclurmc_away is now known as mcclurmc
sepp2k has quit [Ping timeout: 260 seconds]
sepp2k has joined #ocaml
avsm has quit [Quit: Leaving.]
cago has joined #ocaml
cago has quit [Client Quit]
cago has joined #ocaml
tac has joined #ocaml
sivoais has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
sivoais has joined #ocaml
travisbrady has joined #ocaml
avsm has joined #ocaml
cago1 has joined #ocaml
cago has quit [Read error: Connection reset by peer]
m0wgli has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
jamii has quit [Ping timeout: 260 seconds]
Progster has joined #ocaml
avsm has quit [Quit: Leaving.]
djcoin has quit [Quit: WeeChat 0.3.9]
mcclurmc is now known as mcclurmc_away
mrm has joined #ocaml
m0wgli has left #ocaml []
avsm has joined #ocaml
cago has joined #ocaml
jamii has joined #ocaml
mcclurmc_away is now known as mcclurmc
andreypopp has joined #ocaml
jpdeplaix has quit [Ping timeout: 240 seconds]
cago has quit [Read error: Connection reset by peer]
mcclurmc is now known as mcclurmc_away
avsm has quit [Quit: Leaving.]
jpdeplaix has joined #ocaml
Cyanure has quit [Remote host closed the connection]
cago1 has quit [Quit: Leaving.]
zorun has joined #ocaml
mcclurmc_away is now known as mcclurmc
Cyanure has joined #ocaml
hkBst has quit [Quit: Konversation terminated!]
avsm has joined #ocaml
avsm1 has joined #ocaml
UncleVasya has quit [Quit: UncleVasya]
avsm has quit [Ping timeout: 240 seconds]
Progster has quit [Ping timeout: 244 seconds]
tac is now known as tac-lunch
fraggle_laptop has quit [Remote host closed the connection]
andreypopp has quit [Quit: sleep]
larhat has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 260 seconds]
avsm1 has quit [Quit: Leaving.]
fraggle_laptop has joined #ocaml
beckerb has quit [Quit: Konversation terminated!]
sirmy has joined #ocaml
<
sirmy>
hi guys, does anyone know any site with some exercises about functional programming?
Progster has joined #ocaml
_andre has quit [Ping timeout: 248 seconds]
<
sirmy>
chambart: thank you! i'll give it a look!
djcoin has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 256 seconds]
pangoafk is now known as pango
tac-lunch is now known as tac
sirmy has quit [Ping timeout: 255 seconds]
tane has joined #ocaml
_andre has joined #ocaml
sirmy has joined #ocaml
_andre has quit [Ping timeout: 256 seconds]
_andre has joined #ocaml
sirmy has quit [Quit: Leaving]
Yoric has joined #ocaml
fraggle_laptop has quit [Remote host closed the connection]
<
pippijn>
I think it's sad that local functions that don't use anything from their lexical scope are not compiled as global functions
<
pippijn>
(they are noticably slower)
<
pippijn>
I think there are several easy transformations you can do on ocaml code to make it faster
<
pippijn>
even before type-checking
<
pippijn>
things like anonymous functions in argument of List.iter/fold_left/... that have no environment
<
pippijn>
does that really happen so rarely that it's not worth optimising?
<
pippijn>
I think it happens especially much in purely functional code
<
pippijn>
in imperative code, you often mutate something that is outside the loop
<
pippijn>
Array.iteri (fun i a -> something_outside.(i) <- a)
<
pippijn>
but functional code would use fold_left and pass the something_outside to each iteration
<
pippijn>
and then that function doesn't use outside data and could be lifted to the global scope
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<
flux>
pippijn, it does sound like a good opportunity for optimization
<
pippijn>
flux: I did it manually in a program of mine and it saved 2 seconds out of 19
fusillia has joined #ocaml
larhat has joined #ocaml
_andre has quit [Quit: leaving]
Anarchos has joined #ocaml
jamii has quit [Ping timeout: 260 seconds]
mrm has quit [Ping timeout: 246 seconds]
<
adrien>
pippijn: I measured that too and got a far less notable improvement
CmrPantoufle has quit [Quit: leaving]
emmanuelux has joined #ocaml
chambart has quit [Ping timeout: 252 seconds]
ontologiae has quit [Ping timeout: 240 seconds]
cdidd has quit [Ping timeout: 244 seconds]
djcoin has quit [Quit: WeeChat 0.3.9]
ftrvxmtrx has joined #ocaml
mcstar has quit [Quit: mcstar]
<
pippijn>
adrien: hmm
<
pippijn>
adrien: I assume you measured it as an inner loop
<
adrien>
no idea :D
<
pippijn>
adrien: so I don't know why my results were this good
answer_42 has quit [Quit: WeeChat 0.3.9]
sivoais has quit [Quit: Lost terminal]
larhat has quit [Ping timeout: 245 seconds]
Snark has quit [Quit: Quitte]
larhat has joined #ocaml
Submarine has quit [Quit: Leaving]
Jeaye has left #ocaml []
mrpantoufle has joined #ocaml
Cyanure has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 252 seconds]
chambart has joined #ocaml
tane has left #ocaml []
ontologiae has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
jamii has joined #ocaml
emmanuelux has quit [Quit: emmanuelux]
tac has quit [Quit: Page closed]
ontologi1e has joined #ocaml
ontologiae has quit [Ping timeout: 265 seconds]
zorun has quit [Quit: leaving]
smerz has joined #ocaml
Yoric has joined #ocaml
avsm has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
wagle_ has joined #ocaml
travisbrady has quit [Quit: travisbrady]
wagle has quit [Ping timeout: 264 seconds]
xavierm02 has quit [Quit: Leaving]
mfp has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
chambart has joined #ocaml
ulfdoz has joined #ocaml
mcclurmc is now known as mcclurmc_away
mcclurmc_away is now known as mcclurmc
Neros has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
jamii has quit [Ping timeout: 260 seconds]
ulfdoz has quit [Ping timeout: 255 seconds]