gl changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | happy new year, dudes.
Aradorn has joined #ocaml
bohanlon has quit [Read error: 110 (Connection timed out)]
Aradorn has quit [Client Quit]
Aradorn has joined #ocaml
Aradorn has quit [Client Quit]
bluestorm has quit ["Konversation terminated!"]
smimou has quit ["bli"]
Aradorn has joined #ocaml
Aradorn has quit [Client Quit]
bohanlon has joined #ocaml
beterraba has joined #ocaml
<beterraba> anyone online?
<Smerdyakov> No.
bohanlon has quit [Read error: 60 (Operation timed out)]
<fremo> neither
slowriot has joined #ocaml
<beterraba> i got some type:
<beterraba> type ('v,'f)termo = Var 'v | App 'f "('v,'f)termo list".
<beterraba> this fuction translate f(x,g(y)) to App f [Var x, App g [Var y]].
<beterraba> how to make a function to recursively reverse the order of arguments symbols in a term? it must me named as "trev", somehow "trev (trev t) = t"!
Aradorn has joined #ocaml
Aradorn has quit [Client Quit]
rillig has quit ["exit(EXIT_SUCCESS)"]
bohanlon has joined #ocaml
lmbdwr_ has joined #ocaml
lmbdwr has quit [Read error: 110 (Connection timed out)]
Submarine has quit ["Leaving"]
CosmicRay has joined #ocaml
slowriot has quit []
a-priori|work_ has joined #ocaml
CosmicRay has quit ["Client exiting"]
a-priori|work has quit [Read error: 110 (Connection timed out)]
Smerdyakov has quit ["Leaving"]
bohanlon has quit [Read error: 60 (Operation timed out)]
slipstream-- has joined #ocaml
beterraba has quit ["Leaving"]
slipstream has quit [Read error: 110 (Connection timed out)]
david_koontz has quit ["This computer has gone to sleep"]
chi11 has joined #ocaml
chi11 is now known as _velco
ramkrsna has quit [Read error: 145 (Connection timed out)]
david_koontz has joined #ocaml
pango_ is now known as pango_afk
velco has joined #ocaml
brainly-green has joined #ocaml
jlouis has quit ["Leaving"]
seafood_ has quit [Read error: 110 (Connection timed out)]
lmbdwr_ has quit [Read error: 60 (Operation timed out)]
lmbdwr_ has joined #ocaml
Aradorn has joined #ocaml
Nimda has joined #ocaml
seafood_ has joined #ocaml
Nimda has left #ocaml []
Aradorn has quit ["This computer has gone to sleep"]
ramky has joined #ocaml
ramky is now known as ramkrsna
lmbdwr has joined #ocaml
lmbdwr_ has quit [Connection timed out]
brainly-green has quit [Connection timed out]
pango_afk has quit [Remote closed the connection]
pango_afk has joined #ocaml
ludwig_ has joined #ocaml
_shawn_ has quit [Connection timed out]
bohanlon has joined #ocaml
ludwig- has quit [Read error: 110 (Connection timed out)]
Smerdyakov has joined #ocaml
Aradorn has joined #ocaml
pants1 has joined #ocaml
whatsup103 has joined #ocaml
<whatsup103> yooooo
<zmdkrbou> yiiiii
<whatsup103> how are you
<zmdkrbou> sitting on a chair
<whatsup103> i seeee
<whatsup103> zmdkrbou: where you from ?
<zmdkrbou> france
<whatsup103> i seeee
<whatsup103> my mother is there now
<whatsup103> visiting family
<zmdkrbou> root@cpe-66-61-135-107.insight.res.rr.com << i like your login :)
<whatsup103> zmdkrbou: :D a usb thumbstick
<whatsup103> very fast though
<whatsup103> zmdkrbou: what part of france do you live in ?
Shi_ has quit [Read error: 110 (Connection timed out)]
<zmdkrbou> paris
dark_light has quit [Read error: 110 (Connection timed out)]
<whatsup103> zmdkrbou: cold out ?
<zmdkrbou> gni ?
<whatsup103> gni?
<zmdkrbou> didn't understood
<whatsup103> like is it cold out ?
<whatsup103> like freezing ..........like a coat must be worm
<zmdkrbou> hmm, then yes
<zmdkrbou> in fact i don't know, didn't go out today :)
<whatsup103> i seeee
<zmdkrbou> seems to, though, seen from my bed
<whatsup103> lol
* whatsup103 hates cold
* zmdkrbou likes snow (not in town though, preferably on mountains when skiing)
<whatsup103> lol
<whatsup103> i like miami weather
<whatsup103> if you know what miami weather is
<zmdkrbou> i can imagine :)
<whatsup103> not cold
<zmdkrbou> no snow, too much heat => no good
<whatsup103> not that much heat
<whatsup103> summer are HOT
<whatsup103> 90+F
<whatsup103> zmdkrbou: you ever been to miami ?
<zmdkrbou> (90 - 32) / 1.8
<zmdkrbou> 32
<zmdkrbou> hurf, too hot
<zmdkrbou> nope, never
<whatsup103> the humidity is a real killer in the summer
<whatsup103> zmdkrbou: you should come for a little while ........not snow :D
<whatsup103> + beautiful girls
<zmdkrbou> hmmmmmm, not really keen on american girls
<whatsup103> huh?
<whatsup103> what do you mean ?
<zmdkrbou> too many fake breasts :)
dblmit has joined #ocaml
<whatsup103> american ranges from anything ...........theres not one set look
<velco> what's wrong with fake breasts ?
<zmdkrbou> (just joking, i don't know any american girl)
<whatsup103> my family is like french italian and osme irish shit or something
<zmdkrbou> velco: :s
<velco> I mean, nice natural > nice fake > ugly natural
* whatsup103 prefers natural
<whatsup103> i prefer legs more then breast
<whatsup103> unless theres like nothing there
<dblmit> no pastebot in here?
<whatsup103> zmdkrbou: plus that stuff cost money 99 percent of women do not have that
a-priori|work_ is now known as a-priori
<dblmit> http://paste.uni.cc/13047 <- is there a way to do that without having to throw constructors everywhere?
brainly-green has joined #ocaml
Shimei has joined #ocaml
bohanlon has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
Submarine has joined #ocaml
bluestorm has joined #ocaml
<lmbdwr> is there a keyword in ocaml to force the function to be pure ? Im looking for a keyword and not a type as I need this information before type checking for performing some optimization at compilation stage.
<zmdkrbou> nope, there's not
<zmdkrbou> but if you're modifying the compiler you can add it yourself :)
<lmbdwr> hehe ok, all I needed to know.
velco has quit ["<boris``> reduction ad absurdum is a fallacious method of proof"]
bohanlon has joined #ocaml
whatsup103 has quit [Remote closed the connection]
jlouis has joined #ocaml
brainly-green has quit [Success]
mrpingoo has joined #ocaml
bohanlon has quit [Read error: 110 (Connection timed out)]
Aradorn has quit ["Leaving"]
_velco is now known as velco
pango_afk is now known as pango_
david_koontz has quit ["Leaving"]
pango has joined #ocaml
pango_ has quit [Remote closed the connection]
pants1 has quit [Remote closed the connection]
gudzu has joined #ocaml
<gudzu> hi
mc__ has joined #ocaml
<mc__> guys dont you think that wee ned a journal like planet.lisp.org ?
jiffyjeff has joined #ocaml
benny_ has joined #ocaml
benny has quit [Read error: 110 (Connection timed out)]
Alneyan has joined #ocaml
gudzu has quit [Read error: 145 (Connection timed out)]
dark_light has joined #ocaml
gudzu has joined #ocaml
lmbdwr has quit [Read error: 54 (Connection reset by peer)]
<bluestorm> mc__: do you have great blog posts about ocaml around ? (i'm interested in some URLs)
lmbdwr has joined #ocaml
<mc__> bluestorm: nope,but i hope that we some people in this channel would know some
<bluestorm> hm
<bluestorm> so maybe we should ask for the blogs before the planet :p
gudzu has quit [Read error: 145 (Connection timed out)]
stevan__ has joined #ocaml
gunark has quit [Read error: 104 (Connection reset by peer)]
stevan_ has quit [Read error: 110 (Connection timed out)]
Oxylin has joined #ocaml
<dblmit> why is ocaml telling me the pattern (_, []) matches 'a list * 'b list? Shouldn't it match anything * 'b list?
lmbdwr has quit [Read error: 104 (Connection reset by peer)]
<pango> dblmit: must come from other constraints...
<dblmit> let rec test (cur_module : mako_module) (url : string list) depth =
<dblmit> match (cur_module, url) with
<dblmit> | (_, []) -> depth
gudzu has joined #ocaml
<pango> does the function store there ?
lmbdwr has joined #ocaml
<pango> s/store/stop/
<dblmit> will other later patterns affect what it thinks that pattern is?
<pango> sure
<pango> since they all have the same type as (cur_module, url)
<dblmit> ok, I must have messed up a later pattern then
<pango> btw parens around tuples are often optional, and usually omitted in this case (since you want to do simultaneous matches, not really to build/deconstruct a tuple)
<pango> match cur_module, url with | _, [] -> ...
<pango> it's purely stylistic, the (native ?) compiler is aware of this idiom, and optimize away the building of the tuple any way
<dblmit> ok
bohanlon has joined #ocaml
bohanlon has quit [Read error: 60 (Operation timed out)]
Oxylin has quit [Client Quit]
ikaros_ has joined #ocaml
ikaros_ has quit [Client Quit]
achtung_rofl has joined #ocaml
achtung_rofl has left #ocaml []
a-priori has quit ["Leaving"]
mrpingoo has quit ["Connection reset by pear"]
ikaros has quit [Read error: 60 (Operation timed out)]
ikaros has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
Alneyan has quit [Remote closed the connection]
smimou has quit ["bli"]
velco has quit ["I'm outta here ..."]
jiffyjeff has left #ocaml []
haelix has quit [Remote closed the connection]
haelix has joined #ocaml
jiffyjeff has joined #ocaml
seoushi has quit ["Leaving"]