flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
mfp_ has joined #ocaml
mfp has quit [Read error: 110 (Connection timed out)]
TaXules_ is now known as TaXules
Morphous has joined #ocaml
nuncanada has quit ["Leaving"]
Morphous_ has quit [Read error: 110 (Connection timed out)]
Ched- has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
seafood has quit []
m3ga has joined #ocaml
Jeff_125 has joined #ocaml
m3ga has quit [Read error: 113 (No route to host)]
m3ga has joined #ocaml
m3ga_ has joined #ocaml
m3ga is now known as Guest29979
m3ga_ is now known as m3ga
m3ga has quit ["disappearing into the sunset"]
Guest29979 has quit ["disappearing into the sunset"]
johnnowak has quit []
^authentic has joined #ocaml
authentic has quit [Read error: 110 (Connection timed out)]
^authentic is now known as authentic
bluestorm has joined #ocaml
electronx has joined #ocaml
electronx has quit ["Leaving"]
^authentic has joined #ocaml
Linktim has joined #ocaml
Morphous has quit [clarke.freenode.net irc.freenode.net]
r0bby has quit [clarke.freenode.net irc.freenode.net]
Morphous has joined #ocaml
r0bby has joined #ocaml
Jedai has joined #ocaml
authentic has quit [Read error: 110 (Connection timed out)]
^authentic is now known as authentic
asmanur has joined #ocaml
Associat0r has joined #ocaml
ygrek has joined #ocaml
det has joined #ocaml
Linktim_ has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
Snark has joined #ocaml
Associat0r has quit [clarke.freenode.net irc.freenode.net]
Morphous has quit [clarke.freenode.net irc.freenode.net]
r0bby has quit [clarke.freenode.net irc.freenode.net]
Morphous has joined #ocaml
r0bby has joined #ocaml
Linktim_ has quit [Read error: 113 (No route to host)]
<bluestorm> !summon rwjones
seafood has joined #ocaml
Yoric[DT] has joined #ocaml
Jedai has quit [Read error: 113 (No route to host)]
Jeff_125 has quit [Read error: 104 (Connection reset by peer)]
<Yoric[DT]> hi
pango has quit [Remote closed the connection]
smimou has quit ["bli"]
hkBst has joined #ocaml
Spiwack has joined #ocaml
tomh has joined #ocaml
pango has joined #ocaml
schme has joined #ocaml
schme has quit [Remote closed the connection]
schme has joined #ocaml
schme has quit [Remote closed the connection]
schme has joined #ocaml
schme has quit [Remote closed the connection]
mfp_ is now known as mfp
seafood has quit []
Jedai has joined #ocaml
Linktim has joined #ocaml
smimou has joined #ocaml
jynxzero has joined #ocaml
<jynxzero> Hi O'camlers.
<jynxzero> How do I write a function that constructions values of type t = { id : 'a. 'a -> 'a } ?
<jynxzero> The obvious "let make f = { id = f }" fails with "This field value has type 'a -> 'a which is less general than 'b. 'b -> 'b"
<jynxzero> I don't understand the difference between these types... surely 'a -> 'a has an implicit universal quantification?
<jynxzero> And I can hapilly do { id = fun i -> i }
<flux> yeah, 'a.'a-parameters are troublesome when passing as parameters
<flux> atleast I don't know any other way than to keep them in a record all the way from the beginning
<jynxzero> Darn
<jynxzero> But thanks.
<jynxzero> Even Obj.magic doesn't seem to help.
<flux> you could wrap them to an object too, which also supports also such functions
<flux> I would definitely not suggest using Obj.magic for something like that..
<jynxzero> It's filthy, but I don't see how it could break. But it doesn't work anyway so nm. :)
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
<bluestorm> jynxzero:
<flux> secret messages!
<bluestorm> { id : 'a -> 'a } is 'a . { id : 'a -> 'a } , wich is different from { id : 'a . 'a -> 'a }
<bluestorm> flux: slow message :]
<bluestorm> flux: i guess xavierbot would be welcome right now :-'
<bluestorm> jynxzero: http://pastebin.be/12310
tomh has joined #ocaml
Linktim_ has joined #ocaml
<jynxzero> bluestorm: Yeh, I undertand the difference between (type 'a t = ... ) and (type = t ...). That's exactly what I'm trying to avoid because the values I'm putting in t really can (and will) be applied to different types 'a.
<jynxzero> Anyway, in my real code that I derived that question from, I managed to avoid the problem rearranging things so that the function with the free type is hiddin inside a closure, and then wrapped in another record, so I think it's all good, I worked around it :)
Linktim has quit [Read error: 110 (Connection timed out)]
asmanur has quit [Read error: 110 (Connection timed out)]
seafood has joined #ocaml
Ched- has quit [Remote closed the connection]
Ched- has joined #ocaml
Ched- has quit [Remote closed the connection]
Ched- has joined #ocaml
Spiwack has quit [Remote closed the connection]
Ched- has quit [Remote closed the connection]
Ched- has joined #ocaml
seafood has quit []
Ched- has quit [Client Quit]
Ched- has joined #ocaml
Jeff_123 has joined #ocaml
smimou has quit ["bli"]
Morphous has quit [Client Quit]
Amorphous has joined #ocaml
Amorphous has quit [Read error: 104 (Connection reset by peer)]
Amorphous has joined #ocaml
Amorphous has quit [Client Quit]
Amorphous has joined #ocaml
ygrek has quit [Remote closed the connection]
pango has quit [Remote closed the connection]
pango has joined #ocaml
RobertFischer has joined #ocaml
Jeff_123 has quit [Read error: 104 (Connection reset by peer)]
jbms has joined #ocaml
jbms has left #ocaml []
asmanur has joined #ocaml
ygrek has joined #ocaml
marmotine has joined #ocaml
Jedai has quit [Read error: 113 (No route to host)]
Jeff_123 has joined #ocaml
ygrek has quit [Remote closed the connection]
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
RobertFischer has quit ["Taking off -- check out http://smokejumperit.com and http://enfranchisedmind.com/blog/"]
RobertFischer has joined #ocaml
marmotine has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
Jedai has joined #ocaml
pango has joined #ocaml
RobertFischer has quit []
ygrek has joined #ocaml
sporkmonger has joined #ocaml
sporkmonger has quit [Client Quit]
bluestorm has quit [Read error: 104 (Connection reset by peer)]
bluestorm_ has joined #ocaml
vixey` has quit [Read error: 113 (No route to host)]
vixey has joined #ocaml
ygrek has quit [Remote closed the connection]
marmotine has joined #ocaml
Yoric[DT] has quit [Read error: 113 (No route to host)]
kelaouchi has quit [Client Quit]
chessguy_ has joined #ocaml
kelaouchi has joined #ocaml
Snark has quit ["Ex-Chat"]
asmanur has quit [Remote closed the connection]
<chessguy_> how does referential transparency fit into ocaml? are most functions generally pure?
<Smerdyakov> That depends on your programming style.
<chessguy_> but the language doesn't enforce it, like, say, haskell
<Smerdyakov> Right.
chessguy_ is now known as chessguy
Linktim_ has quit [Remote closed the connection]
<mbishop> There was a post a while back about the Fortress guys writing the interpreter in OCaml and not using any side effects
<chessguy> fortress...is that the new sun language?
<chessguy> mbishop:
Jedai has quit [Read error: 113 (No route to host)]
<mbishop> yes
bhoo has joined #ocaml
<bhoo> hi all
* chessguy checks it out
<chessguy> hi bhoo
<bhoo> hi chessguy
<bhoo> how are you doing?
<chessguy> marvellous
<bhoo> I am new to IRC and am trying out a few commands.....
<chessguy> mbishop: hmm, according to http://projectfortress.sun.com/Projects/Community/wiki/InterpreterGuide the interpreter is in java
<bhoo> so you guys please go on...
bhoo has left #ocaml []
<mbishop> yeah, they re-wrote it I believe...no idea why though
<chessguy> interesting
<mbishop> hopefully they'll write it in Fortress eventually :)
<vixey> will it compile to the da vinci vm?
coucou747 has quit [Read error: 113 (No route to host)]
tomh has joined #ocaml
Yoric[DT] has joined #ocaml
vixey has quit [Read error: 113 (No route to host)]
vixey has joined #ocaml
coucou747 has joined #ocaml
smimou has joined #ocaml
chessguy_ has joined #ocaml
chessguy has quit [Read error: 110 (Connection timed out)]
chessguy_ is now known as chessguy
chessguy_ has joined #ocaml
chessguy has quit [Nick collision from services.]
chessguy_ is now known as chessguy
marmotine has quit [Remote closed the connection]
chessguy has quit [Read error: 60 (Operation timed out)]
jbms has joined #ocaml
<jbms> Hello, is there any sort of coroutine/micro-thread library for OCaml that provides convenient syntax, e.g. via camlp4?
<Yoric[DT]> lwt
<Yoric[DT]> (stands for "light-weight threading")
ozzloy has quit [Read error: 104 (Connection reset by peer)]
<jbms> but I guess there is no syntax extension to make it look nicer?
<Yoric[DT]> You may use pa_monad.
<Yoric[DT]> Essentially, instead of writing expr >>= fun x -> expr'
<Yoric[DT]> you write x <-- expr; expr'
<Yoric[DT]> rather more readable
<jbms> ah okay, that's just what I was looking for
hkBst has quit ["Konversation terminated!"]
<Yoric[DT]> Well, time to call this a night.
<Yoric[DT]> 'night
Yoric[DT] has quit ["Ex-Chat"]