タグ

ブックマーク / qiita.com/niku (2)

  • 静的型チェックツールDialyzerをElixirから使う - Qiita

    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 を使う方法を紹介しています.試してみましょう

    静的型チェックツールDialyzerをElixirから使う - Qiita
  • Emacs25から標準添付されるseq.elを調べた - Qiita

    Emacs25から新しくseq.elというものが導入されたみたいですね. All functions are prefixed with "seq-". 全ての関数は seq- で始まるそうです. All provided functions work on lists, strings and vectors. ListとString,Vectorに統一的に使えるようです. 今までは適用する関数がまちまちだったのでありがたいですね. Emacs25をインストールする OSXでHomebrewをお使いなら以下のコマンドでインストールできます brew install emacs --devel インストールできたら,Emacsを起動してscratchバッファでバージョンを確認してみましょう. (emacs-version) "GNU Emacs 25.0.50.1 (x86_64-appl

    Emacs25から標準添付されるseq.elを調べた - Qiita
  • 1