Con respecto a la programación orientada a objetos F #

Question

Existe esta dicotomía en la forma en que podemos crear clases en f # que realmente me molesta. Puedo crear clases utilizando un formato implícito o uno explícito. Pero algunas de las características que deseo solo están disponibles para su uso con el formato implícito y algunas solo están disponibles para su uso con el formato explícito.

Por ejemplo:

1. no puedo usar let inline * (o let solo) dentro de una clase definida de forma explícita.

2. La única manera (que yo sepa) para definir inmutables públicas campos (*) no propiedades dentro de una clase definida implícitamente es la sintaxis val bla : bla.

   Pero hay una redundancia aquí. Dado que terminaré con dos copias de los mismos datos inmutables, uno privado, uno público (porque en el modo implícito los parámetros del constructor persisten durante toda la existencia de la clase)

3. (No es tan relevante) La necesidad de usar atributos para la sobrecarga de métodos y para los valores predeterminados del campo es bastante desalentador.

¿Hay alguna manera de solucionar este problema?

* Por razones de rendimiento

EDIT: Resulta que estoy equivocado acerca de los dos puntos (Gracias Ganesh Sittampalam & MichaelGG).

1. Aunque no puedo usar let inline tanto en & definición de clase explícita implícita, puedo usar member inline muy bien, que yo supongo que hace lo mismo.

2. Al parecer, con el último F # ya no hay redundancia, ya que los parámetros no utilizados en el cuerpo de la clase son locales para el constructor.

3. Will be gone en la siguiente versión de F #.

Answer 1

Esto puede no ser útil, pero puede hacer que los miembros se alineen. "miembro en línea privado" funciona bien.

Answer 2

Para let inline, se puede trabajar en torno al moverlo fuera de la clase y explícitamente que pasa todos los valores que necesita desde dentro del ámbito de la clase cuando se llama a ella. Como estará en línea, no habrá penalización de rendimiento por hacer esto.