Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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