AK
init : ( String, CruiseSail ) -> Dict String CruiseSail -> CruiseSails
init selectedCruiseSail dict =
CruiseSails
{ selected = selectedCruiseSail
, dict =
Dict.remove
(Tuple.first selectedCruiseSail)
dict
}
Size: a a a
2019 June 27
AK
type CruiseSails
= CruiseSails
{ selected : ( String, CruiseSail )
, dict : Dict String CruiseSail
}
AP
Не настолько и "в другую строну". Заменить в моём тексте "вхождение" на "не вхождение" и будет оно :)
AK
то что тут Dict это не сильно важно
AK
так и есть
AP
Приведённый тип — unsafe
AK
ладно, я в целом понял
AP
отследить все места, где он конструироуется, сложно. И делать это нужно руками, потому что компилер не поможет
AK
я бы очень хотел запилить безопас тип
AP
Заметьте, я не говорю, что smart constructors — плохой подход :) Он полезный. Но только когда иначе никак
AK
но в нашем случае, очень круто, что скрытый конструктор спасает нас от 5-6 невозможных состояний
AK
подход предельно прост, и отследить его очень легко. Скрытый конструктор/ init/add/remove функция
AK
AK
есть более умные варианты
AK
когда тип type
type alias = One payload | Two otherPayload | Three ...
AP
Да как минимум в том же модуле, где объявлен тип и написаны эти самые функции для модификайции, можно ошибиться.
AK
Да как минимум в том же модуле, где объявлен тип и написаны эти самые функции для модификайции, можно ошибиться.
согласен, но на данный момент, это самое умное что мы придумали
AP
Проблема в том, что в Elm нельзя свои типы в качестве ключей словаря использовать...
AK
даааа, это проблема