Stream: t-compiler

Topic: lazy normalization in other languages


Bastian Kauschke (May 07 2020 at 20:34, on Zulip):

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:

mark-i-m (May 07 2020 at 22:21, on Zulip):

I'm curious if c++ needs it?

Félix Fischer (May 08 2020 at 05:24, on Zulip):

What is Lazy Normalization?

Félix Fischer (May 08 2020 at 05:24, on Zulip):

If it's related to const generics, I bet there must be an extension to Haskell that does it

Félix Fischer (May 08 2020 at 05:26, on Zulip):

(deleted)

Félix Fischer (May 08 2020 at 05:28, on Zulip):

And if it is indeed related to const generics, maybe something in C++'s STL has something similar?

csmoe (May 08 2020 at 05:50, on Zulip):

@Félix Fischer explanation here https://github.com/rust-lang/rust/issues/60471

Félix Fischer (May 08 2020 at 05:53, on Zulip):

Ohhhh okay. Thanks, @csmoe!

Félix Fischer (May 08 2020 at 05:54, on Zulip):

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?

bjorn3 (May 08 2020 at 08:37, on Zulip):

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.

Félix Fischer (May 08 2020 at 09:05, on Zulip):

Ohhh, so that's how that works. It's much less refined then. Okay. I got nothin' then.

Félix Fischer (May 08 2020 at 09:05, on Zulip):

(Thanks for explaining, bjorn3!)

Last update: May 29 2020 at 18:00UTC