Having more than one pass for one abstract syntax-tree type makes it important to enforce a certain order. Which way would be best for this? Phantom types? Type alias?
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Evaluation order considered important for newbs to learn early | 4 | 909 | November 3, 2017 | |
| Are there any OCaml's best practices? | 9 | 2184 | February 20, 2018 | |
| Keeping track of where type variables are bound in the typed AST | 4 | 949 | October 3, 2018 | |
| AST tracking of type variables in polymorphic let-bindings (an old question) | 2 | 832 | June 15, 2021 | |
| Explain like I'm 5 years old: Tagless-final pattern | 12 | 5835 | February 28, 2022 |