スペック付きのErlang関数があるとしましょう。
-spec foo(integer(), string()) ->
boolean().
foo(_Integer, _String) ->
true.
私の夢は、Emacs内のこの情報からedocを自動的に生成することです。生成されたコードは次のようになります。
%%--------------------------------------------------------------------
%% @doc
%% Your description goes here
%% @spec foo(_Integer::integer(), _String::string()) ->
%%% boolean()
%% @end
%%--------------------------------------------------------------------
-spec foo(integer(), string()) ->
boolean().
foo(_Integer, _String) ->
true.
同様の機能はすでに存在しますか?