Lists that keep track of their reversal

Lobsters·5 points·xvw·about 4 hours ago·grim.cargocut.org

Summary of a small discussion on how to track, at type level, whether a list is constructed forwards or backwards. It remains to be seen whether this will be useful in everyday life, but the proposal is driven by a…

Read the full article at grim.cargocut.org →

Related stories

Related topics