[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Common Lisp solved this problem 20 years ago

This page is part of the web mail archives of SRFI 77 from before July 7th, 2015. The new archives for SRFI 77 contain all messages, not just those from before July 7th, 2015.

Aubrey Jaffer wrote:
Are you suggesting that we have syntax specific to the SRFI-77
categories; or a general type declaration system?

If type inference is a general problem, why not provide a general solution?

Or, if a general type mechanism is too radical, why not use a subset to solve the particular problem for arithmetic in R6RS and leave the rest to R7RS. If you have forms that declare certain named variables are fixnums/flonums and that certain expressions yield fixnums/flonums, you are most of the way there. These can probably be provided in a way that can be transparently extended to real types.

Specific sounds good to me.  Can you propose a specific set of

There are examples of type declarations in Common Lisp, Dylan, Kawa, Bigloo, and I am sure other lisps. Let's look at them before we try to invent something new.

Per, would you summarize the syntax and semantics of type declarations in Kawa, please?


Dr Alan Watson
Centro de Radioastronomía y Astrofísica
Universidad Astronómico Nacional de México