English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
fixed length arrays as types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2000-11-10 (18:28)
From: Chris Hecker <checker@d...>
Subject: Re: fixed length arrays as types

>You might want to check out fISH then. It is very Caml-ish.
>http://www-staff.mcs.uts.edu.au/~cbj/FISh/
>Dependent ML, Cayenne, and Coq may also be of interest to you.

The deCaml stuff seems interesting, but FISh doesn't look like it's ready for production programming.  Caml seems almost perfect for what I want to do, so of course I want them to change it to perfectly suit me!  :)

Chris