wingo wrote:
Just to warn you that I'm fairly opinionated about these things; your
patch may or may not make it in. You will also need to change
It's better to code and loose then never code at all
jokes aside, I'll will take this in small smelling shebackas. Main point is
not me
coding, the
On Tue 10 May 2011 11:00, Stefan Israelsson Tampe stefan.ita...@gmail.com
writes:
It's better to code and loose then never code at all
Yes!
jokes aside, I'll will take this in small smelling shebackas. Main point is
not me
coding, the main point is to get this question moving :-)
Cool.
Hmm, type annotations in typed racket is defined according to
http://docs.racket-lang.org/ts-guide/more.html#%28part._.Type_.Annotation_and_.Binding_.Forms%29
Any objections against that scheme? ideas?
A suggestion would be to have a type item in tree-il that works like
(type type expression)
I looked in psyntax.scm, I should be able to add some extra fields to the
tree-il representation as you wish.
I will have a try of it
I think that what I'm primarily interested in is a way to annotate
tree-il with type information, which the compiler may use to generate
more efficient code.
On Mon 09 May 2011 20:35, Stefan Israelsson Tampe stefan.ita...@gmail.com
writes:
I looked in psyntax.scm, I should be able to add some extra fields to
the tree-il representation as you wish. I will have a try of it
Just to warn you that I'm fairly opinionated about these things; your
patch
Hey,
Nice stuff!
Stefan Israelsson Tampe stefan.ita...@gmail.com writes:
3. For the type-checking examples I've been working with the assumptions of
having fixed declarations for
lambdas and deduce types for variables and their passage through the system.
The thought is that in the end
one
Hi Stefan,
Thanks for this mail, it's interesting.
On Fri 06 May 2011 23:18, Stefan Israelsson Tampe stefan.ita...@gmail.com
writes:
It would be good if there was a standard way to enter type information
in guile and if that information could be hooked into the tree-il
representation. But
Hi,
Just wanted to chime in and tell you a little about what I'm doing with the
guile-unify package.
First off, this is a tool to do backtracking effectively e.g. tree searches
and make heavy use of
dynamic variables.
There is three activities ongoing.
1. type-checking examples
2. first
Cool!
On Fri, May 6, 2011 at 5:18 PM, Stefan Israelsson Tampe
stefan.ita...@gmail.com wrote:
Hi,
Just wanted to chime in and tell you a little about what I'm doing with the
guile-unify package.
First off, this is a tool to do backtracking effectively e.g. tree searches
and make heavy use