Skip to content

Documentation: Intersection types #1451

Open
@ShalokShalom

Description

@ShalokShalom

I see no mention of intersection types in the documentation, is
this one the only reference?

I would love to learn about them?

Activity

samth

samth commented on May 11, 2025

@samth
SponsorMember

case-> is also a form of intersection types. Also the second link is to the documentation; do you mean you would like to see more discussion in the guide?

ShalokShalom

ShalokShalom commented on May 11, 2025

@ShalokShalom
Author

Thanks.

Well, I would like to see some practical examples. Similar to those in the first link.

Also, by just looking at the first link, one can believe there are no intersection types available

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      No branches or pull requests

        Participants

        @samth@ShalokShalom

        Issue actions

          Documentation: Intersection types · Issue #1451 · racket/typed-racket