В указанном списке планов, к сожалению, нет, но если вдруг будет возможность посетить доклад Kostis Sagonas, очень интересно, когда появится поддержка Эрлангом и диалайзером импорта типов (-import_type) и полиморфных opaque типов. В одном из примеров PropEr последние уже используются, но dialyzer это не одобряет.
Ну и по теме — интересуют планы по расширениям возможностей PropEr по автоматическому тестированию, основанному на информации, которую можно получить из уже заданной типизации. Кажется, что именно на этом поле PropEr потенциально мощнее оригинального QuickCheck. |
