Котаны, а можете показать пример, когда при нельзя создать opaque-структуру?
Например я делаю:

defmodule Z do
  defstruct name: nil
  @enforce_keys [:name]
  @opaque t() :: %__MODULE__{ name: String.t() }
end

%Z{name: "Vasya"} # создаётся

ЧЯДНТ?

что значит нельзя создать?

defmodule Z do
  defstruct name: nil
  @enforce_keys [:name]
  @opaque t() :: %__MODULE__{ name: String.t() }
end

%Z{name: "Vasya"} # создаётся

@opaque действует на уровне typespec-ов и документации. В коде тебе запретить создавать эту структуру никто не может помешать, к сожалению.

defmodule Z do
  defstruct name: nil
  @enforce_keys [:name]
  @opaque t() :: %__MODULE__{ name: String.t() }
end

%Z{name: "Vasya"} # создаётся

В эликсире проверка типов идёт параллельно с компиляцией

defmodule Z do
  defstruct name: nil
  @enforce_keys [:name]
  @opaque t() :: %__MODULE__{ name: String.t() }
end

%Z{name: "Vasya"} # создаётся

Нужно разделять стадии компиляции и _опционального_ тайпчекинга.
Все @type, @spec и друзья существуют, по сути, только для документации и проверки диалайзером.

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

Ну что, попал кто-нибудь в funbox?

а лотерея\конкурс были?

Ну, можно и так сказать. У них же там вакансия якобы для джунов с сентября висит.

мне кажется они вообще не особо закрывают

и да, точно знаю людей что попадали и работали

Именно по этой вакансии?

Я прост с весны за ними следил, и раньше они всегда требовали опыт

эта вакансия явно не для джунов. ни по деньгам, ни то тз, ни по опыту пытавшихся

просто опечатка в названии

Для джунов в эликсире

А не вообще в профессии

По-моему, в вакансии написано что elixir знать не обязательно

Хотя, если судить по уровню их опенсорсных либ...

А тестовое разве не на нем дают?

Ну вот это и странно