yujiri.xyz

Software

Subtle benefits of static typing

Everyone knows the main benefits of static typing: catching mistakes earlier so development is faster and fewer bugs get through, and better performance. But there are more subtle ones:

Mypy

Proxied content from gemini://yujiri.xyz/software/typing.gmi

Gemini request details:

Original URL
gemini://yujiri.xyz/software/typing.gmi
Status code
Success
Meta
text/gemini; lang=en
Proxied by
kineto

Be advised that no attempt was made to verify the remote SSL certificate.

What is Gemini?