Sorella has quit [Quit: Connection closed for inactivity]
annoymouse has joined #ocaml
jimt_ is now known as jimt
atsampson has quit [Ping timeout: 245 seconds]
atsampson has joined #ocaml
justicefries has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
silver has quit [Read error: Connection reset by peer]
copy` has quit [Quit: Connection closed for inactivity]
<chindy>
is there a function of type: a list -> b list -> (a->b->c) -> c list, so it basically takes a function and applies ith element of list a and b to the function and saves it in the return
<chindy>
nvm... probably zip_with what i am looking for
<Drup>
heh, sorting criteria is still work in progress :p
<Drup>
but, in this case, List.map2 is what you want
jmct_ has joined #ocaml
MorTal1ty_ has joined #ocaml
unbalancedparen has joined #ocaml
stephe_ has joined #ocaml
rpg_ has joined #ocaml
ansiwen_ has joined #ocaml
noplamodo_ has joined #ocaml
eagleflo_ has joined #ocaml
DanielRi1hman has joined #ocaml
spion_ has joined #ocaml
sigjuice_ has joined #ocaml
mami has joined #ocaml
aggelos__ has joined #ocaml
rpcope- has joined #ocaml
haesbaer1 has joined #ocaml
nightmared_ has joined #ocaml
saidinwot1 has joined #ocaml
profan_ has joined #ocaml
Bluddy[m]1 has joined #ocaml
djellemah_ has joined #ocaml
niris has joined #ocaml
sigjuice has quit [Ping timeout: 255 seconds]
jmct has quit [Ping timeout: 255 seconds]
spion has quit [Ping timeout: 255 seconds]
pote_ has quit [Ping timeout: 255 seconds]
aggelos_ has quit [Ping timeout: 255 seconds]
mami_ has quit [Ping timeout: 255 seconds]
parataxis has quit [Ping timeout: 255 seconds]
rwmjones has quit [Ping timeout: 255 seconds]
zozozo has quit [Ping timeout: 255 seconds]
eagleflo has quit [Ping timeout: 255 seconds]
SaidinWoT has quit [Ping timeout: 255 seconds]
bronsen has quit [Ping timeout: 255 seconds]
stephe has quit [Ping timeout: 255 seconds]
rpg has quit [Ping timeout: 255 seconds]
fre has quit [Ping timeout: 255 seconds]
obadz has quit [Ping timeout: 255 seconds]
nightmared has quit [Ping timeout: 255 seconds]
djellemah has quit [Ping timeout: 255 seconds]
tobast has quit [Ping timeout: 255 seconds]
ansiwen has quit [Ping timeout: 255 seconds]
ktosiek[m] has quit [Ping timeout: 255 seconds]
Bluddy[m] has quit [Ping timeout: 255 seconds]
haesbaert has quit [Ping timeout: 255 seconds]
jbrown has quit [Ping timeout: 255 seconds]
MorTal1ty has quit [Ping timeout: 255 seconds]
noplamodo has quit [Ping timeout: 255 seconds]
unbalanced has quit [Ping timeout: 255 seconds]
\h has quit [Ping timeout: 255 seconds]
bbc has quit [Ping timeout: 255 seconds]
awal has quit [Ping timeout: 255 seconds]
profan has quit [Ping timeout: 255 seconds]
DanielRichman has quit [Ping timeout: 255 seconds]
fraggle_ has quit [Ping timeout: 255 seconds]
qmm has quit [Ping timeout: 255 seconds]
rpcope has quit [Ping timeout: 255 seconds]
qmm has joined #ocaml
bbc has joined #ocaml
qmm has joined #ocaml
qmm has quit [Changing host]
zozozo has joined #ocaml
pote_ has joined #ocaml
rwmjones has joined #ocaml
jmct_ is now known as jmct
tobast has joined #ocaml
niris is now known as \h
jbrown has joined #ocaml
fre has joined #ocaml
stephe_ is now known as stephe
fraggle_ has joined #ocaml
obadz has joined #ocaml
john51 has joined #ocaml
ktosiek[m] has joined #ocaml
john51 has quit [Read error: Connection reset by peer]
MorTal1ty_ is now known as MorTal1ty
awal has joined #ocaml
awal is now known as Guest7351
Guest7351 has quit [Changing host]
Guest7351 has joined #ocaml
Guest7351 is now known as awal
shinnya has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 264 seconds]
govg has joined #ocaml
jeffmo has quit [Quit: jeffmo]
jao has quit [Ping timeout: 240 seconds]
Algebr has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
snhmib has quit [Ping timeout: 276 seconds]
djellemah_ is now known as djellemah
parataxis has joined #ocaml
annoymouse has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
snhmib has joined #ocaml
snhmib has quit [Ping timeout: 240 seconds]
snhmib has joined #ocaml
mengu has joined #ocaml
MercurialAlchemi has joined #ocaml
rpg_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
FreeBirdLjj has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
<frefity>
If i define a type in an mli file, do I always need to redeclare it in the ml?
<flux>
frefity, yes. the exception is if your .mli only contains types, in which case you don't need an .ml
<frefity>
Great, thanks
<flux>
there are tricks like defining such types in a separate .mli file and include it to your interface/implementation (include module type of X can be useful)
alfredo has joined #ocaml
mengu_ has joined #ocaml
mengu has quit [Read error: Connection reset by peer]
govg has quit [Ping timeout: 255 seconds]
jnavila has joined #ocaml
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mengu_ has quit [Remote host closed the connection]
mengu has joined #ocaml
zpe has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
average has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
Simn has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
w1gz has joined #ocaml
AlexDenisov has joined #ocaml
foo30303 has joined #ocaml
fre3 has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
fre2 has quit [Ping timeout: 258 seconds]
foo30303_ has joined #ocaml
larhat has joined #ocaml
FreeBirdLjj has joined #ocaml
mengu has joined #ocaml
fre3 has quit [Ping timeout: 252 seconds]
mengu has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
fre3 has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
kakadu has joined #ocaml
zv has quit [Ping timeout: 245 seconds]
octachron has joined #ocaml
snhmib has quit [Ping timeout: 240 seconds]
mfp has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mengu has joined #ocaml
<Leonidas>
jerith: uhh, I wrote you some comments on the Slacko PR. I'll agree that having something like a "session" type is the best way to go.
<Leonidas>
(though not sure about the naming)
mcspud has quit [Ping timeout: 256 seconds]
AlexDenisov has joined #ocaml
<jeroud>
Leonidas: I saw, thanks. I just haven't had time to work on it since then.
zv has joined #ocaml
bronsen has joined #ocaml
mcspud has joined #ocaml
snhmib has joined #ocaml
<Leonidas>
jeroud: ok, no hurry :) Sorry it took me so long to make up my mind.
<jeroud>
No worries. I didn't have any time before your reply either. :-P
<jeroud>
I think "session" as a name makes more sense once it handles identifier caching and oauth juggling and such as well.
<jeroud>
But I'm open to other ideas.
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Leonidas>
yep, still thinking of a better name, I'll post it as soon as I figure one out
profan_ is now known as profan
AlexDenisov has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
malc_ has joined #ocaml
snhmib has quit [Ping timeout: 240 seconds]
fre3 has quit [Ping timeout: 264 seconds]
snhmib has joined #ocaml
govg has joined #ocaml
mengu has quit [Quit: Leaving...]
_andre has joined #ocaml
fre3 has joined #ocaml
dch_ is now known as dch
silver has joined #ocaml
govg has quit [Ping timeout: 264 seconds]
dhil has joined #ocaml
govg has joined #ocaml
Sim_n has joined #ocaml
malc_ has quit [Ping timeout: 276 seconds]
Simn has quit [Ping timeout: 252 seconds]
fraggle_ has quit [Ping timeout: 255 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
larhat has quit [Quit: Leaving.]
foo30303 has quit [Quit: leaving]
fraggle_ has joined #ocaml
mfp has quit [Ping timeout: 276 seconds]
frefity has quit [Ping timeout: 240 seconds]
frefity has joined #ocaml
AlfredENeuman has quit [Ping timeout: 256 seconds]
larhat has joined #ocaml
AlfredENeuman has joined #ocaml
foo30303_ has quit [Ping timeout: 260 seconds]
Sim_n has quit [Quit: Leaving]
Simn has joined #ocaml
troydm has joined #ocaml
foo30303 has joined #ocaml
rpg has joined #ocaml
moei has quit [Quit: Leaving...]
malc_ has joined #ocaml
nomicflux has joined #ocaml
rpg has quit [Ping timeout: 240 seconds]
jeffmo has joined #ocaml
jao has joined #ocaml
nomicflux has quit [Quit: nomicflux]
frefity has quit [Ping timeout: 240 seconds]
moei has joined #ocaml
frefity has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
Denommus has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
zpe has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
sh0t has joined #ocaml
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 258 seconds]
vicfred has quit [Quit: Leaving]
rpg has joined #ocaml
seangrove has joined #ocaml
fre has quit [Quit: WeeChat 1.6]
freusque has joined #ocaml
philtor has quit [Ping timeout: 240 seconds]
w1gz has left #ocaml ["WeeChat 1.6"]
n321 has joined #ocaml
n4323 has quit [Read error: Connection reset by peer]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Onemorenickname>
Can I expect "let a = [1] in let b = [1] in a == b" to be "false" everytime ?
<Onemorenickname>
i tried with "[]" and both are Nil and so "a==b" is true, but is there something about ocaml semantics allowing me to expect my example to be false ?
<Onemorenickname>
or is it implementation dependant ?
<dmbaturin>
Onemorenickname: == is physical equality (is a pointer to exact same address), so yes, you can.
rpg has quit [Ping timeout: 240 seconds]
<Onemorenickname>
there is nothing in ocaml semantics that says that the compiler can optimize that code so that "a" and "b" refer to the same address ?
<Denommus>
Onemorenickname: (==) compares the address, like Lisp's EQ. You probably want (=)
<Onemorenickname>
(as list are immutable, it would make sense to allow that)
<Onemorenickname>
Denommus, I know
<dmbaturin>
I don't know why would you want to count on it though. ;)
<Drup>
Onemorenickname: let's rephrase: there is nothing in the OCaml semantics that says the compiler can't do it.
<Drup>
:]
<Onemorenickname>
dmbaturin, i'm making a fixpoint combinator for a custom data structure (as i cant count on "let rec" for complicated expressions), and I need a dummy value to be substituted by the binded variable
_zim_ has quit [Remote host closed the connection]
<Onemorenickname>
Drup, hm.
<Drup>
relying on physical equality for this doesn't seem like a great idea
<Onemorenickname>
Drup, I know, I know.
<Onemorenickname>
But it's the most simple, straightforward and efficient way
<Onemorenickname>
and the data structure being cyclic, i can not really count on "="
<thizanne>
doesn't seem to be the most working way though
<thizanne>
which could also be a desirable property :)
<Drup>
You can tell the compiler "don't touch this value" with Sys.opaque_identity but I'm not convinced that's going to solve your problems
<Onemorenickname>
thizanne, right :D
<Onemorenickname>
Drup, I'll just make obfuscated values I would never use in real life
<Onemorenickname>
and as I won't release the library, that'll be fine :)
<Onemorenickname>
(and a custom "equality" function)
<Drup>
Famous Last Words :D
<Onemorenickname>
Drup, you know, I went to haskell to have a good letrec
<Onemorenickname>
But haskell do not have functors
<Onemorenickname>
And as such, my code got really complicated, with type constraints and parameters everywhere
<Drup>
I'm surprised you can't solve your problem with lazy
<Onemorenickname>
i don't like putting lazy.t everywhere, and i'd have to make my algorithm lazy-aware
<Drup>
like, adding a "lazy" constructor in your language that defers evaluation as much as possible
<Drup>
well, it's better and simpler than what you are doing
<Onemorenickname>
well, what i am doing do not require messing with the algorithm, just making a library for making mutual recursive values