Add qa.ty domain for Astral's ty type checker

Fast Python type checker (10-100x faster than mypy).
Registers with CHECK_TARGETS and TYPECHECK_TARGETS.

Author: jensens

CHANGES.md

@@ -1,5 +1,12 @@
 # Changelog
 
+## 2.0.2
+
+- Feature: Add `qa.ty` domain for Astral's ty type checker.
+  ty is an extremely fast Python type checker (10-100x faster than mypy).
+  Registers with both CHECK_TARGETS and TYPECHECK_TARGETS for fast feedback.
+  [jensens]
+
 ## 2.0.1
 
 - Enhancement: Use tables in the generated sphinx code for topic/domains.

src/mxmake/topics/qa/ty.mk

@@ -0,0 +1,63 @@
+#:[ty]
+#:title = ty
+#:description = Static type checking with ty (Astral's fast type checker).
+#:depends = core.packages
+#:
+#:[target.ty]
+#:description = Run ty type checker.
+#:
+#:[setting.TY_SRC]
+#:description = Source folder for type checking.
+#:default = src
+#:
+#:[setting.TY_PYTHON_VERSION]
+#:description = Target Python version for type checking (e.g., 3.12).
+#:  Leave empty to use default detection.
+#:default =
+#:
+#:[target.ty-dirty]
+#:description = Marks ty dirty.
+#:
+#:[target.ty-clean]
+#:description = Uninstall ty and removes cached data.
+
+##############################################################################
+# ty
+##############################################################################
+
+# Adjust TY_SRC to respect PROJECT_PATH_PYTHON if still at default
+ifeq ($(TY_SRC),src)
+TY_SRC:=$(PYTHON_PROJECT_PREFIX)src
+endif
+
+# Build ty flags
+TY_FLAGS:=
+ifneq ($(TY_PYTHON_VERSION),)
+TY_FLAGS+=--python-version $(TY_PYTHON_VERSION)
+endif
+
+TY_TARGET:=$(SENTINEL_FOLDER)/ty.sentinel
+$(TY_TARGET): $(MXENV_TARGET)
+	@echo "Install ty"
+	@$(PYTHON_PACKAGE_COMMAND) install ty
+	@touch $(TY_TARGET)
+
+.PHONY: ty
+ty: $(PACKAGES_TARGET) $(TY_TARGET)
+	@echo "Run ty"
+	@ty check $(TY_FLAGS) $(TY_SRC)
+
+.PHONY: ty-dirty
+ty-dirty:
+	@rm -f $(TY_TARGET)
+
+.PHONY: ty-clean
+ty-clean: ty-dirty
+	@test -e $(MXENV_PYTHON) && $(MXENV_PYTHON) -m pip uninstall -y ty || :
+	@rm -rf .ty
+
+INSTALL_TARGETS+=$(TY_TARGET)
+CHECK_TARGETS+=ty
+TYPECHECK_TARGETS+=ty
+CLEAN_TARGETS+=ty-clean
+DIRTY_TARGETS+=ty-dirty