Qual è la differenza tra parametri espliciti e chiusure

Question

Qual è la differenza tra parametri espliciti e chiusure

#1 da (3 voti)
#2 da (2 voti)

5

In F #, una funzione ricorsiva di List.filter può essere implementata come:

let filter f =
    let rec filterImpl f acc = function
        | [] -> List.rev acc
        | h :: t -> filterImpl f (if f h then h :: acc else acc) t
    filterImpl f []

Ma può anche essere implementato da una chiusura (cioè senza passare f esplicitamente in filterImpl )

let filter f =
    let rec filterImpl acc = function
        | [] -> List.rev acc
        | h :: t -> filterImpl (if f h then h :: acc else acc) t
    filterImpl []

Qual è la differenza e quale è preferito in F # o in generale nella programmazione funzionale?

functional-programming f# closures

posta rexcfnghk 05.04.2016 - 16:33

fonte

2 risposte

2

Afaic, almeno in C #, almeno a volte dietro le quinte viene generata una classe per memorizzare le variabili catturate nei suoi campi. Si tratta di un overhead significativo rispetto all'assegnazione dello stack per passare direttamente il parametro.

A partire da C #, Raymond Chen ha un'ottima spiegazione delle chiusure :

When faced with this “hard” type of anonymous method, wherein variables are shared with the lexically-enclosing method, the compiler generates a helper class

risposta data 06.04.2016 - 06:49

fonte

Leggi altre domande sui tag functional-programming f# closures

Qual è il design migliore per esporre le informazioni in un sistema di tracciamento dei bug? Come posso progettarlo in modo più efficace secondo il design che intendo, pur assicurando che sono in linea con i principi di progettazione SOLID?

score 3 · Accepted Answer

Dal punto di vista del compilatore, c'è pochissima differenza tra una variabile chiusa e un argomento di funzione. Vengono semplicemente assegnati alla tabella dei simboli della funzione in momenti diversi.

In generale preferiresti la versione di chiusura, perché è più semplice, ma se fosse una funzione più lunga, o condivisa da altre funzioni, potresti voler estrarla e accettare solo il parametro extra.