[[Dialyzer]]は厳密ではなく楽観的な型推論を行うため、検知できない(敢えてしない?)場合もあるらしい。 <div class="link-card"> <div class="link-card-header"> <img src="https://learnyousomeerlang.com/favicon.ico" class="link-card-site-icon"/> <span class="link-card-site-name">learnyousomeerlang.com</span> </div> <div class="link-card-body"> <div class="link-card-content"> <div> <p class="link-card-title">Type Specifications and Erlang | Learn You Some Erlang for Great Good!</p> </div> <div class="link-card-description"> Dialyzer is an Erlang tool to analyze and find discrepancies in Erlang software. More than that, it'... </div> </div> </div> <a href="https://learnyousomeerlang.com/dialyzer"></a> </div>