Every time I build something complex with dataframes in either R or Python (Pandas, I haven't used Polars yet), I end up really wishing I could have statically typed dataframes. I miss the security of knowing that when I change common code, the compiler will catch if I break a totally different part of the dashboard for instance.<p>I'm aware of Pandera[1] which has support for Polars as well but, while nice, it doesn't cause the code to fail to compile, it only fails at runtime. To me this is the achilles heel of analysis in both Python and R.<p>Does anybody have ideas on how this situation could be improved?<p>[1] <a href="https://pandera.readthedocs.io/en/stable/" rel="nofollow">https://pandera.readthedocs.io/en/stable/</a>