Elixir Advent Calendar 2014 23日目です． 動的型付け言語である Erlang で，静的に型エラーをチェックするためのツール Dialyzer というものがあります． 日本語で Web 上に公開されている情報だと33. 型仕様とErlangが一番わかりやすいでしょう． この文章では Dialyzer を Elixir で使う方法をいくつか紹介すると同時に，Dialyzer がどんなものか雰囲気がつかめることを願って書いています． 手動で設定する Programming Elixir という Elixir を始めるとっかかりにするにはとても良い本があります． その中の Appendix 2 に Type Specifications and Type Checking という章があり，Elixir で Dialyzer を使う方法を紹介しています．試してみましょう
Elixir再履修 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として利用出来る。 型につい
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
