arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
Dongyancai has quit [Ping timeout: 264 seconds]
Dongyancai has joined #ocaml
Dongyancai has quit [Ping timeout: 246 seconds]
Dongyancai has joined #ocaml
Simn has quit [Quit: Leaving]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Dongyancai has quit [Ping timeout: 264 seconds]
Khady has joined #ocaml
RMacy has joined #ocaml
maattdd has quit [Ping timeout: 252 seconds]
xianxu has quit [Ping timeout: 264 seconds]
Dongyancai has joined #ocaml
csakatoku has joined #ocaml
zpe has joined #ocaml
maattdd has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
maattdd has quit [Ping timeout: 246 seconds]
ousado has quit [Ping timeout: 264 seconds]
ikaros has quit [Quit: Ex-Chat]
ousado has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
q66 has quit [Quit: Leaving]
hto_ has joined #ocaml
hto__ has joined #ocaml
hto__ has quit [Client Quit]
hto_ has quit [Client Quit]
malo has joined #ocaml
maattdd has joined #ocaml
malo has quit [Quit: Leaving]
maattdd has quit [Ping timeout: 255 seconds]
boogie has quit [Remote host closed the connection]
Dongyancai has quit [Ping timeout: 264 seconds]
Dongyancai has joined #ocaml
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
nikki93 has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
ollehar1 has quit [Ping timeout: 240 seconds]
Dongyancai has quit [Ping timeout: 246 seconds]
Dongyancai has joined #ocaml
arjunguha has joined #ocaml
manizzle has quit [Ping timeout: 264 seconds]
divyanshu has joined #ocaml
cdruzac has quit [Quit: Leaving]
Dongyancai has quit [Ping timeout: 264 seconds]
talzeus has quit [Read error: Connection reset by peer]
Dongyancai has joined #ocaml
RMacy has quit []
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 252 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
divyanshu has joined #ocaml
divyanshu has quit [Client Quit]
divyanshu has joined #ocaml
tlockney_away is now known as tlockney
zzing has joined #ocaml
talzeus has joined #ocaml
Dongyancai has quit [Ping timeout: 264 seconds]
Dongyancai has joined #ocaml
zpe has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nikki93 has quit [Remote host closed the connection]
maattdd has joined #ocaml
baumy has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
<baumy>
can somebody explain to me how to interpet the expression `let f f = f in f f f`? trick question on a practice exam I'm taking and I can't get my head straight about it
nikki93_ has joined #ocaml
maattdd has quit [Ping timeout: 255 seconds]
<Drup>
baumy: is this expression alone ?
<Drup>
hum, nevermind
<baumy>
Drup: yes
<Drup>
baumy: try renaming the various component
Dongyancai has quit [Ping timeout: 264 seconds]
<baumy>
I did try that, and what it taught me is I don't thoroughly understand when names bind to things
<Drup>
:D
<Drup>
first, what is going on in this expression ? try to decompose it in subexpresions
Dongyancai has joined #ocaml
ygrek has joined #ocaml
<baumy>
well the first f is a function that takes one argument, the second f
divyanshu has quit [Ping timeout: 240 seconds]
<Drup>
indeed
<Drup>
what is the body of this function ?
<baumy>
I changed it to `let imthree f = f in imthree imthree 3;;`
<baumy>
I'm not sure if that's equivalent
<baumy>
the last three f's have got to be the body right?
<Drup>
nope.
<Drup>
your change is correct, minus the final 3
divyanshu has joined #ocaml
<baumy>
well I'm obviously missing something, but I'm closer to figuring out what that something is. let me play with it a bit more
divyanshu has quit [Client Quit]
claudiuc_ has quit [Remote host closed the connection]
nikki93_ has quit [Remote host closed the connection]
<baumy>
so the last `3` should be another `imthree`, that was silly of me.
<baumy>
so I have a senes of which names are which
<baumy>
but no intuition for what the meaning of the expression is
<Drup>
try to find the body of the function
divyanshu has joined #ocaml
<baumy>
so if I have `let g f = f in g g g`, within the `g g g`, g is a function that returns the argument it's passed
<Drup>
indeed
<Drup>
you probably know this function with another name
<baumy>
so `let g f = f in g g` ought to be equivalent to my original, and I could tack on any number of g's and it wouldn't change
<baumy>
it's just the identity function yeah?
<Drup>
yes
<baumy>
the last thing I don't understand is why `let g f = f in g` has a slightly different type in the toplevel than `let g f = f in g g`
<baumy>
I guess I just don't know the difference between 'a and '_a but that's probably googleable
<baumy>
thanks a lot Drup!
<Drup>
oh, right
<Drup>
huum
<baumy>
based on pattern matching syntax I'd assume that means it doesn't care about the value or some reason? but that doesn't make sense to me in this context
<baumy>
s/or/for
<Drup>
no
<Drup>
it means it's monomorphic
<baumy>
yeah something to do with weak polymorphism
<baumy>
which is a separate topic that I can read about on my own =) thanks again
<Drup>
no problem :)
divyanshu has quit [Quit: Computer has gone to sleep.]
S11001001 has quit [Quit: 'night all]
nikki93 has joined #ocaml
IbnFirnas_ has quit [Ping timeout: 599 seconds]
n0v has quit [Ping timeout: 599 seconds]
IbnFirnas_ has joined #ocaml
n0v has joined #ocaml
divyanshu has joined #ocaml
divyanshu has quit [Client Quit]
baumy has left #ocaml []
xianxu has joined #ocaml
nikki93 has quit [Remote host closed the connection]
maattdd has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
maattdd has quit [Ping timeout: 264 seconds]
nikki93 has joined #ocaml
siddharthv_away is now known as siddharthv
divyanshu has joined #ocaml
csakatoku has quit [Remote host closed the connection]
yacks has joined #ocaml
michael_lee has joined #ocaml
michael_lee has quit [Max SendQ exceeded]
michael_lee has joined #ocaml
csakatoku has joined #ocaml
michael_lee has quit [Max SendQ exceeded]
divyanshu has quit [Quit: Computer has gone to sleep.]
michael_lee has joined #ocaml
divyanshu has joined #ocaml
michael_lee has quit [Max SendQ exceeded]
tlockney is now known as tlockney_away
maattdd has joined #ocaml
zpe has joined #ocaml
Dongyancai has quit [Ping timeout: 252 seconds]
Dongyancai has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
zpe has quit [Ping timeout: 240 seconds]
michael_lee has joined #ocaml
michael_lee has quit [Max SendQ exceeded]
zzing has quit [Ping timeout: 240 seconds]
michael_lee has joined #ocaml
zzing has joined #ocaml
michael_lee has quit [Max SendQ exceeded]
michael_lee has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
divyanshu has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 255 seconds]
ggole has joined #ocaml
maattdd has joined #ocaml
zpe has joined #ocaml
axiles has joined #ocaml
Axord has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
zpe has quit [Ping timeout: 255 seconds]
michel_mno_afk has joined #ocaml
michel_mno_afk is now known as michel_mno
arjunguha has joined #ocaml
tlockney_away has quit [Ping timeout: 265 seconds]
arjunguh_ has joined #ocaml
tlockney_away has joined #ocaml
tlockney_away is now known as tlockney
yacks has quit [Ping timeout: 240 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93_ has joined #ocaml
arjunguha has quit [Ping timeout: 264 seconds]
yacks has joined #ocaml
nikki93_ has quit [Remote host closed the connection]
nikki93 has joined #ocaml
ygrek has joined #ocaml
Dongyancai has quit [Ping timeout: 240 seconds]
Dongyancai has joined #ocaml
ulfdoz has joined #ocaml
Dongyancai has quit [Ping timeout: 240 seconds]
Dongyancai has joined #ocaml
elfring has joined #ocaml
maattdd has joined #ocaml
zpe has joined #ocaml
maattdd has quit [Ping timeout: 264 seconds]
zpe has quit [Ping timeout: 240 seconds]
ulfdoz has quit [Ping timeout: 240 seconds]
Dongyancai has quit [Ping timeout: 240 seconds]
Dongyancai has joined #ocaml
angerman has joined #ocaml
xianxu has quit [Ping timeout: 252 seconds]
demonimin has quit [Remote host closed the connection]
Dongyancai has quit [Ping timeout: 264 seconds]
Dongyancai has joined #ocaml
Kakadu has joined #ocaml
demonimin has joined #ocaml
zpe has joined #ocaml
AltGr has joined #ocaml
AltGr has left #ocaml []
csakatoku has quit []
yacks has quit [Ping timeout: 264 seconds]
arjunguh_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
skchrko has quit [Ping timeout: 246 seconds]
ikaros has joined #ocaml
yacks has joined #ocaml
skchrko has joined #ocaml
xianxu has joined #ocaml
arjunguha has joined #ocaml
Dongyancai has quit [Ping timeout: 264 seconds]
Dongyancai has joined #ocaml
xianxu has quit [Ping timeout: 264 seconds]
maattdd has joined #ocaml
Simn has joined #ocaml
nikki93 has quit [Remote host closed the connection]
mika1 has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nikki93 has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
nikki93 has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
AltGr has joined #ocaml
ollehar has joined #ocaml
maattdd has quit [Ping timeout: 264 seconds]
nikki93 has quit [Remote host closed the connection]
Hannibal_Smith has joined #ocaml
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 264 seconds]
maufred has quit [Ping timeout: 255 seconds]
maufred has joined #ocaml
avsm has joined #ocaml
Dongyancai has quit [Ping timeout: 252 seconds]
rand000 has joined #ocaml
Dongyancai has joined #ocaml
avsm has quit [Quit: Leaving.]
jonludlam has joined #ocaml
zpe has joined #ocaml
Hannibal_Smith has quit [Ping timeout: 246 seconds]
mort___ has joined #ocaml
Hannibal_Smith has joined #ocaml
Dongyancai has quit [Ping timeout: 240 seconds]
Dongyancai has joined #ocaml
dsheets has quit [Ping timeout: 264 seconds]
dsheets has joined #ocaml
maufred has quit [Ping timeout: 240 seconds]
maufred has joined #ocaml
zzing has quit [Ping timeout: 246 seconds]
zzing has joined #ocaml
avsm has joined #ocaml
Dongyancai has quit [Ping timeout: 240 seconds]
Dongyancai has joined #ocaml
jonludlam has quit [Ping timeout: 240 seconds]
jonludlam has joined #ocaml
arjunguha has joined #ocaml
_andre has joined #ocaml
yacks has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 252 seconds]
ontologiae has joined #ocaml
avsm has quit [Quit: Leaving.]
rand000 has quit [Ping timeout: 246 seconds]
Dongyancai has quit [Ping timeout: 264 seconds]
Dongyancai has joined #ocaml
siddharthv is now known as siddharthv_away
Dongyancai has quit [Ping timeout: 246 seconds]
ollehar has quit [Ping timeout: 252 seconds]
Dongyancai has joined #ocaml
claudiuc has joined #ocaml
Fullma has quit [Ping timeout: 240 seconds]
Hannibal_Smith has quit [Quit: Sto andando via]
ollehar has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
lostcuaz has joined #ocaml
elfring has joined #ocaml
ollehar1 has joined #ocaml
ygrek has joined #ocaml
Dongyancai has quit [Ping timeout: 264 seconds]
talzeus has quit [Remote host closed the connection]
shinnya has joined #ocaml
oriba has joined #ocaml
Dongyancai has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
Dongyancai has quit [Ping timeout: 240 seconds]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Dongyancai has joined #ocaml
divyanshu has joined #ocaml
darkf has quit [Quit: Leaving]
shinnya has quit [Ping timeout: 246 seconds]
wwilly has joined #ocaml
avsm has joined #ocaml
<Dongyancai>
Hello, in ocamlnet/fcgi, does arg_store only apply to uploaded file, not to args by normal GET or POST method?
jonludlam has quit [Ping timeout: 240 seconds]
Dongyancai has quit [Ping timeout: 246 seconds]
WraithM has quit [Ping timeout: 240 seconds]
Dongyancai has joined #ocaml
demonimin has quit [Remote host closed the connection]
WraithM has joined #ocaml
demonimin has joined #ocaml
Dongyancai has quit [Ping timeout: 240 seconds]
jonludlam has joined #ocaml
talzeus has joined #ocaml
ollehar1 has quit [Ping timeout: 252 seconds]
talzeus has quit [Remote host closed the connection]
Dongyancai has joined #ocaml
travisbrady has joined #ocaml
talzeus has joined #ocaml
oriba has quit [Quit: oriba]
divyanshu has quit [Quit: Computer has gone to sleep.]
igitoor has quit [Ping timeout: 246 seconds]
claudiuc_ has joined #ocaml
claudiuc has quit [Ping timeout: 264 seconds]
arjunguha has joined #ocaml
igitoor has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
mika1 has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
divyanshu has joined #ocaml
baz_ has quit [Remote host closed the connection]
angerman has quit [Quit: Gone]
angerman has joined #ocaml
jwatzman|work has joined #ocaml
claudiuc_ has quit [Remote host closed the connection]
tianon has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
lostcuaz has quit [Read error: Connection reset by peer]
tianon has joined #ocaml
lostcuaz has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
elfring has quit [Quit: Konversation terminated!]
elfring has joined #ocaml
Fullma has joined #ocaml
<elfring>
How often do you notice hash collisions eventually if integers are stored as keys by the module "Hashtabl"?
<adrien>
depends on the source of keys
<adrien>
if they're crafted, it can be very high
<adrien>
otherwise, it's "uncommon"
travisbrady has quit [Quit: travisbrady]
<ggole>
Collisions don't affect the semantics, so it's a bit hard to "notice" them
<ggole>
You can use Hashtbl.stats to find out for a particular table, too.
<elfring>
Does the potential for hash collisions mean that I should use a different data structure if I would like to keep my integer keys unique and consistent?
<ggole>
No. An equality test will be used to avoid collisions causing erroneous results.
<ggole>
Of course if you know you can allocate sequential keys, then an array (or array-backed sparse set) may be preferable
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
<elfring>
Was any OCaml interface published where a specific hash function can be passed as a configuration parameter?
<ggole>
Yeah
<ggole>
Read the docs
<companion_cube>
elfring: Hashtbl provides a functor for that
<companion_cube>
the polymorphic hashtable uses the default hash function, which is good enough for most problems
zpe has quit [Ping timeout: 240 seconds]
<Drup>
why are you obsessed by hash collissions ?
<Drup>
except if you have a very very specific use cases, which you don't have, or didn't care to reveal until now, it's so unlikely that you can ignore it.
<Drup>
and it's not going to blow stuff up anyway ...
Hannibal_Smith has joined #ocaml
<elfring>
ggole: Do you refer to "Functor Hashtbl.Make"?
tianon has quit [Ping timeout: 246 seconds]
RMacy has joined #ocaml
angerman has quit [Ping timeout: 246 seconds]
<flux>
yes
angerman has joined #ocaml
RMacy has quit [Client Quit]
travisbrady has joined #ocaml
Kakadu has quit [Ping timeout: 245 seconds]
maattdd has joined #ocaml
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
RMacy has joined #ocaml
AltGr has left #ocaml []
Dongyancai has quit [Ping timeout: 264 seconds]
AltGr has joined #ocaml
q66 has joined #ocaml
boogie has joined #ocaml
Dongyancai has joined #ocaml
zpe has joined #ocaml
Dongyancai has quit [Ping timeout: 240 seconds]
S11001001 has joined #ocaml
lostcuaz has quit [Ping timeout: 240 seconds]
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
lostcuaz has joined #ocaml
Dongyancai has joined #ocaml
tlockney is now known as tlockney_away
divyanshu has quit [Ping timeout: 240 seconds]
tianon has joined #ocaml
angerman has quit [Write error: Broken pipe]
claudiuc has joined #ocaml
Thooms has joined #ocaml
tlockney_away is now known as tlockney
xianxu has joined #ocaml
cdruzac has joined #ocaml
Kakadu has joined #ocaml
q66_ has joined #ocaml
jonludlam has quit [Remote host closed the connection]
q66_ has quit [Changing host]
q66_ has joined #ocaml
q66 has quit [Disconnected by services]
q66_ is now known as q66
Simn has quit [Quit: Leaving]
Dongyancai has quit [Ping timeout: 240 seconds]
mort___ has quit [Ping timeout: 240 seconds]
Dongyancai has joined #ocaml
arjunguha has joined #ocaml
q66_ has joined #ocaml
q66_ has quit [Changing host]
q66_ has joined #ocaml
q66 has quit [Disconnected by services]
q66_ is now known as q66
q66 has quit [Client Quit]
q66 has joined #ocaml
<elfring>
companion_cube: I find that the documentation for "Hashtbl" does not specify the technical properties of the "default" hash functions, or does it?
dsheets has quit [Ping timeout: 246 seconds]
__marius___ has quit [Ping timeout: 264 seconds]
__marius___ has joined #ocaml
AltGr has left #ocaml []
ollehar has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
Hannibal_Smith has quit [Ping timeout: 269 seconds]
lostcuaz_ has joined #ocaml
lostcuaz_ has quit [Read error: Connection reset by peer]
lostcuaz has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
Hannibal_Smith has joined #ocaml
Thooms has quit [Ping timeout: 240 seconds]
Thooms has joined #ocaml
|jbrown| has quit [Remote host closed the connection]
RMacy has quit []
fraggle_ has joined #ocaml
angerman has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 240 seconds]
lostcuaz has quit [Ping timeout: 242 seconds]
RMacy has joined #ocaml
lostcuaz has joined #ocaml
<flux>
it probably doesn't. I imagine the reasoning would be that that gives the flexibility to change it. but due to maintaining Marshalling binary compatibility it probably won't be.
<flux>
you can find some discussion about its properties, in which cases it's good etc.
<flux>
I think at least if your data structure has many links, it only follows so many
RMacy has quit []
ikaros has quit [Quit: Ex-Chat]
_andre has quit [Quit: leaving]
WraithM_ has joined #ocaml
rz has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
xianxu has quit [Write error: Broken pipe]
WraithM has quit [Remote host closed the connection]
wwilly_ has joined #ocaml
wwilly has quit [Excess Flood]
n0v has quit [Ping timeout: 788 seconds]
watermind has joined #ocaml
Arsenik has joined #ocaml
tlockney is now known as tlockney_away
n0v has joined #ocaml
angerman has quit [Ping timeout: 263 seconds]
q66 has quit [Ping timeout: 252 seconds]
divyanshu has joined #ocaml
xianxu has joined #ocaml
ggole has quit [Ping timeout: 240 seconds]
<elfring>
Would you like to clarify the technical properties for the "default" hash functions you became used to in your software development?