Functional language syntax

Functional language syntax

[Hans Aberg]

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.

Take down the file guile++.tar.bz2 inside the folder on the webpage  
below, unpack using 'tar -xjf'; inside there is a file Readme.txt with  
further instructions and examples. It is possible to pretty-print as  
Scheme code, so it should be easy to see what the program does.

   Hans


https://www-lagring.telia.se/Shares/Home.aspx?ShareID=e195dec2-1c1a-42a1-851e-da47e674d91b

Re: Functional language syntax

[Linas Vepstas]

Hi,

On 22 December 2010 05:30, Hans Aberg <haberg-1@telia.com> 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?

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

--linas

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.

Re: Functional language syntax

[Ludovic Courtès]

Hello & Happy New Year!

Linas Vepstas <linasvepstas@gmail.com> writes:

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

There’s Typed Racket: <http://docs.racket-lang.org/ts-guide/>.

Bigloo understands optional type annotations but uses them mostly for
optimization purposes:
<http://www-sop.inria.fr/mimosa/fp/Bigloo/doc/bigloo-26.html#Explicit-typing>.

Thanks,
Ludo’.

Re: Functional language syntax

[Hans Aberg]

On 4 Jan 2011, at 17:51, Ludovic Courtès wrote:

>> Off-topic -- but -- are there any scheme extensions to add CAML-like
>> type system & type inference, etc. to the language?
>
> There’s Typed Racket: <http://docs.racket-lang.org/ts-guide/>.
>
> Bigloo understands optional type annotations but uses them mostly for
> optimization purposes:
> <http://www-sop.inria.fr/mimosa/fp/Bigloo/doc/bigloo-26.html#Explicit-typing 
> >.

The Hindley-Milner type system as used in Haskell prevents the useful  
function name-overloading based on argument type.