Skip to content

Dependent Types #366

Closed
Closed
@mvcisback

Description

@mvcisback

While trying to model the output of product from itertools #358, its become apparent that the mypy type system lacks the strength to model value defined types.

This will happen with any kind of n-vector and is and could be potentially solved statically using dependent types.

This would likely be a massive endeavor, but the conversation is likely worth having.

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions