Michael Livshin <mlivshin@yahoo.com> wrote:
+---------------
| Googlemon <deja_pcm@my-deja.com> writes:
| > Anyone created a strict, strongly-typed version of scheme? Just
| > curious.
|
| Scheme _is_ quite strongly-typed, thankyouverymuch.
| what you probably mean is statically typed. look here:
| <http://www.cs.indiana.edu/hyplan/chaynes/infer.html>
| [ looks like that project was canceled or something, though... ]
+---------------
Also take a look at:
Wright, A. K. and R. Cartwright. "A Practical Soft Type System
for Scheme." ACM Transactions on Programming Languages and
Systems 19, 1, January 1997, 87-152.
<URL:http://www.acm.org/pubs/contents/journals/toplas/1997-19/>
[Needs ACM membership login]
or:
Wright, A. K. and R. Cartwright. "A Practical Soft Type System
for Scheme." In Proc. ACM Conference on Lisp and Functional
Programming, June 1994, 250-262.
<URL:http://www.intertrust.com/star/wright/lfp94.ps.gz>
Code & manual at:
<URL:http://www.intertrust.com/star/wright/softscheme.tar.gz>
<URL:http://www.intertrust.com/star/wright/ssmanual/softscheme.html>
-Rob
-----
Rob Warnock, 31-2-510 rpw3@sgi.com
SGI Network Engineering http://reality.sgi.com/rpw3/
1600 Amphitheatre Pkwy. Phone: 650-933-1673
Mountain View, CA 94043 PP-ASEL-IA