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