Skip to content

Add generic associated types (GAT) #92

@stephanemagnenat

Description

@stephanemagnenat

This is necessary to support mapper functions, such as map, filter and filter_map, both on containers and iterators.

A design similar to Rust is probably the way to go.

Metadata

Metadata

Assignees

No one assigned

    Labels

    traitThe trait system provides ad hoc polymorphismtypeThe HM(X) type system, excluding the trait part

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions