00:30
mfp_ has joined #ocaml
00:32
mfp has quit [Read error: 110 (Connection timed out)]
00:40
TaXules_ is now known as TaXules
01:05
Morphous has joined #ocaml
01:18
nuncanada has quit ["Leaving"]
01:24
Morphous_ has quit [Read error: 110 (Connection timed out)]
01:27
Ched- has joined #ocaml
01:30
seafood has quit [Read error: 104 (Connection reset by peer)]
01:40
seafood has joined #ocaml
01:56
seafood has quit []
02:02
m3ga has joined #ocaml
02:04
Jeff_125 has joined #ocaml
02:42
m3ga has quit [Read error: 113 (No route to host)]
03:25
m3ga has joined #ocaml
03:25
m3ga_ has joined #ocaml
03:33
m3ga is now known as Guest29979
03:34
m3ga_ is now known as m3ga
03:56
m3ga has quit ["disappearing into the sunset"]
03:56
Guest29979 has quit ["disappearing into the sunset"]
04:17
johnnowak has quit []
04:31
^authentic has joined #ocaml
04:46
authentic has quit [Read error: 110 (Connection timed out)]
04:46
^authentic is now known as authentic
05:57
bluestorm has joined #ocaml
06:05
electronx has joined #ocaml
06:09
electronx has quit ["Leaving"]
06:29
^authentic has joined #ocaml
06:31
Linktim has joined #ocaml
06:39
Morphous has quit [clarke.freenode.net irc.freenode.net]
06:39
r0bby has quit [clarke.freenode.net irc.freenode.net]
06:40
Morphous has joined #ocaml
06:40
r0bby has joined #ocaml
06:42
Jedai has joined #ocaml
06:49
authentic has quit [Read error: 110 (Connection timed out)]
06:49
^authentic is now known as authentic
07:00
asmanur has joined #ocaml
07:10
Associat0r has joined #ocaml
07:22
ygrek has joined #ocaml
07:27
det has joined #ocaml
07:29
Linktim_ has joined #ocaml
07:45
Linktim has quit [Read error: 110 (Connection timed out)]
07:48
Snark has joined #ocaml
08:14
Associat0r has quit [clarke.freenode.net irc.freenode.net]
08:14
Morphous has quit [clarke.freenode.net irc.freenode.net]
08:14
r0bby has quit [clarke.freenode.net irc.freenode.net]
08:15
Morphous has joined #ocaml
08:15
r0bby has joined #ocaml
08:29
Linktim_ has quit [Read error: 113 (No route to host)]
08:48
<
bluestorm >
!summon rwjones
09:07
seafood has joined #ocaml
09:08
Yoric[DT] has joined #ocaml
09:13
Jedai has quit [Read error: 113 (No route to host)]
09:15
Jeff_125 has quit [Read error: 104 (Connection reset by peer)]
09:16
pango has quit [Remote closed the connection]
09:16
smimou has quit ["bli"]
09:22
hkBst has joined #ocaml
09:35
Spiwack has joined #ocaml
09:41
tomh has joined #ocaml
09:42
pango has joined #ocaml
09:49
schme has joined #ocaml
09:52
schme has quit [Remote closed the connection]
09:53
schme has joined #ocaml
09:54
schme has quit [Remote closed the connection]
09:54
schme has joined #ocaml
09:56
schme has quit [Remote closed the connection]
09:56
mfp_ is now known as mfp
10:01
seafood has quit []
10:33
Jedai has joined #ocaml
10:46
Linktim has joined #ocaml
11:19
smimou has joined #ocaml
11:23
jynxzero has joined #ocaml
11:25
<
jynxzero >
Hi O'camlers.
11:25
<
jynxzero >
How do I write a function that constructions values of type t = { id : 'a. 'a -> 'a } ?
11:25
<
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"
11:26
<
jynxzero >
I don't understand the difference between these types... surely 'a -> 'a has an implicit universal quantification?
11:26
<
jynxzero >
And I can hapilly do { id = fun i -> i }
11:28
<
flux >
yeah, 'a.'a-parameters are troublesome when passing as parameters
11:28
<
flux >
atleast I don't know any other way than to keep them in a record all the way from the beginning
11:30
<
jynxzero >
But thanks.
11:30
<
jynxzero >
Even Obj.magic doesn't seem to help.
11:30
<
flux >
you could wrap them to an object too, which also supports also such functions
11:30
<
flux >
I would definitely not suggest using Obj.magic for something like that..
11:33
<
jynxzero >
It's filthy, but I don't see how it could break. But it doesn't work anyway so nm. :)
11:51
<
bluestorm >
jynxzero:
11:52
<
flux >
secret messages!
11:52
<
bluestorm >
{ id : 'a -> 'a } is 'a . { id : 'a -> 'a } , wich is different from { id : 'a . 'a -> 'a }
11:52
<
bluestorm >
flux: slow message :]
11:53
<
bluestorm >
flux: i guess xavierbot would be welcome right now :-'
12:04
tomh has joined #ocaml
12:19
Linktim_ has joined #ocaml
12:24
<
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.
12:28
<
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 :)
12:36
Linktim has quit [Read error: 110 (Connection timed out)]
13:00
asmanur has quit [Read error: 110 (Connection timed out)]
13:11
seafood has joined #ocaml
13:11
Ched- has quit [Remote closed the connection]
13:12
Ched- has joined #ocaml
13:15
Ched- has quit [Remote closed the connection]
13:16
Ched- has joined #ocaml
13:18
Spiwack has quit [Remote closed the connection]
13:18
Ched- has quit [Remote closed the connection]
13:19
Ched- has joined #ocaml
13:22
seafood has quit []
13:22
Ched- has quit [Client Quit]
13:25
Ched- has joined #ocaml
14:13
Jeff_123 has joined #ocaml
14:44
smimou has quit ["bli"]
15:00
Morphous has quit [Client Quit]
15:00
Amorphous has joined #ocaml
15:02
Amorphous has quit [Read error: 104 (Connection reset by peer)]
15:03
Amorphous has joined #ocaml
15:04
Amorphous has quit [Client Quit]
15:05
Amorphous has joined #ocaml
15:12
ygrek has quit [Remote closed the connection]
15:18
pango has quit [Remote closed the connection]
15:28
pango has joined #ocaml
15:30
RobertFischer has joined #ocaml
15:33
Jeff_123 has quit [Read error: 104 (Connection reset by peer)]
15:52
jbms has joined #ocaml
15:52
jbms has left #ocaml []
15:58
asmanur has joined #ocaml
16:01
ygrek has joined #ocaml
16:07
marmotine has joined #ocaml
16:19
Jedai has quit [Read error: 113 (No route to host)]
16:50
Jeff_123 has joined #ocaml
17:03
ygrek has quit [Remote closed the connection]
17:30
RobertFischer has joined #ocaml
17:32
marmotine has quit [Read error: 110 (Connection timed out)]
17:46
pango has quit [Remote closed the connection]
17:48
Jedai has joined #ocaml
17:48
pango has joined #ocaml
17:52
RobertFischer has quit []
18:07
ygrek has joined #ocaml
18:20
sporkmonger has joined #ocaml
18:20
sporkmonger has quit [Client Quit]
18:55
bluestorm has quit [Read error: 104 (Connection reset by peer)]
18:55
bluestorm_ has joined #ocaml
18:55
vixey` has quit [Read error: 113 (No route to host)]
18:57
vixey has joined #ocaml
19:12
ygrek has quit [Remote closed the connection]
19:13
marmotine has joined #ocaml
19:25
Yoric[DT] has quit [Read error: 113 (No route to host)]
19:27
kelaouchi has quit [Client Quit]
19:38
chessguy_ has joined #ocaml
19:52
kelaouchi has joined #ocaml
20:10
Snark has quit ["Ex-Chat"]
20:14
asmanur has quit [Remote closed the connection]
20:55
<
chessguy_ >
how does referential transparency fit into ocaml? are most functions generally pure?
20:57
<
Smerdyakov >
That depends on your programming style.
20:58
<
chessguy_ >
but the language doesn't enforce it, like, say, haskell
20:58
<
Smerdyakov >
Right.
21:16
chessguy_ is now known as chessguy
21:30
Linktim_ has quit [Remote closed the connection]
21:32
<
mbishop >
There was a post a while back about the Fortress guys writing the interpreter in OCaml and not using any side effects
21:35
<
chessguy >
fortress...is that the new sun language?
21:36
<
chessguy >
mbishop:
21:36
Jedai has quit [Read error: 113 (No route to host)]
21:37
bhoo has joined #ocaml
21:37
* chessguy
checks it out
21:39
<
bhoo >
how are you doing?
21:39
<
chessguy >
marvellous
21:40
<
bhoo >
I am new to IRC and am trying out a few commands.....
21:40
<
bhoo >
so you guys please go on...
21:41
bhoo has left #ocaml []
21:41
<
mbishop >
yeah, they re-wrote it I believe...no idea why though
21:41
<
chessguy >
interesting
21:42
<
mbishop >
hopefully they'll write it in Fortress eventually :)
21:42
<
vixey >
will it compile to the da vinci vm?
21:44
coucou747 has quit [Read error: 113 (No route to host)]
21:48
tomh has joined #ocaml
21:49
Yoric[DT] has joined #ocaml
21:57
vixey has quit [Read error: 113 (No route to host)]
21:59
vixey has joined #ocaml
22:14
coucou747 has joined #ocaml
22:15
smimou has joined #ocaml
22:19
chessguy_ has joined #ocaml
22:22
chessguy has quit [Read error: 110 (Connection timed out)]
22:29
chessguy_ is now known as chessguy
22:31
chessguy_ has joined #ocaml
22:31
chessguy has quit [Nick collision from services.]
22:31
chessguy_ is now known as chessguy
22:38
marmotine has quit [Remote closed the connection]
23:02
chessguy has quit [Read error: 60 (Operation timed out)]
23:09
jbms has joined #ocaml
23:12
<
jbms >
Hello, is there any sort of coroutine/micro-thread library for OCaml that provides convenient syntax, e.g. via camlp4?
23:14
<
Yoric[DT] >
(stands for "light-weight threading")
23:19
ozzloy has quit [Read error: 104 (Connection reset by peer)]
23:20
<
jbms >
but I guess there is no syntax extension to make it look nicer?
23:21
<
Yoric[DT] >
You may use pa_monad.
23:22
<
Yoric[DT] >
Essentially, instead of writing expr >>= fun x -> expr'
23:22
<
Yoric[DT] >
you write x <-- expr; expr'
23:22
<
Yoric[DT] >
rather more readable
23:23
<
jbms >
ah okay, that's just what I was looking for
23:27
hkBst has quit ["Konversation terminated!"]
23:54
<
Yoric[DT] >
Well, time to call this a night.
23:54
Yoric[DT] has quit ["Ex-Chat"]