Does Marimo notebooks allow mypy for type checking?

[Yasin197]

Describe the bug

i am not able to run mypy on marimo notebooks. it is apart of my pre-commit-hooks workflows, is it supported?

Will you submit a PR?

• Yes

Environment

Details

Replace this line with the output of marimo env. Leave the backticks in place.

Code to reproduce

No response

[mscolnick]

@Yasin197 yes, since marimo is pure-python you can run mypy on them.

(moving to a discussion)

[Yasin197]

i get this error in my pre-commit workflow (some info redacted):

F821 Undefined name pd
--> marimo-notebooks\notebooks\report.py:167:45
|
166 | @app.cell
167 | def _(request_rates_dv01_by_trading_group: "pd.DataFrame", api_handler):
| ^^
168 | rates_dv01_by_trading_group = risk_api_handler.query_endpoint(
169 | endpoint="exposure",
|

Found 1 error.

ruff format..............................................................Passed
mypy.....................................................................Failed

• hook id: mypy
• exit code: 1

marimo-notebooks\notebooks\report.py:167: error: Name "pd" is not defined [name-defined]
marimo-notebooks\notebooks\report.py:221: error: Name "pd.DataFrame" is not defined [name-defined]
marimo-notebooks\notebooks\report.py:221: error: Variable "GT" is not valid as a type [valid-type]
marimo-notebooks\notebooks\report.py:221: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
marimo-notebooks\notebooks\report.py:229: error: Unexpected type declaration [misc]
marimo-notebooks\notebooks\report.py:229: error: Name "pd.DataFrame" is not defined [name-defined]
marimo-notebooks\notebooks\report.py:231: error: Variable "GT" is not valid as a type [valid-type]
marimo-notebooks\notebooks\reportpy:231: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
Found 6 errors in 1 file (checked 2 source files)

@mscolnick

[Yasin197]

I've got it working now!