Elixirの静的型チェック - decadenceElixir再履修 JVMはすごいけど限界もあるって最近感じてて、process単位でのGCが行えるBEAM系言語としてElixir触ってる*1。 前に一度触ったけど文法とか飛んでたしElixir再履修。 Elixir Documentation Elixir School エディタ設定とか依存管理とか予め言語開発側が用意してくれているので助かる。ただ動的型付け言語なので、その辺りは後々困るのは確実。Erlangには静的型チェックの仕組みとしてdialyzerがあり、Elixirでも利用可能なのでそのあたりを先に押さえる。 型宣言 when is_number(arg)みたいのを適宜書くのも良いが、そもそもこれはガードに利用するためのもの。Erlangの型付けで利用されていた-type、-spec、-opaque がそのまま@type、@spec、@opaqueとして利用出来る。 型につい
