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 | 902 | November 3, 2017 | |
| Are there any OCaml's best practices? | 9 | 2182 | February 20, 2018 | |
| AST tracking of type variables in polymorphic let-bindings (an old question) | 2 | 830 | June 15, 2021 | |
| Explain like I'm 5 years old: Tagless-final pattern | 12 | 5721 | February 28, 2022 | |
| OCaml compiler development newsletter, issue 2: May 2021 | 8 | 2766 | June 23, 2021 |