Подскажите кто-нибудь пожалуйста на 45:03 откуда-то вдруг появляются функции, которые передаются в комбинатор С. Но ведь в определении не было никаких функций, только переменные, аппликация и абстракция. Что здесь понимается под функцией?
может кто посоветовать книжки/курсы, чтобы разобраться в этих лямбда-исчислениях?) В универе такой математики не помню, да и в любом случае много лет назад закончил его и мало что помню( Уже раз 5й пересматриваю и не могу понять о чем идёт речь с этими математическими обозначениями
погугли ассоциативность и гомотопию в математике и всем, что связано с ними, а также про категории и функторы, - там объяснена связь функции и аргумента, а еще можно почитать книжку Дениса Шевченко "О Haskell по-человечески"
@DiskordStyle этот курс еще не смотрел, но от этого лектора (Москвин Д.Н.) есть бесплатный курс по Хаскелю на степике, полагаю они не могут не пересекаться
На главный вопрос зачем всё делать через задний проход... не нужно это.. это стремление всё усложнить на ровном месте Компьютер он императивный на низовом уровне
какой же крутой мужик. успехов
Спасибо ... простихоспаде.
Легендарное возвращение
Отпуск провален, вместо скайрима теперь смотрю лекции
В отпуске не дали скучать, очень интересно.
Не уверен, что буду вычислитель реализовывать, но идея интересная :)
Подскажите кто-нибудь пожалуйста на 45:03 откуда-то вдруг появляются функции, которые передаются в комбинатор С. Но ведь в определении не было никаких функций, только переменные, аппликация и абстракция. Что здесь понимается под функцией?
может кто посоветовать книжки/курсы, чтобы разобраться в этих лямбда-исчислениях?) В универе такой математики не помню, да и в любом случае много лет назад закончил его и мало что помню( Уже раз 5й пересматриваю и не могу понять о чем идёт речь с этими математическими обозначениями
погугли ассоциативность и гомотопию в математике и всем, что связано с ними, а также про категории и функторы, - там объяснена связь функции и аргумента, а еще можно почитать книжку Дениса Шевченко "О Haskell по-человечески"
А семинаров нет?
@DiskordStyle так выкладывали ж
@DiskordStyle так на сайте прилагались зум-ссылки и закрытые плей-листы
@DiskordStyle ой, это было давно, я не помню. Подожди поищу
@DiskordStyle cs club только , там по функпроге семинары
@DiskordStyle этот курс еще не смотрел, но от этого лектора (Москвин Д.Н.) есть бесплатный курс по Хаскелю на степике, полагаю они не могут не пересекаться
На главный вопрос зачем всё делать через задний проход...
не нужно это.. это стремление всё усложнить на ровном месте
Компьютер он императивный на низовом уровне
Лучше бы просто показали как устроена лямбда на императивном языке. Потом только для математиков уже на их языке)