DS
например?
Хотя бы про лямбда исчисление и его типизации прочитай, чтобы уж совсем не позорится
Size: a a a
2020 August 10
SP
Хотя бы про лямбда исчисление и его типизации прочитай, чтобы уж совсем не позорится
а лямда исчисление причем тут?
DS
а лямда исчисление причем тут?
Потому что первые теории типов для лямбда исчисления были до того, как вообще появились языки программирования в привычном нам смысле
SP
Потому что первые теории типов для лямбда исчисления были до того, как вообще появились языки программирования в привычном нам смысле
и что? причем тут программирование. ты опять говоришь о том что чтото просто имеет какието общие термины и поэтому относится, но это не так
SP
в каком месте это меня как программиста должно ебать например?
DS
и что? причем тут программирование. ты опять говоришь о том что чтото просто имеет какието общие термины и поэтому относится, но это не так
Лямбда исчисление напрямую относится к программированию, как одна из моделей для вычислений.
(L
Лямбда исчисление напрямую относится к программированию, как одна из моделей для вычислений.
Там параллельно царь в своем углу слюной брыжжет на тебя
Ct
Там параллельно царь в своем углу слюной брыжжет на тебя
Ничего нового
(L
Ничего нового
Впрочем, да
DS
в каком месте это меня как программиста должно ебать например?
Тебе надо позже по времени смотреть.
DS
Современные системы типов в плане термов обычно лямбда исчисление и используют.
DF
Теория типов Рассела вроде до типизации лямбда калюлуса появилась
DS
Dollar Føølish
Теория типов Рассела вроде до типизации лямбда калюлуса появилась
Да, но она древняя как чёрт и не особо удачная.
SP
Лямбда исчисление напрямую относится к программированию, как одна из моделей для вычислений.
ну ок одна из моделей вычислений. давай придумаем еще одну модель вычислений сбоку, абсолютно бредовую. причем тут программирование то?
DF
На ней доказываются вещи про программирование
p
Иногда было бы полезно явно указать то, что замыкается в замыкании
вот именно что ИНОГДА
DS
ну ок одна из моделей вычислений. давай придумаем еще одну модель вычислений сбоку, абсолютно бредовую. причем тут программирование то?
Притом, что чтобы доказывать факты о программах тебе нужны модели вычислимости.
DS
вот именно что ИНОГДА
Да, поэтому я хочу ОПЦИОНАЛЬНЫЙ, но удобный и краткий синтаксис для этого
SP
Притом, что чтобы доказывать факты о программах тебе нужны модели вычислимости.
так погоди. есть лямбда исчисление ок. пацаны сказали что мы можем просто редуцировать формулы, придумали себе лупы через рекурсию и заверте. но типы в языках программирование и теория типов как связаны?