а, так это ж нифы, там конечно нет особенно никаких атомов

При наличии нормальной системы типов в языке (где есть алгебраические типы данных) атомы не так уж и нужны.

Но атомы вполне могут использоваться как инструмент для построения такой системы.

Как пример {ok, Value} | {error, Reason}

По факту это enum, но в эрланге приходится городить через атомы.

Так можно дойти и до хаскеля, но зачем

ну вот этого я у gleam не нашел, без ADT его типы могут только  гемороем быть

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

Или взять елексир, где протоколы и структуры в принципе все закрывают

Это всё про другое.

Мне тут нужно синхронно подождать некоторого условия, хочу в общем виде это реализовать типа: await(Fun, Timeout) где Fun должна вернуть значение или retry. Вопрос что лучше внутрь  этого await запихать? Есть вариант сделать spawn и в нем крутить функцию, а в вызывающем процессе ждать на  receive с таймаутом, можно также использовать локальный rpc:call или async_call, этот вариант мне нравится так как получается некий аналог future/promise, а может что то готовое есть или где подсмотреть?

В целом некий аналог task из elixir только попроще

а proc_lib:start/3/4 init_ack не?

Как вариант, спасибо

Надо поглядеть что там внутри

А у тебя разные процессы могут ждать одну переменную?

Нет

как раз то, что ты предлагаешь завелосипедить monitor|link+receive