Shap: I know you asked for just *one* language to glance at for mixing
types and values at the syntax level, but if you want something quick
to scan you could look at this paper on Cayenne:
Augustsson, Cayenne—a language with dependent types
http://scholar.google.com/scholar?q=cayenne+-+a+language+with+dependent+types&btnG=&hl=en&as_sdt=0%2C5&as_vis=1
As before, I'm not really advocating full dependent types for bitc
here, just the possibility of using the same grammer for types and
values if it turns out to be easy.
Geoffrey
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
