DS
понятно, спасибо. первую глазами пробежался, показалась слишком сложной
Ну она буквально для математиков
Size: a a a
2020 April 21
DS
Требует нехилой мат эрудиции
SP
Как и системы типов, собственно, прям 19 век, 19м веком
ну вот потому то это все так слабо относится к реальному кодингу
DS
ну вот потому то это все так слабо относится к реальному кодингу
Это была ирония, если что
DS
Системы типов - это очень новая ветвь математики
DS
Считай нормально развилась только в 70х годах 20го века
p
Слшуайте, а TAPL вообще читать стоит?
Это кто
DS
Как и теория вычислимости с лямбда исчислением и ко - это 30е годы
DS
Это кто
Types and programming languages
SP
Считай нормально развилась только в 70х годах 20го века
но лямбда исчисление это 1930s да. до компьютеров, когда люди не понимали вообще что могут компьютеры. щас это кажется совершенно какой то искусственной вещью
DS
но лямбда исчисление это 1930s да. до компьютеров, когда люди не понимали вообще что могут компьютеры. щас это кажется совершенно какой то искусственной вещью
Ага, ещё скажи, что и машина Тьюринга искуственная вещь, Нормальные Алгоритмы Маркова и т.п.
Прям настолько искуственные, лол.
Прям настолько искуственные, лол.
p
Ага, ещё скажи, что и машина Тьюринга искуственная вещь, Нормальные Алгоритмы Маркова и т.п.
Прям настолько искуственные, лол.
Прям настолько искуственные, лол.
Да
DS
но лямбда исчисление это 1930s да. до компьютеров, когда люди не понимали вообще что могут компьютеры. щас это кажется совершенно какой то искусственной вещью
И да, лямбда исчисление может всё, что могут компьютеры
p
К современному верстанию сайтов не имеет отношения☺️
SP
Ага, ещё скажи, что и машина Тьюринга искуственная вещь, Нормальные Алгоритмы Маркова и т.п.
Прям настолько искуственные, лол.
Прям настолько искуственные, лол.
во первых я этого не говорю. во вторых машина тьюринга нужна для пруфов вычислимости и тд. компьютер это просто оператива и врум врум над ней. если бы машины тьюринга не было коиьютеры бы ничего не потеряли - так же бы считали на них, так же бы ктото догадался бы выносить инструкции в макросы и функции и заверте
DS
во первых я этого не говорю. во вторых машина тьюринга нужна для пруфов вычислимости и тд. компьютер это просто оператива и врум врум над ней. если бы машины тьюринга не было коиьютеры бы ничего не потеряли - так же бы считали на них, так же бы ктото догадался бы выносить инструкции в макросы и функции и заверте
Точно так же и лямбда исчисление нужно для тех же самых пруфов вычислимости. Это эквивалентные формулировки же
DS
Причем у лямбда исчисления есть большой плюс в том, что эта очень краткая, при этом достаточно удобная формулировка.
SP
да, только потом мы читаем тапл который дает ответы на несуществующие вопросы
DS
да, только потом мы читаем тапл который дает ответы на несуществующие вопросы
Он даёт ответы на вопросы - как написать свой тайпчекер, как описать свою систему типов, как обычно они проектируются и т.д.
SP
эмм совершенно не дает