YのErlang

パラメタライズドモジュール(parameterized modules)について

01:53

2年前くらいに書いた最後のエントリについて時を超えて答えが見つかったので、メモしておきます。

結論からいうとパラメタライズドモジュール(parameterlized modules)というアンドキュメントなErlangの機能でググれば情報がみつかります。

http://userprimary.net/posts/2009/03/04/two-erlang-finds-atomic-names-and-parameterized-modules/

http://www.erlang.se/workshop/2003/paper/p29-carlsson.pdf

使い方は簡単でまずOOで扱いたいモジュールを作成して、

-module(foo, [Name]).
-export([hello/0]).

hello() ->
    io:format("Hello ~p~n", [Name]).

あとはコンパイルするだけで使えます。new/-moduleの第2引数で指定した要素の数、な関数ができているのでそれを使用すると中身的にはタプルなものができて、それを通すと不思議なことにアクセサのように使えます。

1> c(foo).
{ok,foo}.
2> Obj = foo:new("Bar").
{foo,"Bar"}
3> Obj:hello().
Hello "Bar"
ok

レコードのインスタンスを通して関数を実行する

21:24

こういうふうに組んで、

-module(rec_demo).
-compile(export_all).

-record(rec_demo, {foo}).

new(X) ->
    #rec_demo{foo=X}.
fun1(#rec_demo{foo=X}) ->
    {X, 0}.
fun2(#rec_demo{foo=X}) ->
    {X, "foo"}.

こういうふうにモジュール名とレコード名を合わせると関数を実行できるのって、どこかのドキュメント書いてある?

> c(rec_demo).
{ok,rec_demo}
> R = rec_demo:new(5).
{rec_demo,5}
> R:fun1().
{5,0}
> R:fun2().
{5,"foo"}

whenのガードシーケンスでdictレコードかどうか判定したい。

17:41

今書いているコードで、こんな判定をしている。

create(Env) ->
    #proc{pid=spawn(fun() -> loop(Env) end)}.

本当はここで渡されるのをdictのインスタンスに制限したい。

create(Env) when is_record(Env, dict#dict) ->
    #proc{pid=spawn(fun() -> loop(Env) end)}.

さてどうしよう。

ドットリスト

14:30

> [X,Y|Z] = [1,2|3].
[1,2|3]

結局例外(正規表現は止め)で数値かどうか分けるようにした

14:28

これで互換を保てそう。

symbol(Value) ->
    try
	case string:str(Value, ".") of
	    0 ->
		Fun = fun list_to_integer/1;
	    _ ->
		Fun = fun list_to_float/1
	end,
	#symbol{v=Fun(Value)}
    catch
	_:_ -> #symbol{v=string:to_lower(Value)}
    end.

io_lib:freadなどで個数の違うタプルが返ってきたときの振り分け方がよくわからない

11:08

こんな感じに組んでるけど動かないので、寝ておきてから考えるー。

symbol(Value) ->
    {X1, Y1, [Z1]} = io_lib:fread("~f", Value),
    case X1 of
	ok ->
	    {[Num|_], []} = {Y1, Z1},
	    #symbol{v=Num};
	_ ->
	    {X2, Y2, Z2} = io_lib:fread("~d", Value),
	    case X2 of
		ok ->
		    {[Num|_], []} = {Y2, Z2},
		    #symbol{v=Num};
		_ ->
		    #symbol{v=string:to_lower(Value)}
	    end
    end.

コンソールで例外を起こすとetsも死んじゃう件

09:59

Pythonチックにコンソールで動作を確認しながら開発してると、意図的に例外を起こしたりする。

問題はその都度プロセスが再起動しているのかetsが破棄される。

init/0とかテストデータを入れる手続きを一時的に作ってるけど、それもなーーー。