FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

feat: automatically generate Protocol for array-api-namespace by 34j · Pull Request #858 · data-apis/array-api · GitHub

feat: automatically generate Protocol for array-api-namespace - #858

Closed
34j wants to merge 5 commits into
data-apis:mainfrom
34j:feat/array-api-namespace
Closed

feat: automatically generate Protocol for array-api-namespace#858
34j wants to merge 5 commits into
data-apis:mainfrom
34j:feat/array-api-namespace

Conversation

34j commented Nov 24, 2024
edited
Loading

Copy link
Copy Markdown
Contributor

Inherits #685
Partially fixes. #267
Depends #857

Automatically generated from .pre-commit/update_array_namespace.py using pre-commit
Uses Protocols with TypeVars, therefore finally the correct usage of them can be achieved

kgryte commented Jun 23, 2025

Copy link
Copy Markdown
Contributor

@34j Given your recent work and the ongoing work in array-api-typing, are you okay closing out this PR?

34j closed this Jun 23, 2025
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: Static Typing Static typing.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants


Back | FazBrowse Home | New Git URL