C'est très très intéressant !
C'est marrant, parce que je suis en train de coder un moteur de machine à état fini hiérarchique (HFSM en anglais, pour les mot clés google), qui me fait beaucoup penser à ce langage :
Un moteur à état fini hiérarchique est une machine à état fini classique, dans lequel on peu trouver une machine à état fini dans un état. Cette machine "hébergée" dans un état s'active lorsqu'on passe dans l'état père : Hierarchical Finite State Machine
.
J'utilise ce moteur pour animer des agents dans un monde, afin de les doter d'un comportement. De ce fait les transitions sont effectuées à partir d'évènements et de conditions. Les évènements viennent de l'extérieur et les conditions sont des booléens évalués sur l'état interne de l'agent (ici un objet).
Grâce au type somme de Ocaml, je peux faire une équation booléenne de conditions et évènements.
Quand je vois ce langage (urbi), je me dis que cela se compile facilement en HFSM
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Un langage ontologique et métaphorique
Posté par Ontologia (site web personnel) . En réponse au journal Votre langage idéal ?. Évalué à 2.
C'est très très intéressant !
C'est marrant, parce que je suis en train de coder un moteur de machine à état fini hiérarchique (HFSM en anglais, pour les mot clés google), qui me fait beaucoup penser à ce langage :
Un moteur à état fini hiérarchique est une machine à état fini classique, dans lequel on peu trouver une machine à état fini dans un état. Cette machine "hébergée" dans un état s'active lorsqu'on passe dans l'état père :
Hierarchical Finite State Machine
.
J'utilise ce moteur pour animer des agents dans un monde, afin de les doter d'un comportement. De ce fait les transitions sont effectuées à partir d'évènements et de conditions. Les évènements viennent de l'extérieur et les conditions sont des booléens évalués sur l'état interne de l'agent (ici un objet).
Grâce au type somme de Ocaml, je peux faire une équation booléenne de conditions et évènements.
Quand je vois ce langage (urbi), je me dis que cela se compile facilement en HFSM
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker