((
если вселенная это функция от времени) значит она чистая и это ФП)
Size: a a a
2021 April 07
DF
Вселенная — это функция от времени, а ты — демон Лапласа.
Е
Мы не знаем, что такое Вселенная. Функция по времени - это абстракция придуманная человеком, неплохо подходящая для решений наших прикладных императивных нужд, главная из которых - предсказание будущего.
((
ну тогда и не императивная, ведь это мы тоже придумали
Е
Течение времени не мы придумали, оно просто есть. Функция по времени не предполагает какого-то вектора направления течения времени.
((
а физика предполагает? на сколько я знаю то там только энтропия растёт
DI
Чем вы упоролись?
Е
Еще как предполагает. Рост энтропии - следствие этой направленности,
((
не вижу проблем это сделать функцией)
Е
Весьма интересная, правда философская тема. :) Докапывание до фундаментальных корней мироздания. 😂
((
короче
((
работать пора)
Е
Можно, но это еще более высокий уровень абстракции. Еще дальше от нашего привычного уровня мышления.
DI
Тут не докопаешься, тут только фантазии. Хоть и интересные
DR
Никто не сталкивался такой проблемой c dializer-ом? Ставит в тупик:
Есть код
С dializer-ом проходит без ошибок.
Есть код
def call(conn, {:error, :unauthorized}) do
reason = "You supplied incorrect credentials or are not authorized to perform this action."
conn
|> put_status(:unauthorized)
|> put_view(ErrorView)
|> render("generic_error.json", reason: reason, code: "401", kind: "unauthorized")
end
С dializer-ом проходит без ошибок.
Е
Факт, голая философия и абстракции. Бесполезно, но занимательно. Иногда :)
DR
Добавляется:
def call(conn, {:error, :unauthorized}) do
prefix = get_render_prefix(conn)
reason = "You supplied incorrect credentials or are not authorized to perform this action."
conn
|> put_status(:unauthorized)
|> put_view(ErrorView)
|> render(prefix <> "generic_error.json", reason: reason, code: "401", kind: "unauthorized")
end
def call(conn, {:error, :unauthorized}) do
prefix = get_render_prefix(conn)
reason = "You supplied incorrect credentials or are not authorized to perform this action."
conn
|> put_status(:unauthorized)
|> put_view(ErrorView)
|> render(prefix <> "generic_error.json", reason: reason, code: "401", kind: "unauthorized")
end
DR
fallback_controller.ex:22:call
The function call will not succeed.
Plug.Conn.put_status(_conn :: atom() | %{:assigns => Keyword.t(), _ => _}, :unauthorized)
breaks the contract
(t(), status()) :: t()
The function call will not succeed.
Plug.Conn.put_status(_conn :: atom() | %{:assigns => Keyword.t(), _ => _}, :unauthorized)
breaks the contract
(t(), status()) :: t()
DR
И dializer начинает нести такую странную пургу, на месте, которое вообще изменением кода не заделось. WTF
DR
Ситуация из тех, когда хочется просто снести dialyzer и выкинуть его из проекта. (те, кто его втащили - ушли, а страдают теперь все понемногу)