2009-02-23 14 views
12

¿Por qué podrían los diseñadores del lenguaje C# no han incluido el apoyo a algo como esto (portado desde Structure and Interpretation of Computer Programs, segunda ed, p 30..):¿Por qué C# no tiene funciones anidadas léxicamente?

/// <summary>Return the square root of x.</summary> 
double sqrt(double x) { 
    bool goodEnough(double guess) { 
    return Math.Abs(square(guess) - x) < 0.001; 
    } 
    double improve(double guess) { 
    return average(guess, x/guess); 
    } 
    double sqrtIter(double guess) { 
    return goodEnough(guess) ? guess : sqrtIter(improve(guess)); 
    } 
    sqrtIter(1.0); 
} 

Respuesta

36

De hecho, C# tiene exactamente esto.

double sqrt(double x) { 
    var goodEnough = new Func<double, bool>(guess => 
     Math.Abs(square(guess) - x) < 0.001 
    ); 
    var improve = new Func<double, double>(guess => 
     average(guess, x/guess) 
    ); 
    var sqrtIter = default(Func<double, double>); 
    sqrtIter = new Func<double, double>(guess => 
     goodEnough(guess) ? guess : sqrtIter(improve(guess)) 
    ); 
    return sqrtIter(1.0); 
} 
+2

+1. Excepto por la parte propiamente recursiva de la cola. :) –

+1

Sí, C# no optimizará la repetición de cola en un bucle. * Esa * característica falta en el idioma. – yfeldblum

+0

¡Gracias por señalar esto! Tendré que presionar para cambiar a .NET 3.5 (inexplicablemente sigo usando 2.0). –

8

Como dijo Justice, puedes hacerlo con C# 3.5 y lambdas; si usted tiene C# 2.0, puede utilizar funciones anónimas, aunque sería algo menos atractivo:

double sqrt(double x) { 
    Func<double, bool> goodEnough = delegate(double guess) { 
     return Math.Abs(square(guess) - x) < 0.001; 
    }; 
    Func<double, double> improve = delegate(double guess) { 
     return average(guess, x/guess); 
    }; 
    Func<double, double> sqrtIter = null; 
    sqrtIter = delegate(double guess) { 
     return goodEnough(guess) ? guess : sqrtIter(improve(guess)); 
    }; 
    return sqrtIter(1.0); 
} 

Editar: Se me olvidaba, Func no está definido en C# 2.0, por lo que tiene que definir por sí mismo:

public delegate TResult Func<T, TResult>(T guess); 
Cuestiones relacionadas