>>228
>「Ruby」の動的型付け、
これだけなら単なる癌にしかみませんが…

https://julialang.org/
>Optionally typed
Julia has a rich language of descriptive datatypes, and type declarations can be used to clarify and solidify programs.
まあ妥当かな…