Ну вот если я правильно понимаю то dialyzer пытается выстроить дерево всех вызовов, потом по этому дереву сверяет типы где указано + inferred. Если совпадает то хорошо, если нет вывалит варнинг, если в ветку не попадает то не анализируется. Т.е. это не совсем statical type check, а где-то между.
no subject
Date: 2016-02-01 07:34 pm (UTC)