I fear I am missing a few things, but after thinking about the dependencies that structs generate, both in typespecs and in function definition, it looks to me like: structs in function definitions should introduce a runtime dependency instead of an export dependency structs in typespecs should no…

[image] marcandre: defmodule A do @spec foo(%B{}) :: %C{} def foo(%B{example: x}) do %C{example: x * 2} end end The answer is in what the code expands to. %B{} in typespecs has to expand to %{__struct__: B, field1: term(), field2: term(), example: ...}, etc. Therefore, adding or rem…

Thanks for the reply, very clear. Ah, so for function body, we need to expand all fields purposes for performance reasons, i.e. %{__struct__: B, field1: term(), field2: term(), example: ...} is faster than C.__struct__(example: x * 2), right? Only unanswered question is why typespecs function refe…

Elixir Programming Language Forum

Seeking clarification of dependencies of structs in definitions / typespecs

Questions & Help Questions

josevalim October 21, 2023, 2:56pm 4

Correct and correct.