Re: Functional language syntax

[Hans Aberg]

On 22 Dec 2010, at 22:12, Linas Vepstas wrote:

> > I have put up the source code of the standard functional language  
> > syntax
> > program on top of Guile mentioned in earlier posts. One can see  
> > that Guile
> > already has a combined imperative/functional syntax, but to go  
> > further, it
> > would need to be extended.
>
> It would be useful to recap; I don't remember the earlier posts.  
> Yours is
> a new project that does what? to solve what problem?

It was just mentioned in the body of some of my posts at the beginning  
of this month.

> Off-topic -- but -- are there any scheme extensions to add CAML-like
> type system & type inference, etc. to the language?

That is my intent to experiment with; I have looked at Goops a bit.

I am just doing my own language; right now it is close to Scheme in  
semantics. The syntax I have chosen is though intended to prepare for  
some typing. Since Guile is dynamic, one can probably go further than  
in statically typed languages.