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
<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)]