Re: Term Rewriting vs. Functional Programming

Matthias Blume schrieb: 
[...] "safe for space" -- a requirement that goes beyond tail call
elimination.


What is "safe for space"?
A URL would suffice for me :-)

BTW it would be possible to formalise tail call optimisation, though probably outside of the framework used for the rest of the language semantics.

Here's a rough outline:
Specify a program that
* Finds the number of list cells that are maximally available
(or whatever the library returns for "available memory")
(a conservative estimate would be OK, too)
* Outputs all the numbers from 1 to that maximum,
using a recursive algorithm.
Add the specification that this program must run to completion without throwing exceptions or crashing, under all memory configurations that the compiler can emit code for.

Regards,
Jo
.

Relevant Pages

  • Re: Setting Primary Key in DataTable
    ... > framework. ... > an array of datacolumns and then specify True for the primary key. ...
    (microsoft.public.dotnet.framework.compactframework)
  • Specifying 1.1 or 2.0
    ... Is it possible to specify which version of the framework should be used ... without going through the IIS config tool? ... http://webpageworkshop.co.uk -- FREE Web tutorials and references ...
    (microsoft.public.dotnet.general)
  • IIS forcing app to use .Net 2.0 when 1.1 is specified
    ... the IIS Manager to specify which framework version a given application ... specifying in IIS Manager that it should use the 1.1. ... Configuration Error ...
    (microsoft.public.dotnet.framework.aspnet)
  • String.Format with a variable field width
    ... printf allows us to specify a runtime (non-constant) field width ... of a formatted value by using the * character. ... but it doesn't like that (Framework 2.0). ...
    (microsoft.public.dotnet.general)