Does one of you know of other languages which require something similar to lazy normalization?
I am fairly certain they exist but was unable to find anything good myself. :dolphin:
I'm curious if c++ needs it?
What is Lazy Normalization?
If it's related to const generics, I bet there must be an extension to Haskell that does it
And if it is indeed related to const generics, maybe something in C++'s STL has something similar?
@Félix Fischer explanation here https://github.com/rust-lang/rust/issues/60471
Ohhhh￼￼ okay. Thanks, @csmoe!
Then maybe the c++ community has something to say about it. How is the STL compiled? Do they use LN, or do they dodge the issue somehow?
C++ parses templates every time you instantiate them. LN doesn't make sense in the weak template system that doesn't have any such concept as traits.
Ohhh, so that's how that works. It's much less refined then. Okay. I got nothin' then.
(Thanks for explaining, bjorn3!)