А он уже научился из коробки документацию показывать?

всегда умел

вообще вот такое есть
https://github.com/erszcz/docsh

> эршч

Отпуск нормально проходит, я смотрю)

Котаны, объясните простым языком, зачем нужен @opaque

А ещё можно так сделать

MANPATH=<ERLANG_DIR>/lib/erlang/man man 3 lists

Но мы ведь сейчас про репл говорим?

Чтобы объявить какой-то тип, не раскрывая его внутреннее устройство пользователю. Т.е. пользователь видит только название типа, а вот какой-нибудь dialyzer может этот тип проверить.

Спасибо, кэп. Документацию я читал. Зачем это нужно в реальной жизни?

Когда ты не хочешь, чтобы люди руками создавали вещи этого типа, а получали экземпляры только по твоему апи, например.

Понял, спасибо

Что тебе именно непонятно? Зачем нужно присваивать сущностям типы? Зачем скрывать внутреннюю реализацию какого-то типа? Зачем статически проверять типы?

Можно пойти от противного. Вот у тебя есть MapSet и t:MapSet.t/1. Ты хочешь написать функцию, которая берёт MapSet и возвращает количество элементов в нём. Ты хочешь, чтобы если пользователь туда передаст вместо MapSet значение другого типа, чтобы диалайзер заругался. @opaque у тебя нет, раскрывать пользователю внутреннюю реализацию ты  не хочешь. Твои действия?

> раскрывать пользователю внутреннюю реализацию ты  не хочешь

Вот это непонятно. Почему я должен это не хотеть.

А зачем?

Потому что тогда у пользователя будет соблазн завязаться на эту внутреннюю реализацию. А ты в один прекрасный момент её поменяешь (например, на более эффективную), не меняя публичный API, и сломаешь рабочий код пользователя. Хотя если бы пользователь использовал только публичный API, то всё было бы норм.

Понятно, спасибо. Всё те же игры в сокрытие реализации и шаринг контракта.

Вот тот же MapSet раньше определялся как

defstruct map: %{}

Затем как

defstruct data: %{}

А сейчас как

defstruct map: %{}, version: 2

Плюс раньше там в качестве значения использовался атом true, а сейчас пустой список.

Если бы это был публичный тип, я могу гарантировать со 100% вероятностью, что кто-нибудь захотел, например, использовать pattern matching вместо публичного API, предоставляемого модулем.

Правда, pattern matching тебе и сейчас никто не мешает использовать, просто это чуть сложнее.

собственно, разработка софта, в основном, состоит из этой игры

ещё иногда надо придумывать имена штукам и инвалидировать кэш