<Moataz-E>
Simn: perfect! thank you very much, I am very new to ocaml :D
<Simn>
You're welcome!
<Moataz-E>
sorry one more question, in defining functions like x = (x*2) + 1, is it better to use "let formula x = (x*2) + 1" or "fun formula x -> (x*2) + 1" ?
qingant has quit [Read error: Connection reset by peer]
csakatok_ has joined #ocaml
Kakadu has joined #ocaml
csakatoku has quit [Ping timeout: 260 seconds]
sgnb` has quit [Remote host closed the connection]
sgnb has joined #ocaml
Kakadu has quit [Ping timeout: 272 seconds]
qingant has joined #ocaml
Kakadu has joined #ocaml
<adrien>
we were talking about phabricator a few days ago; a friend told me its code review system is indeed very good
ygrek has joined #ocaml
dant3 has joined #ocaml
wwilly has joined #ocaml
dant3 has quit [Read error: Connection reset by peer]
dant3_ has joined #ocaml
Kakadu has quit [Quit: Page closed]
Kakadu has joined #ocaml
nikki93 has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
nikki93 has quit [Remote host closed the connection]
cdidd has quit [Remote host closed the connection]
Eyyub_ has quit [Ping timeout: 246 seconds]
cdidd has joined #ocaml
skchrko has joined #ocaml
Eyyub has joined #ocaml
boogie has quit [Remote host closed the connection]
michael_lee has quit [Read error: Connection reset by peer]
rwmjones has quit [Read error: Operation timed out]
rwmjones has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest86479
Kakadu has quit [Ping timeout: 272 seconds]
Guest86479 has quit [Remote host closed the connection]
Arsenik has joined #ocaml
dant3_ has quit [Remote host closed the connection]
emias has quit [Quit: Changing server]
emias has joined #ocaml
michael_lee has joined #ocaml
Eyyub has quit [Ping timeout: 248 seconds]
smerz has joined #ocaml
smerz_ has joined #ocaml
Eyyub has joined #ocaml
qingant has quit [Read error: Connection reset by peer]
dant3 has joined #ocaml
mort___ has joined #ocaml
kyrylo has joined #ocaml
ulfdoz has joined #ocaml
qingant has joined #ocaml
smerz has quit [Ping timeout: 246 seconds]
smerz_ has quit [Ping timeout: 248 seconds]
nikki93 has joined #ocaml
dant3 has quit [Remote host closed the connection]
<Drup>
Moataz-E: not the same
dant3 has joined #ocaml
<Drup>
Moataz-E: "fun ..." is the function itself but it doesn't have any name, "let formula x = ..." is a declaration of the function (it gives it a name).
_andre has joined #ocaml
rand000 has joined #ocaml
dant3_ has joined #ocaml
dant3 has quit [Ping timeout: 248 seconds]
mort___ has quit [Quit: Leaving.]
angerman has joined #ocaml
ddosia has quit [Quit: Leaving.]
ddosia has joined #ocaml
dant3_ has quit [Remote host closed the connection]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
csakatoku has quit [Write error: Connection reset by peer]
smerz_ has joined #ocaml
nicoo has quit [Ping timeout: 248 seconds]
rand000 has quit [Quit: leaving]
nicoo has joined #ocaml
smerz has joined #ocaml
nikki93 has quit [Remote host closed the connection]
pminten has joined #ocaml
dant3 has joined #ocaml
snyp has joined #ocaml
snyp has quit [Quit: K Bye]
snyp has joined #ocaml
tovarish has joined #ocaml
introom has joined #ocaml
sheijk has joined #ocaml
tovarish has quit [Quit: Leaving]
sheijk has quit [Ping timeout: 248 seconds]
ygrek has quit [Ping timeout: 240 seconds]
angerman has quit [Quit: Bye]
dant3 has quit []
Moataz-E has quit [Quit: Leaving]
dant3 has joined #ocaml
snyp has quit [Quit: K Bye]
kyrylo has quit [Ping timeout: 272 seconds]
qingant has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
rwmjones has quit [Read error: Connection reset by peer]
Moataz-E has joined #ocaml
Kakadu has joined #ocaml
Moataz-E has left #ocaml []
Moataz-E has joined #ocaml
Moataz-E has quit [Client Quit]
NoNNaN has joined #ocaml
jbrown has quit [Read error: Connection timed out]
jbrown has joined #ocaml
rwmjones has joined #ocaml
nikki93 has joined #ocaml
thomasga has quit [Quit: Leaving.]
talzeus__ has quit [Remote host closed the connection]
thomasga has joined #ocaml
jbrown has quit [Read error: Connection timed out]
jbrown has joined #ocaml
nikki93 has quit [Remote host closed the connection]
jbrown has quit [Ping timeout: 248 seconds]
thomasga has quit [Quit: Leaving.]
qingant has joined #ocaml
sheijk has joined #ocaml
darkf has quit [Quit: Leaving]
ollehar has quit [Read error: Connection reset by peer]
shinnya has joined #ocaml
milosn_ is now known as milosn
ygrek has quit [Ping timeout: 264 seconds]
nikki93 has joined #ocaml
sheijk has quit [Read error: Operation timed out]
pminten has quit [Remote host closed the connection]
talzeus_ has joined #ocaml
talzeus_ has quit [Remote host closed the connection]
talzeus_ has joined #ocaml
adrien_o1w has joined #ocaml
adrien_oww has quit [Ping timeout: 272 seconds]
nikki93 has quit [Remote host closed the connection]
troydm has joined #ocaml
ggole has joined #ocaml
mreca has joined #ocaml
willy_ has joined #ocaml
wwilly has quit [Ping timeout: 272 seconds]
ggole has quit [Read error: Connection timed out]
ggole has joined #ocaml
avsm has joined #ocaml
mreca has quit [Remote host closed the connection]
mreca has joined #ocaml
saml has joined #ocaml
nikki93 has joined #ocaml
zpe has joined #ocaml
WraithM has joined #ocaml
ygrek has joined #ocaml
dant3 has quit [Remote host closed the connection]
pminten has joined #ocaml
snyp has joined #ocaml
WraithM has quit [Read error: Connection reset by peer]
WraithM has joined #ocaml
fooo has joined #ocaml
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
arjunguha has joined #ocaml
qingant has quit [Quit: Leaving.]
fooo has quit [Ping timeout: 272 seconds]
adrien_o1w is now known as adrien_oww
zpe has quit [Ping timeout: 252 seconds]
nikki93 has quit [Remote host closed the connection]
qingant has joined #ocaml
jonludlam has joined #ocaml
Eyyub has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
qingant has quit [Quit: Leaving.]
rand000 has joined #ocaml
thomasga has joined #ocaml
watermind has joined #ocaml
nikki93 has joined #ocaml
<flux>
cool, OBus (DBus bindings) come not only with DBus bindings but also bindings for several interfaces
qingant has joined #ocaml
<flux>
sadly not the one I needed :)
<flux>
but stuff like NetworkManager, gnome settings, notifications, policykit, udisks and power management
<flux>
(so I suppose if I wrote a decent interface for org.gnome.ScreenSaver, it would have decent opportunities of getting integrated)
<whitequark>
oooh, that's neat
Kakadu has quit [Quit: Page closed]
Eyyub has joined #ocaml
sheijk has joined #ocaml
Eyyub has quit [Ping timeout: 240 seconds]
pango has quit [Ping timeout: 240 seconds]
snyp has quit [Quit: K Bye]
kyrylo has joined #ocaml
pango has joined #ocaml
introom has quit [Ping timeout: 272 seconds]
qingant has quit [Quit: Leaving.]
thomasga1 has joined #ocaml
thomasga has quit [Ping timeout: 240 seconds]
pango has quit [Ping timeout: 260 seconds]
pango has joined #ocaml
kyrylo has quit [Quit: Don't give up! Tell ya neighbour, tell ya friend...]
skchrko has quit [Quit: Leaving]
thomasga1 has quit [Quit: Leaving.]
thomasga has joined #ocaml
Xenasis has joined #ocaml
thomasga has quit [Quit: Leaving.]
manizzle has quit [Ping timeout: 260 seconds]
pminten has quit [Read error: Connection reset by peer]
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
thomasga has joined #ocaml
Kakadu has joined #ocaml
WraithM has quit [Read error: Connection reset by peer]
WraithM_ has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
nikki93 has joined #ocaml
shinnya has quit [Ping timeout: 272 seconds]
oriba has joined #ocaml
oriba has quit [Client Quit]
oriba has joined #ocaml
boogie has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
michael_lee has quit [Quit: Ex-Chat]
nikki93 has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
nikki93 has quit [Ping timeout: 260 seconds]
talzeus__ has joined #ocaml
talzeus__ has quit [Remote host closed the connection]
talzeus_ has quit [Read error: Connection reset by peer]
avsm has quit [Quit: Leaving.]
smerz_ has quit [Remote host closed the connection]
smerz has quit [Read error: Connection reset by peer]
ggole has quit []
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
avsm has joined #ocaml
ollehar has joined #ocaml
manizzle has joined #ocaml
manizzle has quit [Ping timeout: 246 seconds]
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
avsm has joined #ocaml
thomasga has quit [Quit: Leaving.]
Xenasis has quit [Remote host closed the connection]
mcclurmc has quit [Remote host closed the connection]
hto has quit [Read error: Operation timed out]
hto has joined #ocaml
jonludlam has quit [Ping timeout: 240 seconds]
jonludlam has joined #ocaml
frankjeager has joined #ocaml
pango has quit [Ping timeout: 252 seconds]
Xenasis has joined #ocaml
oriba has quit [Quit: oriba]
nikki93 has joined #ocaml
pango has joined #ocaml
_andre has quit [Quit: leaving]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
arjunguha has quit [Ping timeout: 252 seconds]
nikki93 has quit [Ping timeout: 246 seconds]
nikki93 has joined #ocaml
jonludlam has quit [Ping timeout: 252 seconds]
skchrko has joined #ocaml
nikki93 has quit [Ping timeout: 272 seconds]
arjunguha has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
arjunguha has joined #ocaml
WraithM_ has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
n0v has joined #ocaml
mcclurmc has joined #ocaml
Xenasis has quit [Remote host closed the connection]
swistak35 has joined #ocaml
Nahra has quit [Ping timeout: 248 seconds]
nikki93 has joined #ocaml
Nahra has joined #ocaml
Nahra has quit [Changing host]
Nahra has joined #ocaml
Kakadu has quit []
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
vpm has quit [Quit: co'o]
mcclurmc has quit [Read error: Connection reset by peer]
lasts_ has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
vpm has joined #ocaml
lasts has joined #ocaml
wolfnn has joined #ocaml
nikki93 has quit [Ping timeout: 252 seconds]
kyrylo has joined #ocaml
<kyrylo>
My laptop's hinge is broken :(
<kyrylo>
Fucking Lenovo
<kyrylo>
ThinkShit
<bernardofpc>
is there log2 : float -> float in Ocaml ?
<bernardofpc>
(or just exponent : float -> int ?)
zpe has joined #ocaml
<kyrylo>
Whoops, wrong channel :)
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
Simn has quit [Quit: Leaving]
<flux>
bernardofpc, well, there is let log2 x = log x /. log 2.0 ;)
<bernardofpc>
arg
<flux>
or maybe frexp is what you want?
<bernardofpc>
yep
<bernardofpc>
found it looking in Batteries
<bernardofpc>
(maybe duckduck go is not as good as google for finding "float exponent ocaml")
<bernardofpc>
you know why it's named frexp ?
<rks`>
because it's FRench
<bernardofpc>
maybe :D
<bernardofpc>
(or perhaps that's just the libC original name)
WraithM has quit [Ping timeout: 246 seconds]
mcclurmc has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 240 seconds]
ulfdoz has quit [Ping timeout: 246 seconds]
avsm has joined #ocaml
nikki93 has joined #ocaml
<flux>
(it is)
zpe has joined #ocaml
frankjeager has quit [Quit: Quitte]
wolfnn has quit [Ping timeout: 252 seconds]
WraithM has joined #ocaml
nikki93 has quit [Ping timeout: 272 seconds]
darkf has joined #ocaml
BiDOrD has quit [Read error: Operation timed out]
BiDOrD has joined #ocaml
saml has quit [Quit: Leaving]
jbrown has joined #ocaml
swistak35 has quit [Ping timeout: 240 seconds]
zpe has quit [Ping timeout: 260 seconds]
tane has quit [Quit: Verlassend]
ollehar has quit [Ping timeout: 245 seconds]
Arsenik has quit [Remote host closed the connection]
watermind has quit [Quit: Konversation terminated!]
Arsenik has joined #ocaml
NoNNaN has quit [Ping timeout: 240 seconds]
NoNNaN has joined #ocaml
Arsenik has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
MigX has quit []
madroach has quit [Ping timeout: 272 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]