<ketty>
Captain_Fourier: .. ocaml does not allow some cyclic types by default ..
<ketty>
so: type 'a return = ('a * unit -> ('a return) option))
<ketty>
would be rejected...
<ketty>
there is a switch to allow such types...
<ketty>
ocaml -rectypes ...
<ketty>
and an other workaround is to use records or variants, because there cyclic types are allowed by default...
Smerdyakov has quit ["Leaving"]
<Captain_Fourier>
ok
<Captain_Fourier>
ill use that
<Captain_Fourier>
thanks
tristram has joined #ocaml
Captain_Fourier has left #ocaml []
Snark has joined #ocaml
Snark has quit ["Leaving"]
pango is now known as pangoafk
rovar has joined #ocaml
pangoafk is now known as pango
love-pingoo has joined #ocaml
slipstream has joined #ocaml
Sir_Diddymus has joined #ocaml
slipstream-- has quit [Read error: 104 (Connection reset by peer)]
slipstream has quit [Read error: 104 (Connection reset by peer)]
rovar has quit ["Connection reset by pier"]
slipstream has joined #ocaml
<ski>
ketty : hm .. it looked like Captain_Fourier wanted to return a stream .. i wonder if the standard streams could be used for this ?
* ketty
has never used streams :)
* ski
has never used OCaml's standard streams
<ski>
(btw, i assume s/he was trying to convert an example from a dynamically checked language (e.g. Scheme) .. possibly from SICP or one of the Lambda papers)
<ketty>
possible..
<ketty>
writing a function that returned an optional new function wasn't very hard...
* ski
wonders whether single-variant types, with function-constructor, is optimised to not include a tag, in OCaml
<ketty>
hmm...
<ski>
i.e.
<ketty>
i understand..
<ski>
ok
<ketty>
feels like they should be optimized :)
<ski>
yes .. either that, or an alternative which was guarranteed to be optimised, should be provided
<ski>
(this is what haskell does .. for reasons related to laziness)
<ketty>
i can't see any reason not to optimize it..
kral has joined #ocaml
Revision17 has joined #ocaml
mikeX has joined #ocaml
revision17_ has quit [Read error: 110 (Connection timed out)]
kral has quit ["Live fast, die young."]
szloto has quit [Read error: 104 (Connection reset by peer)]
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
kral has joined #ocaml
szloto has joined #ocaml
slipstream-- has joined #ocaml
kral has quit ["Lunch"]
slipstream has quit [Read error: 110 (Connection timed out)]
ski_ has joined #ocaml
ski has quit [Nick collision from services.]
ski_ is now known as ski
ketty has quit [Remote closed the connection]
Tachyon76 has joined #ocaml
mikeX_ has joined #ocaml
mikeX has quit [Read error: 110 (Connection timed out)]
mikeX has joined #ocaml
mikeX_ has quit [Client Quit]
mikeX has quit [Client Quit]
mikeX has joined #ocaml
CosmicRay has joined #ocaml
CosmicRay has quit [Connection timed out]
bluestorm has joined #ocaml
CosmicRay has joined #ocaml
<love-pingoo>
is there still a need for function inliners for better efficiency ? any link to an inliner ?
<love-pingoo>
s/function/functor/ sorry
<mattam>
there was one "defunctorizer", google for Julien Signoles. I think its outdated though
<mattam>
that can help performance a bit yes, he made measurements IIRC.
<love-pingoo>
(\x y -> x.y@lri.fr) Julien Signoles
<love-pingoo>
hihi
<mattam>
he did it too!
<love-pingoo>
OK the tool is named ocamldefun, and hasn't moved since 2003
<love-pingoo>
I'm afraid it might not work with 3.09
<love-pingoo>
I'll check that
<mattam>
that's what i meant
<mattam>
Julien is actually finishing his thesis, so i guess he won't update it any time soon.
Demitar has joined #ocaml
mikeX_ has joined #ocaml
mikeX has quit [Read error: 110 (Connection timed out)]
mikeX_ is now known as mikeX
CosmicRay has quit [Connection timed out]
kral has joined #ocaml
ketty has joined #ocaml
chessguy has joined #ocaml
CosmicRay has joined #ocaml
Smerdyakov has joined #ocaml
love-pingoo has quit ["Leaving"]
CosmicRay has quit [Connection timed out]
Tachyon76 has quit ["Leaving"]
Schmurtz has joined #ocaml
Amorphous has quit ["arg... must... shutdown... computer burnin..."]
Amorphous has joined #ocaml
khaladan has quit [Read error: 104 (Connection reset by peer)]
CosmicRay has joined #ocaml
Sir_Diddymus has quit [Read error: 110 (Connection timed out)]
CosmicRay has quit [Connection timed out]
kral has quit ["Live fast, die young."]
EsotericMoniker has joined #ocaml
CosmicRay has joined #ocaml
pango is now known as pangoafk
love-pingoo has joined #ocaml
pangoafk is now known as pango
ski has quit [Read error: 110 (Connection timed out)]
ski has joined #ocaml
finelemo1 has joined #ocaml
finelemo2 has joined #ocaml
khaladan has joined #ocaml
finelemon has quit [Read error: 110 (Connection timed out)]
Boojum has joined #ocaml
Boojum is now known as Snark
finelemo1 has quit [Read error: 110 (Connection timed out)]