Interested to add types?

[jdonnerstag]

I like types and if there is interest, I could start adding them.
Any specific developer guides I need to follow?

[martindurant]

There is, I think, an existing issue for this.
I am not opposed, but there is no guide (since we don't have types yet) and many places where Any is the only reasonable options - which is no help at all. I wish you the best!

[yarikoptic]

FWIW typing might have helped to prevent error exhibited itself in #1107 (comment)

[ianthomas23]

There are a number of issues about adding type annotations. I am closing this as a duplicate of #625 as that has the most relevant discussion.