adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
govg has quit [Ping timeout: 260 seconds]
wolfcore has quit [Ping timeout: 260 seconds]
vicfred has joined #ocaml
wolfcore has joined #ocaml
snhmib has quit [Ping timeout: 245 seconds]
sh0t has quit [Remote host closed the connection]
atsampson has joined #ocaml
sz0 has joined #ocaml
jeroud has joined #ocaml
S11001001 has joined #ocaml
snhmib has joined #ocaml
Simn has quit [Quit: Leaving]
mfp has joined #ocaml
manizzle has joined #ocaml
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…]
AlexDenisov has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
rpg has quit [Ping timeout: 260 seconds]
philtor has joined #ocaml
noddy has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
jeffmo has quit [Quit: jeffmo]
AlexDenisov has quit [Quit: Textual IRC Client: www.textualapp.com]
octachron has quit [Quit: Leaving]
ciniglio has joined #ocaml
freusque has quit [Read error: Connection reset by peer]
AlexDenisov has joined #ocaml
foo30303 has quit [Quit: leaving]
rpg has joined #ocaml
jeffmo has joined #ocaml
jeffmo has quit [Client Quit]
alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]
n321 has left #ocaml ["WeeChat 1.7"]
n321 has joined #ocaml
ski has quit [Ping timeout: 245 seconds]
ski has joined #ocaml
Onemorenickname has joined #ocaml
<Onemorenickname> Hello people
<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
<Onemorenickname> (with hidden implementation details, brrrr)
jnavila has quit [Quit: It was time]
jstolare1 has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
jstolarek has joined #ocaml
silver_ has joined #ocaml
silver has quit [Ping timeout: 264 seconds]
ryanartecona has joined #ocaml
rpg has joined #ocaml
slash^ has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
shinnya has quit [Ping timeout: 256 seconds]
copy` has joined #ocaml
jao has joined #ocaml
dhil has joined #ocaml
ygrek has joined #ocaml
seangrove has quit [Ping timeout: 245 seconds]
larhat has quit [Quit: Leaving.]
manizzle has quit [Ping timeout: 240 seconds]
yomimono has joined #ocaml
govg has joined #ocaml
yomimono has quit [Ping timeout: 276 seconds]
Onemorenickname_ has joined #ocaml
Onemorenickname has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 276 seconds]
jnavila has joined #ocaml
Onemorenickname_ has quit [Ping timeout: 264 seconds]
kakadu has quit [Quit: Konversation terminated!]
djellemah_ has joined #ocaml
larhat has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
zpe has joined #ocaml
Onemorenickname has joined #ocaml
kolko has quit [Quit: ZNC - http://znc.in]
kolko has joined #ocaml
jeffmo has joined #ocaml
jeffmo has quit [Client Quit]
jeffmo has joined #ocaml
jeffmo has quit [Client Quit]
jeffmo has joined #ocaml
ygrek has joined #ocaml
dhil has quit [Ping timeout: 258 seconds]
yomimono has joined #ocaml
sh0t has quit [Quit: Leaving]
yomimono has quit [Ping timeout: 256 seconds]
malc_ has quit [Remote host closed the connection]
kakadu has joined #ocaml
fre3 has quit [Quit: WeeChat 1.4]
freusque has joined #ocaml
Denommus has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
haesbaer1 has quit [Quit: leaving]
haesbaert has joined #ocaml
TheLemonMan has joined #ocaml
silver_ is now known as silver
slash^ has quit [Read error: Connection reset by peer]
dhil has joined #ocaml
mengu has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
nicoo has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 260 seconds]
nicoo has joined #ocaml
djellemah_ has quit [Remote host closed the connection]
malina has quit [Ping timeout: 264 seconds]
larhat1 has joined #ocaml
larhat has quit [Read error: Connection reset by peer]
malina has joined #ocaml
Exagone313 has quit [Quit: see ya!]
Mercuria1Alchemi has quit [Ping timeout: 268 seconds]
jnavila has quit [Ping timeout: 252 seconds]
jnavila has joined #ocaml
ohama has quit [Ping timeout: 260 seconds]
ohama has joined #ocaml
Simn has quit [Quit: Leaving]
jnavila has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 260 seconds]
<Onemorenickname> for those who were there earlier
<Onemorenickname> it's actually trivial to make a general fixpoint
<Drup> ?
<Onemorenickname> an abstract type : type 'a fixpoint_maker = Normal of 'a | Fixpoint of int
<Onemorenickname> a general mapping function
<Onemorenickname> and it's done
<Onemorenickname> well, i mean, the general fixpoint takes a generic mapping function, but it has to be done for every type you want to fixpoint-on
<Onemorenickname> but for my types, as they are basically list combinations, it's trivial
orbifx has joined #ocaml
seangrove has joined #ocaml
freusque has quit [Ping timeout: 258 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
freusque has joined #ocaml
freusque has quit [Client Quit]
jao has joined #ocaml
kakadu has quit [Remote host closed the connection]
john51 has quit [Remote host closed the connection]
ryanartecona has quit [Quit: ryanartecona]
fraggle_ has quit [Ping timeout: 240 seconds]
john51 has joined #ocaml
fraggle_ has joined #ocaml
mengu has quit [Ping timeout: 258 seconds]
mengu has joined #ocaml
noddy has quit [Ping timeout: 240 seconds]
orbifx has quit [Ping timeout: 260 seconds]
noddy has joined #ocaml