My next big project

17 views

Skip to first unread message

Edward K. Ream

unread,

Apr 3, 2026, 1:19:30 PM (3 days ago) Apr 3

to leo-editor

Issue #5472 (concrete mypy annotations) is a juicy project that has implications beyond Leo itself. Leo's g.checker functions are dynamic checks, while Leo's mypy annotations are static checks.

The tension between dynamic and static checking is what makes type-checking so challenging. This challenge has gotten my creative juices flowing. I'll keep you informed as I go along.