Oℕ
монада это типа минутка императивности?
Size: a a a
2020 October 17
N
так что это тогда?!
я вот перестал понимать (и видимо никогда не понимал) что такое вообще императивное программирование.
и правда, что это такое?
a
и правда, что это такое?
Когда приказываешь
AT
так что это тогда?!
это конструктор типа, для которого определен инстанс тайпкласса Монада 🤷♂️
AT
и правда, что это такое?
это написание пошаговых инструкций компьютеру
а ФП это что такое? это просто когда язык относительно легко можно описать денатоционной семантикой?
это написание пошаговых инструкций компьютеру
но я могу и о программировании на хаскеле так думать, если смотреть на него с точки зрения его операционной семантики
AT
но я могу и о программировании на хаскеле так думать, если смотреть на него с точки зрения его операционной семантики
думать ты можешь о чем угодно
KV
а ФП это что такое? это просто когда язык относительно легко можно описать денатоционной семантикой?
Приблизительно, но так-то конечно называют кто во что горазд
KV
но я могу и о программировании на хаскеле так думать, если смотреть на него с точки зрения его операционной семантики
Хаскель — лучший императивный язык
думать ты можешь о чем угодно
ну а что такое "написание пошаговых инструкций компьютеру"? звучит как ассемблер, но есть и более высокоуровневые языки, которые тоже считаются императивными
O
если принять, что машина тьюринга - ИП, лямбда исчисление и комбинаторная логика - ФП, и смотреть, насколько какой язык близок к чему, то получается, что современные языки в подавляющем большинстве примерно 50/50 ИП/ФП?
AT
ну а что такое "написание пошаговых инструкций компьютеру"? звучит как ассемблер, но есть и более высокоуровневые языки, которые тоже считаются императивными
и в которых тоже описываются пошаговые инструкции, просто на более высоком уровне.
YR
и правда, что это такое?
Хаскель - классическое императивное программирование в функциональном стиле. Бывает в процедурном. Бывает в объектно-ориентированном. Структурном. И т.д.
и в которых тоже описываются пошаговые инструкции, просто на более высоком уровне.
а вот это уже частная интерпретация.
"думать ты можешь о чем угодно" == интерпретировать явление можешь по-разному
"думать ты можешь о чем угодно" == интерпретировать явление можешь по-разному
AT
а вот это уже частная интерпретация.
"думать ты можешь о чем угодно" == интерпретировать явление можешь по-разному
"думать ты можешь о чем угодно" == интерпретировать явление можешь по-разному
верно
в явном виде инструкций компьютеру в высокоуровневых языках уже нет, мы это себе додумываем
к
очень люблю этот чат, вы все умные и классные, особенно кана
мне не нравится это сообщение