Here&#x27;s a longer article (<a href="http:&#x2F;&#x2F;codon.com&#x2F;consider-static-typing" rel="nofollow">http:&#x2F;&#x2F;codon.com&#x2F;consider-static-typing</a>) with more background &#x2F; history about static typing and Ruby.<p>This topic has been knocked around in Ruby-land for a while; I remember seeing Michael Edgar&#x27;s LASER (<a href="https:&#x2F;&#x2F;github.com&#x2F;michaeledgar&#x2F;laser" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;michaeledgar&#x2F;laser</a>) static analysis tool including some work around optional type annotations, but seems like development there has stopped.