ГК
Тогда туда у меня попадает один элемент со значениями по умолчанию, даже если в
data значения заполнены.Size: a a a
2021 April 06
D
а вот эта штука, например, есть инструмент проверки типов https://github.com/jeremyjh/dialyxir
AM
defstruct сам по себе не задает типы и даже не подсказывает их компилятору, насколько мне известно
DF
Эликсир и эрланг — это динамические языки. Не очень понятно что требуется в итоге, если не спека для диалайзера.
ГК
Правильно понимаю, что мой кейс будет чем-то таким?
@type sort() :: array(Sort.t())AM
думаю правильный ответ это не пытаться написать джаву на эликсире
DF
Только list()
D
да, я бы может написал даже [User.Model.Sort.t] или list(User.Model.Sort.t)
DF
[] — это список, не массив.
D
++
ГК
Требуется инструмент, который позволит при прокидывании структур из функции в функцию не запутаться с тем, какие поля где есть. Статический анализ, который умеет в типизацию массивов, тоже подойдёт.
DF
Тогда нужно писать тайпспеки и запускать диалайзер.
ГК
Понял, спасибо! А вот в таких случаях рекомендуется избавиться от
%UsersRequest{} и писать просто %{} = data или даже просто data?request = case (query |> UsersRequest.validate) do
{:error, _} -> raise "Error"
{:ok, %UsersRequest{} = data} -> data
endD
да, потому что объявлени полей структуры со значением по умолчанию не является объявлением типа
DF
%UsersRequest{} — это матчинг на стракт%{} — это матчинг на мэп.
Стракт — это мэп. Мэп — это не обязательно стракт.
D
я бы писал с более строгим мэтчингом
%UsersRequest{}ع
+++ 👍
ГК
Если потребуется из
%UsersRequest{} достать список sort, а потом прогнать мэтчинг его элементов на стракт %Sort{}, то как тогда это делается? Или в элексире так не принято, и мне нужно это заворачивать в статический анализ?DF
Тут пригодится Enum.all, если я правильно помню.
DF
Бежит по списку и дергает предикат.