Discussion :

[LLB]

Après, je ne sais pas à quel point l'absence de foncteur de F# (c'est toujours le cas ?) peut être dommageable dans ce cas

Oui, c'est toujours le cas. Cette fonctionnalité n'est pas prévue à court terme. Personnellement, je ne trouve pas ce manque très gênant.

As-tu des exemples où remplacer un foncteur par une classe/structures ne convient vraiment pas ?

[alex_pi]

As-tu des exemples où remplacer un foncteur par une classe/structures ne convient vraiment pas ?

Je n'ai jamais fait de F# de ma vie, donc je ne sais pas. J'aime beaucoup les foncteurs, mais je ne dis pas qu'il est impossible de faire autrement hein ! Mais bon, pour avoir un analyseur statique paramétré par un autre, ou par un certain treillis, etc., c'est fort pratique.

[gorgonite]

un analyseur statique paramétré par un autre, ou par un certain treillis, etc., c'est fort pratique.

a priori, on le fait très bien avec des templates C++ dans mon labo... et je pense que de "simples" classes paramétriques pourraient suffire