AT
Для описания алгоритмов? Тогда почему для всех алгоритмов доказывается, что они завершаются? 😉
Size: a a a
2021 June 02
RN
Громкое заявление
AT
ОК, с этим соглашусь — у меня сложилось такое же ощущение. Но, может, это и не так. 🤷♀️
RN
Свой веб магазинчик запрувишь?!
RN
Я первый подход лет 8 назад делал - и все таким же грустным и осталось
AT
В смысле? Примерно в каждом первом учебнике по алгоритмам. 🤷♀️
RN
Ага только на каждый из них убито x магчеловеколет
AT
А какое отношение магазин имеет к алгоритмам? 😂
RN
Ну подумай
RN
Или только сортировка для тебя алгоритм?
AT
А я подумал. И пришёл к умозаключению. 😊
AT
Ну, любопытно взглянуть, как Вы формализуете взаимодествие хотя бы с БД и засунете это в определение алгоритма (машины Тьюринга). 😉
RN
Так я и не хочу этого
RN
Яж clojure dynamic guy
AT
Напрашивается вывод: проще написать на тотальном языке — не придётся доказывать завершимость. 😉
AT
Не хотите дотупа к БД из магазина??! 😱
RN
Не хочу что либо доказывать
RN
Главное чтоб работало
RN
И глаза не вытекали с одной стороны, а мозг не кипел с другой
AT
Да ладно! Давайте пойдём дальше: главное — чтобы зарплату платили. 😂