Questions et réponses pour le value-restriction :

Dans la programmation fonctionnelle, en particulier la famille de langues de programmation ML, la restriction de valeur signifie que les déclarations ne sont que polymorphiquement généralisées si elles sont des valeurs syntaxiques (également appelées non expansives).

7
votes
est-il possible d'appliquer partiellement une fonction telle que BPRINTF et l'empêchent d'être restreint en fonction de son utilisation initiale? J'aimerais faire c ...

7
votes
Je suis un peu confus au sujet du polymorphisme faible dans ocaml em>. Veuillez consulter l'extrait suivant, où je définis une fonction N'oubliez pas p> ...