Mutable vs variables de Ref en términos de captura

Question

Mi comprensión superficial de las variables en f # sugiere que declarar una variable que sea 'mutable' y el uso de una variable 'ref' esencialmente tanto hacer lo mismo. Ellos son dos formas diferentes de abordar el mismo problema subyacente - una asignación limitada y estructurada de la mutabilidad en un lenguaje funcional sin tener que recurrir a la mónada IO. Que hay una diferente técnica ha sido 'abstraído' por mi entendimiento.

1. Si este es el caso ¿por qué no cierres las variables mutables de captura, sino que puede capturar casos árbitro?
2. En términos más generales, ¿cuál es la diferente técnica entre las dos formas que permite que esta diferencia?
3. ¿Cuál es el objetivo desde un punto de vista de la introducción de dos accesos directos mutabilidad lugar de uno solo diseño del lenguaje?

Lo siento si esto es un multi-parter, pero todos ellos parecen estar relacionados.

Answer 1

Ver

http://lorgonblog.wordpress.com / 2008/11/12 / on-lambda-captura-y-mutabilidad /

especialmente la sección "lenguaje de diseño de comentario" (me gustaría citar aquí, pero no es el único bien, necesita toda la entrada de blog en contexto).