✅: dask

.github/workflows/ci.yml

@@ -98,38 +98,93 @@ jobs:
           echo "major=$major" >> $GITHUB_OUTPUT
           echo "minor=$minor" >> $GITHUB_OUTPUT
 
-      - name: install deps
-        run: |
-          uv sync --no-editable --group=mypy
-          uv pip install numpy==${{ matrix.numpy-version }}
-
-      # NOTE: `uv run --with=...` will be ignored by mypy (and `--isolated` does not help)
-      - name: mypy
+      - name: collect test files
+        id: collect-files
         run: |
           major="${{ steps.numpy-version.outputs.major }}"
           minor="${{ steps.numpy-version.outputs.minor }}"
 
-          # Directory containing versioned test files
           prefix="tests/integration"
           files=""
 
-          # Find all test files matching the current major version
-          for path in $(find "$prefix" -name "test_numpy${major}p*.pyi"); do
-            # Extract file name
+          while IFS= read -r -d '' path; do
             fname=$(basename "$path")
-            # Parse the minor version from the filename
             fminor=$(echo "$fname" | sed -E "s/test_numpy${major}p([0-9]+)\.pyi/\1/")
-            # Include files where minor version ≤ NumPy's minor
             if [ "$fminor" -le "$minor" ]; then
               files="$files $path"
             fi
-          done
+          done < <(find "$prefix" -name "test_numpy${major}p*.pyi" -print0)
+
+          files="${files# }"
+          echo "files=$files" >> "$GITHUB_OUTPUT"
+
+      # NOTE: `uv run --with=...` will be ignored by mypy (and `--isolated` does not help)
+      - name: mypy
+        run: |
+          uv sync --no-editable --group=mypy
+          uv pip install numpy==${{ matrix.numpy-version }}
+          uv run --no-sync --active \
+            mypy --tb --no-incremental --cache-dir=/dev/null \
+            ${{ steps.collect-files.outputs.files }}
+
+      - name: basedmypy
+        run: |
+          uv sync --no-editable --group=basedmypy
+          uv pip install numpy==${{ matrix.numpy-version }}
+          uv run --no-sync --active \
+            mypy --tb --no-incremental --cache-dir=/dev/null \
+            ${{ steps.collect-files.outputs.files }}
+
+      - name: pyright
+        run: |
+          uv sync --no-editable --group=pyright
+          uv pip install numpy==${{ matrix.numpy-version }}
+          uv run --no-sync --active \
+            pyright ${{ steps.collect-files.outputs.files }}
+
+      # TODO: (based)pyright
 
+  test_integration_dask:
+    name: integration tests (dask)
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        dask-version: ["2025.7.0"]
+
+    steps:
+      - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
+
+      - uses: astral-sh/setup-uv@d9e0f98d3fc6adb07d1e3d37f3043649ddad06a1 # v6.5.0
+        with:
+          python-version: "3.11"
+          activate-environment: true
+
+      # NOTE: `uv run --with=...` will be ignored by mypy (and `--isolated` does not help)
+      - name: mypy
+        run: |
+          uv sync --no-editable --group=mypy
+          uv pip install dask==${{ matrix.dask-version }}
+          uv run --no-sync --active \
+            mypy --tb --no-incremental --cache-dir=/dev/null \
+            tests/integration/test_dask.pyi
+
+      - name: basedmypy
+        run: |
+          uv sync --no-editable --group=basedmypy
+          uv pip install dask==${{ matrix.dask-version }}
           uv run --no-sync --active \
             mypy --tb --no-incremental --cache-dir=/dev/null \
-            $files
+            tests/integration/test_dask.pyi
+
+      - name: pyright
+        run: |
+          uv sync --no-editable --group=pyright
+          uv pip install dask==${{ matrix.dask-version }}
+          uv run --no-sync --active \
+            tests/integration/test_dask.pyi
 
       # TODO: (based)pyright
 
   # TODO: integration tests for array-api-strict
-  # TODO: integration tests for 3rd party libs such as cupy, pytorch, tensorflow, dask, etc.
+  # TODO: integration tests for 3rd party libs such as cupy, pytorch, tensorflow, etc.

pyproject.toml

@@ -62,6 +62,15 @@ test_runtime = [
 test_numpy = [
   "numpy>=1.25",
 ]
+pyright = [
+  "pyright>=1.1.403",
+]
+basedmypy = [
+  "basedmypy>=2.10.0",
+]
+test-dask = [
+  "dask>=2025.7.0",
+]
 
 [tool.hatch]
 version.source = "vcs"

tests/integration/test_dask.pyi

@@ -0,0 +1,54 @@
+# mypy: disable-error-code="no-redef, explicit-any"
+
+from types import ModuleType
+from typing import Any, TypeAlias
+
+import dask.array as da
+import numpy as np
+
+import array_api_typing as xpt
+
+# DType aliases
+F32: TypeAlias = np.float32
+I32: TypeAlias = np.int32
+
+# Define Dask Arrays against which we can test the protocols
+# (Dask's Array type is not parametrized by dtype at type level.)
+darr: da.Array
+darr_i32: da.Array
+darr_f32: da.Array
+darr_b: da.Array
+
+# =========================================================
+# `xpt.HasArrayNamespace`
+
+# Check assignment
+_001: xpt.HasArrayNamespace[ModuleType] = darr
+_002: xpt.HasArrayNamespace[ModuleType] = darr_i32
+_003: xpt.HasArrayNamespace[ModuleType] = darr_f32
+_004: xpt.HasArrayNamespace[ModuleType] = darr_b
+
+# Check `__array_namespace__` method
+a_ns: xpt.HasArrayNamespace[ModuleType] = darr
+ns: ModuleType = a_ns.__array_namespace__()
+
+# =========================================================
+# `xpt.HasDType`
+
+# Check DTypeT_co assignment
+_005: xpt.HasDType[Any] = darr
+_006: xpt.HasDType[np.dtype[I32]] = darr_i32
+_007: xpt.HasDType[np.dtype[F32]] = darr_f32
+_008: xpt.HasDType[np.dtype[np.bool_]] = darr_b
+
+# =========================================================
+# `xpt.Array`
+
+# Check NamespaceT_co assignment
+x_ns: xpt.Array[Any, ModuleType] = darr
+
+# Check DTypeT_co assignment
+_009: xpt.Array[Any] = darr
+_010: xpt.Array[np.dtype[I32]] = darr_i32
+_011: xpt.Array[np.dtype[F32]] = darr_f32
+_012: xpt.Array[np.dtype[np.bool_]] = darr_b

tests/integration/test_numpy1p0.pyi

@@ -1,4 +1,4 @@
-# mypy: disable-error-code="no-redef"
+# mypy: disable-error-code="no-redef, explicit-any"
 
 from types import ModuleType
 from typing import Any
@@ -22,8 +22,8 @@ _: xpt.HasArrayNamespace[ModuleType] = nparr_i32
 _: xpt.HasArrayNamespace[ModuleType] = nparr_f32
 
 # Check `__array_namespace__` method
-a_ns: xpt.HasArrayNamespace[ModuleType] = nparr
-ns: ModuleType = a_ns.__array_namespace__()
+has_ns: xpt.HasArrayNamespace[ModuleType] = nparr
+ns: ModuleType = has_ns.__array_namespace__()
 
 # Incorrect values are caught when using `__array_namespace__` and
 # backpropagated to the type of `a_ns`
@@ -43,7 +43,7 @@ _: xpt.HasDType[dtype[Any]] = nparr_f32
 # `xpt.Array`
 
 # Check NamespaceT_co assignment
-a_ns: xpt.Array[Any, ModuleType] = nparr
+_: xpt.Array[Any, ModuleType] = nparr
 
 # Check DTypeT_co assignment
 # Note that `np.array_api` uses dtype objects, not dtype classes, so we can't

tests/integration/test_numpy2p0.pyi

@@ -1,4 +1,4 @@
-# mypy: disable-error-code="no-redef"
+# mypy: disable-error-code="no-redef, explicit-any"
 
 from types import ModuleType
 from typing import Any, TypeAlias
@@ -22,36 +22,32 @@ nparr_b: npt.NDArray[np.bool_]
 # `xpt.HasArrayNamespace`
 
 # Check assignment
-_: xpt.HasArrayNamespace[ModuleType] = nparr
-_: xpt.HasArrayNamespace[ModuleType] = nparr_i32
-_: xpt.HasArrayNamespace[ModuleType] = nparr_f32
-_: xpt.HasArrayNamespace[ModuleType] = nparr_b
+_001: xpt.HasArrayNamespace[ModuleType] = nparr
+_002: xpt.HasArrayNamespace[ModuleType] = nparr_i32
+_003: xpt.HasArrayNamespace[ModuleType] = nparr_f32
+_004: xpt.HasArrayNamespace[ModuleType] = nparr_b
 
 # Check `__array_namespace__` method
 a_ns: xpt.HasArrayNamespace[ModuleType] = nparr
 ns: ModuleType = a_ns.__array_namespace__()
 
-# Incorrect values are caught when using `__array_namespace__` and
-# backpropagated to the type of `a_ns`
-_: xpt.HasArrayNamespace[dict[str, int]] = nparr  # not caught
-
 # =========================================================
 # `xpt.HasDType`
 
 # Check DTypeT_co assignment
-_: xpt.HasDType[Any] = nparr
-_: xpt.HasDType[np.dtype[I32]] = nparr_i32
-_: xpt.HasDType[np.dtype[F32]] = nparr_f32
-_: xpt.HasDType[np.dtype[np.bool_]] = nparr_b
+_005: xpt.HasDType[Any] = nparr
+_006: xpt.HasDType[np.dtype[I32]] = nparr_i32
+_007: xpt.HasDType[np.dtype[F32]] = nparr_f32
+_008: xpt.HasDType[np.dtype[np.bool_]] = nparr_b
 
 # =========================================================
 # `xpt.Array`
 
 # Check NamespaceT_co assignment
-a_ns: xpt.Array[Any, ModuleType] = nparr
+x_ns: xpt.Array[Any, ModuleType] = nparr
 
 # Check DTypeT_co assignment
-_: xpt.Array[Any] = nparr
-_: xpt.Array[np.dtype[I32]] = nparr_i32
-_: xpt.Array[np.dtype[F32]] = nparr_f32
-_: xpt.Array[np.dtype[np.bool_]] = nparr_b
+_009: xpt.Array[Any] = nparr
+_010: xpt.Array[np.dtype[I32]] = nparr_i32
+_011: xpt.Array[np.dtype[F32]] = nparr_f32
+_012: xpt.Array[np.dtype[np.bool_]] = nparr_b

tests/integration/test_numpy2p2.pyi

@@ -2,4 +2,6 @@ from test_numpy2p0 import nparr
 
 import array_api_typing as xpt
 
-_: xpt.HasArrayNamespace[dict[str, int]] = nparr  # type: ignore[assignment]
+# Incorrect values are caught when using `__array_namespace__` and
+# backpropagated to the type of `a_ns`
+a_ns: xpt.HasArrayNamespace[dict[str, int]] = nparr  # type: ignore[assignment]