Просто добавил в extra_applications

Типов похоже нет. в iex например, если набрать
t :crypto. и нажать табуляцию, то оно выведет список доступных типов в этом модуле:

crypto_state/0               dh_private/0                 
dh_public/0                  dss_digest_type/0            
ec_named_curve/0             ecdsa_digest_type/0          
engine_ref/0                 hash_state/0                 
hmac_state/0                 key_id/0                     
mac_state/0                  password/0                   
pk_encrypt_decrypt_opts/0    pk_sign_verify_opts/0        
rsa_digest_type/0            sha1/0                       
sha2/0                       stream_state/0               

А для мнезии пустота.

Может в доках прописано как отдельный тайпспек, а по факту он развернут в спеке самой функции?

у mnesia типы не экспортированы

вот как в crypto https://github.com/erlang/otp/blob/a392393c96e273a2ecbda1d67a2b2c5cfac099f4/lib/crypto/src/crypto.erl#L257, тип определен через -type и экспортирован через -export_type

а у mnesia только -type есть

А как же диалайзер проверяет?

Типы приватные. Диалайзер умеет проверять приватные типы. Ты просто сам не можешь использовать приватные типы у себя в коде

диалайзер умеет в приватные типы, ок

Да, похоже так и есть.

спасибо, отрицательный результат - тоже результат

не совсем правда понятно, почему типы есть в документации, но их не экспортировали

Мне это тоже непонятно. По мне так все типы используемые в спеках публичных функций должны быть публичными.

Добрый день. Помимо чтения книг про Elixir (Programming Elixir by Dave Thomas, Elixir в действии, Саша Юрич) я хотел бы почитать исходники чтобы посмотреть best practices в действии.
Какие исходники/проекты по вашему мнению стоило бы посмотреть начинающему изучение Elixir разработчику? (Опыт есть на других языках, но не на Elixir/Erlang.) Заранее спасибо.

Я обычно его показываю как приемлемый и незамысловатый референс. Тут обычный вебсайт на фениксе с SSR
https://github.com/erlef/website

Спасибо! Пойду читать.

Подскажите, насколько LV тяжелый в плане сервера.
Т. e. если я сейчас его буду использовать в проекте, как при увеличении количества пользователей будет расти количество потребляемых ресурсо по сравнению с: a) graphql subscriptions б) rest + ws

Хороший вопрос, я никогда не замерял, но могу сказать что
1) Большие странички будут есть много памяти, потому что на сервере хранится сама страница в некотором виде
2) Логика, которая могла быть жаваскриптом, скорее всего будет исполняться на сервере

Логики которая могла бы быть жаваскриптом у меня мало, а вот про первый пункт не подумал

Я кстати не очень помню про LV, юзал только один раз поиграться. Он работает на страницу целиком, или можно ему отдать только какие-то части