Tracking: `ibis` typing fixes

[dangotbanned]

Aiming to collect issues we've had, with the hope to make some small suggestions upstream and make our type checkers happier 😅

Code Search

Should be most of the individual cases, but ideally we could pull out some common issues from here

• Using typing.cast
• Using # (type|pyright): ignore
• Using : Any

Comments

• feat: IbisLazyFrame support #2000 (comment)
• chore: fixup operator type ignores for SQLExpr #2920 (comment)
• fix: Align division by zero behavior across all backends #2761 (comment)
• TYP: Use ibis.Deferred instead of ibis.Value for typing #2963 (comment)

PRs

• fix(typing): Add overloads for ibis lit #2972

[dangotbanned]

@FBruzzesi, @MarcoGorelli

It seems like I'm viewing the use of operators as less important when they can be worked around (#2920 (comment))

I'm happy to concede on this and make getting operator-typing working for ibis the first goal here 🙂

This is a pretty minimal repro to get us started:

import ibis

>>> ibis.literal(1) / ibis.literal(2)   # Operator "/" not supported for types "Scalar" and "Scalar"
Divide(1, 2): 1 / 2