Merci beaucoup, tant pour l'aspect technique que le conseil méthodologique.
Pour répondre à ta question, un type block, c'est une variable qui est typé pour recevoir une fonction. Et comme toute variable tu peux lui mettre ce que tu veux n'importe quand.
mutablebegin_action:state->state;
begin_action est un block :-)
Je pense faire d'avantage de record, surtout si je peux y coller des fonctions, mais j'ai un problème avec l'agent.
Ce serait vraiment pratique de pouvoir hériter de l'agent.
A la limite, je pourrai créer une classe qui sera de la colle sur le record.
Je risque d'avoir d'autres questions !
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Ouh là
Posté par Ontologia (site web personnel) . En réponse au message [OCaml] Typage complexe et type "Block". Évalué à 2.
Merci beaucoup, tant pour l'aspect technique que le conseil méthodologique.
begin_action est un block :-)Pour répondre à ta question, un type block, c'est une variable qui est typé pour recevoir une fonction. Et comme toute variable tu peux lui mettre ce que tu veux n'importe quand.
Je pense faire d'avantage de record, surtout si je peux y coller des fonctions, mais j'ai un problème avec l'agent. Ce serait vraiment pratique de pouvoir hériter de l'agent.
A la limite, je pourrai créer une classe qui sera de la colle sur le record.
Je risque d'avoir d'autres questions !
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker