Zulip Chat Archive

Stream: new members

Topic: unsafe casts in meta land?


view this post on Zulip Scott Morrison (Jan 04 2019 at 05:03):

In a meta function, is there some way to do "unsafe casts"?

view this post on Zulip Mario Carneiro (Jan 04 2019 at 05:20):

unchecked_cast

view this post on Zulip Mario Carneiro (Jan 04 2019 at 05:21):

it's just cast with a fake proof

view this post on Zulip Mario Carneiro (Jan 04 2019 at 05:21):

But it's not recommended. There are very few safe but type incorrect casts

view this post on Zulip Mario Carneiro (Jan 04 2019 at 05:22):

and the ones that exist already have names, like unquot


Last updated: May 10 2021 at 00:31 UTC