Actions should have an opaque type instead of string.

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

BSD 3-Clause "New" or "Revised" License

78 stars 11 forks source link

Actions should have an opaque type instead of string. #8

Open giltho opened 4 years ago

giltho commented 4 years ago

This would probably be a great use case for GADTs. Actions are associated to their signatures. Although it forces actions to have a consistent signature.

NatKarmios commented 1 year ago

Apparently this is more easily doable now that we know parsers can be functors.