Lists that keep track of their reversal | Hacker News - But Better

Lists that keep track of their reversal 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…

1 points•nukifw•about 4 hours ago•0 comments•

#track #reversal #lists #keep track #whether #discussion #summary #type

0 comments

No comments yet.

Related stories

Lists that keep track of their reversalgrim.cargocut.org
Lobsters · 5 points · about 4 hours ago
Hoare Type Theory, Polymorphism and Separationynot.cs.harvard.edu
Lobsters · 8 points · about 9 years ago
Type Safe Printf via Type Providers (F#)blog.mavnn.co.uk
Lobsters · 7 points · over 12 years ago
Show HN: CiteRank, track whether ChatGPT and Perplexity cite your siteciterank.thecompound.tech
Hacker News · 2 points · 6 days ago
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosisarxiv.org
Lobsters · 6 points · about 9 years ago
Your Type Guard Can Silently Drift from Your TypeScript Type 🔧dev.to
DEV Community · 74 points · 8 days ago