I came across this when trying to write a guide on how to smoke test a data pipeline. The smoke test uses dagster types to enable IO managers to auto-generate input data. There's a lot going on, so I wanted to build it up incrementally, starting with the bare minimum that's required to get the example working. The type_check_fn forces a digression.
Here's the smoke test: https://dagster.phacility.com/D5794
More generally, there are a few ways that types offer value without a type_check_fn:
- Documenting outputs in Dagit
- dagster_type_loaders
Requiring users to provide a type_check_fn to realize these benefits makes it more difficult to incrementally adopt Dagster.