p
Пробуй объяснять более простым но все ещё формальным языком
Size: a a a
2020 October 29
b
не нужно сопротивляться этому
b
новый дивный мир
b
Ещё понимаешь, ты вот тут затираешь про разные умные штуки, а у меня рядом одногруппники не смогут сказать что такое переменная
и правильно что не понимают переменную. я не понимаю нахуя им говорить о переменных, если они могут напрямую говорить о вещах, которые эти переменные представляют
b
то есть ты говоришь что я толкаю заумную вещь. это только заумная вещь в той изначально заумной хуйне, которую я пытаюсь искоренить
b
в программировании
b
если ты посмотришь с другой стороны то это хурма и пряники. намного проще, чем ебаные типы и переменные
H
и правильно что не понимают переменную. я не понимаю нахуя им говорить о переменных, если они могут напрямую говорить о вещах, которые эти переменные представляют
декларативность типа?
r
red75prime
Формально можно доказать, что имея конструктивное доказательство существования решения можно получить программу, решающую задачу.
А для того, чтобы формально доказать, что имея набор слов можно построить программу, реализующую то, что подразумевалось этим набором слов, нужно сначала формализовать естественный язык, здравый смысл, семантику языков программирования и "и так сойдёт".
b
декларативность типа?
ну конечно декларативность
b
есть грубо говоря общая пропозициональная форма “Дела обстоят так–то так–то.”
b
если ты хочешь чтобы твой текст без искажений отражал суть дел, то он должен максимально близко быть похожим на последовательность таких высказываний (пропозиций)
b
камон, это матчасть такое знать надо. есть эквивалент между тем как мы пишем код, читаем историю и думаем о системах в системном анализе. то есть это все абсолютно одни и те же языковые инструменты
b
когда мне говорят “Программирование - это не парафраз и не перевод” без обид red75prime то это смешно, если честно. потому что фундаментально вся работа программиста и заключается в этих двух вещах + наборе знаний + системе вознаграждений
tr
тучка, кстати, я щас поофтоплю и перебью но сорие, ты чекал element(riot.im)? его перелопатили всего(и мобильное и десктоп приложение)
b
да я им пользуюсь
b
сделали ребрендинг а что? ничего же не поменялось
p
если ты посмотришь с другой стороны то это хурма и пряники. намного проще, чем ебаные типы и переменные
Хз
tr
да я им пользуюсь
ахуенная штука, просто пиздец