In the original sml, I frequently use state<some_class> to annotate the state, this prevents typo and also allows hierarchical state machine (I'm not sure if sml2 supports hierarchical state machine yet). So I think it's a better to use types (or concepts).
In the original
sml
, I frequently usestate<some_class>
to annotate the state, this prevents typo and also allows hierarchical state machine (I'm not sure ifsml2
supports hierarchical state machine yet). So I think it's a better to use types (or concepts).