𝚙
ноука это эпистемологический метод по сути
Size: a a a
2020 May 22
𝚙
матаппарат это какой-то ограниченный язык для решения задачи
𝚙
та ну глупости какие-то
𝚙
всегда найдется уровень анализа, на котором тебе придется думать в научных категориях
𝚙
типа как в машинном обучении мы регулярно обращаемся к статистике
𝚙
хотя можно думать в автоэнкодерах/трансформаторах
DS
Погромировать - не наука. Это умение выражать алгоритмы. Вот то, что пытаешься написать - сам матаппарат задачи, вот это может быть наукой.
Ну на агде или коке - программирование - это и есть напрямую доказательство теорем.
Это же верно в той или иной степени для всех статически типизированных языков.
Это же верно в той или иной степени для всех статически типизированных языков.
𝚙
угу
𝚙
например вот поиск версий для зависимостей
𝚙
это NP-полная задача, ее решают через 3SAT уравнения
𝚙
удачи тебе закодить такую вещь, не обращаясь к “научному” дискурсу
𝚙
поэтому говорить что программирование это не наука это несколько невежественно
DS
Погромировать - не наука. Это умение выражать алгоритмы. Вот то, что пытаешься написать - сам матаппарат задачи, вот это может быть наукой.
Т.е. условно, функция типа:
Это утверждение о том, что имея терм типа Order ты можешь из него получить терм типа Maybe Contact.
Доказательством этого утверждения будет собственно реализованная и тайпчекнутое тело фукнции.
getOrderContact :: Order -> Maybe Contact
Это утверждение о том, что имея терм типа Order ты можешь из него получить терм типа Maybe Contact.
Доказательством этого утверждения будет собственно реализованная и тайпчекнутое тело фукнции.
s
удачи тебе закодить такую вещь, не обращаясь к “научному” дискурсу
Математический аппарат задачи разработать != программировать.
Вам, например, этот аппарат мог математик в виде блок-схемы нарисовать, а вы только описали это на формальном языке, вообще не понимая что именно происходит в этой схеме
Вам, например, этот аппарат мог математик в виде блок-схемы нарисовать, а вы только описали это на формальном языке, вообще не понимая что именно происходит в этой схеме
s
Потом это протестировали, приняли и вуаля. Вы написали рабочий код.
SP
Т.е. условно, функция типа:
Это утверждение о том, что имея терм типа Order ты можешь из него получить терм типа Maybe Contact.
Доказательством этого утверждения будет собственно реализованная и тайпчекнутое тело фукнции.
getOrderContact :: Order -> Maybe Contact
Это утверждение о том, что имея терм типа Order ты можешь из него получить терм типа Maybe Contact.
Доказательством этого утверждения будет собственно реализованная и тайпчекнутое тело фукнции.
а теперь про множества и лямбда исчисление
𝚙
Математический аппарат задачи разработать != программировать.
Вам, например, этот аппарат мог математик в виде блок-схемы нарисовать, а вы только описали это на формальном языке, вообще не понимая что именно происходит в этой схеме
Вам, например, этот аппарат мог математик в виде блок-схемы нарисовать, а вы только описали это на формальном языке, вообще не понимая что именно происходит в этой схеме
ну так ты просто тривиализировал работу программиста
𝚙
я никогда не использую код, который я не понимаю
𝚙
это вредно для здоровья
p
Математический аппарат задачи разработать != программировать.
Вам, например, этот аппарат мог математик в виде блок-схемы нарисовать, а вы только описали это на формальном языке, вообще не понимая что именно происходит в этой схеме
Вам, например, этот аппарат мог математик в виде блок-схемы нарисовать, а вы только описали это на формальном языке, вообще не понимая что именно происходит в этой схеме
только такого нет нигде