|
From: | Stefan Israelsson Tampe |
Subject: | Re: Some guile-unify activities |
Date: | Mon, 9 May 2011 20:35:44 +0200 |
tree-il with type information, which the compiler may use to generate
more efficient code. However I think it's premature to bless a
particular encoding of that information in Scheme, or any particular
type system... basically it should be a field in the tree-il, I think,
and anything else can be built on top of that.
MHO anyway :) But yes, there is a lot to learn from Racket about this.
They've done the most advanced work that I'm aware of.
Andy
--
http://wingolog.org/
[Prev in Thread] | Current Thread | [Next in Thread] |