IB
Типа ты хочешь понять как работает лямбда куб и где там находится хаскель? Или ты хочешь понять как работает исчисление предикатов и поиграться с теорем пруверами?
Size: a a a
2021 December 06
IB
Просто фп довольно просто представляется как 2 программы одна на типах для проверки коректности, другая для байтиков
P
Я в растерянности, что и ответить. Пока я просто хочу понять что вообще к чему, а чтобы начать понимать с какого-то конца да надо зайти
P
и я увидел, что фп основано на лямбда-исчислении, значит первым логичным шагом будет понять его суть
I
прочитав то, что пишет @Zlonast я ничего не понял
как-то уже про другие темы начали говорить
как-то уже про другие темы начали говорить
I
I
там даже есть упражения, где пишут какие-то осознанные в применении функции
P
Я мельком посмотрел, написано довольно неплохо, спасибо
P
Это кстати круто, так как везде нахожу задачи, а решения этих задач нет.
I
сам по ней учился
по своему опыту скажу, что особо нигде это не пригодилось
и такую теорию давали перед изучением LISP, чтобы от канонов перейти к чему-то более менее боевому
по своему опыту скажу, что особо нигде это не пригодилось
и такую теорию давали перед изучением LISP, чтобы от канонов перейти к чему-то более менее боевому
P
А это только одна методичка или есть ещё какие-то?
I
возможно даже полезно будет прочитать, что там в водной лекции
I
да где-то еще могут быть
но на ВМК кафедре учат по этой изначально
но на ВМК кафедре учат по этой изначально
И
еще можешь вот тут глянуть - https://ulearn.me/course/fpintroduction/Motivatsiya_9339fb06-c9b4-48d0-bb84-d04bc76b46d0
[
Я увидел, что программирование основано на процессорах, значит первым логичном шагом будет понять суть электротехники и вычисление напряжений методом ветвей цепей.
[
сорри за сарказм, но связь между ли и хаскелем лишь чуть больше, чем между электричеством и ассемблером
P
Да норм.
А есть ли большая разница между языками функциональными, то есть с какого правильнее всего будет начать, если вообще существует само понятие "правильности"?
Я допустим видел, что есть хаскель, лисп, в скале функциональщина тоже есть
А есть ли большая разница между языками функциональными, то есть с какого правильнее всего будет начать, если вообще существует само понятие "правильности"?
Я допустим видел, что есть хаскель, лисп, в скале функциональщина тоже есть
P
А то страх есть, что вдруг есть дорога по которой лучше не ступать, чтобы потом себе понимание не искорёжить
I
Не соглашусь
Все таки связь между Хаскелем и ЛИ, как между сыном и его прапрапрапрадедом соответсвенно
Все таки связь между Хаскелем и ЛИ, как между сыном и его прапрапрапрадедом соответсвенно