Stream: beginners

Topic: Phantom Types


view this post on Zulip Luke Boswell (Nov 28 2023 at 21:35):

Just cleaning up a bunch of things and adding some more content for the tutorial and noticed the Phantom Types section is empty. Is anyone able to give me a clue as to what this is referring to? Is this just having a type variable that isn't actually included in the opaque definition, i.e. they aren't used, but just distinguish between different things.

view this post on Zulip Richard Feldman (Nov 28 2023 at 21:46):

yeah exactly

view this post on Zulip Richard Feldman (Nov 28 2023 at 21:46):

I don't know if that actually needs to be in the tutorial though

view this post on Zulip Richard Feldman (Nov 28 2023 at 21:46):

probably a better fit for the language reference

view this post on Zulip Luke Boswell (Nov 28 2023 at 21:46):

I might pull it out for now, instead of having a (coming soon) section


Last updated: Jul 05 2025 at 12:14 UTC