Re: [Caml-list] how to upset the ocaml type system....

[Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>]

[-- Attachment #1.1: Type: text/plain, Size: 1018 bytes --]


Dear list members,

I wrote:
> With pml I seem to get a polynomial
> behavior (at least quadratic but probably cubic), I tested up to 9.
> This is because the type of xi  is bigger and bigger (but linear in i)
> and it is copied by the generalisation and particularisation for each i.
>
>   
Sorry, this was wrong, the size of the type generated by the example is
a double exponential
without sharing (so it breaks around 5-6 in OCaml) and single
exponential if you share subtypes (then it breaks
for 11-12 in PML).

What I find strange is that even with -rectypes, OCaml does not discover
that it can share subtypes
(as my algorithm in pml does) for this example. May be there is a little
room for improvement for
the (theoretical) complexity of the algorithm in OCaml, but may be it is
useless in practice.

Christophe

PS: if you want to know more about pml, go to
http://www.lama.univ-savoie.fr/~raffalli/pml,
but do not use the tar archive it is outdated, use the darcs repository.


[-- Attachment #1.2: Christophe.Raffalli.vcf --]
[-- Type: text/x-vcard, Size: 380 bytes --]

begin:vcard
fn:Christophe Raffalli
n:Raffalli;Christophe
org:LAMA (UMR 5127)
email;internet:Christophe.Raffalli@univ-savoie.fr
title;quoted-printable:Ma=C3=AEtre de conf=C3=A9rences
tel;work:+33 4 79 75 81 03
note;quoted-printable:Message sign=C3=A9 cryptographiquement avec pgp, la clef publique est sur=
	 subkeys.pgp.net
x-mozilla-html:TRUE
version:2.1
end:vcard


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 252 bytes --]