PP
У функции 1 множество значений - {1}
у функций экспоненциальный тип
Size: a a a
2020 May 22
AG
тип это выражение заёбанности сигнатурками функций о которых ты знаешь что они принимают инты но это никак не выражено в их определении
Что написал, сам-то понял?
p
у функций экспоненциальный тип
?
p
раскрой мысль
𝚙
вот хороший относительно современный взгляд на проблему
𝚙
In each contradiction something is said about all cases of some kind, and from what is said a new case seems to be generated, which both is and is not of the same kind as the case of which all were concerned in what was said.
p
у функции 1 один возможный вариант значений
DS
нет ну она реально некорректна
После Рассела там столько всего произошло, что на его теорию типов ссылаться немного не корректно.
Современные теории типов работают всё же по другому.
Современные теории типов работают всё же по другому.
𝚙
После Рассела там столько всего произошло, что на его теорию типов ссылаться немного не корректно.
Современные теории типов работают всё же по другому.
Современные теории типов работают всё же по другому.
а в чем принципиальные отличия?
p
любое значение это функция которая возвращает одно значение
PP
любое значение это функция которая возвращает одно значение
дефайн что такое функция
PP
тогда и поговорим
𝚙
мне чето кажется, что критерии Витгенштейна применимы для произволной теории типов, даже для поделок из 80-х
𝚙
дефайн что такое функция
😄
SP
Простой разговор о двух технологиях. В одной есть механизм компайлтайм *некоторой проверки некоторых свойств* входных данных, в другой нет.
как на это реагируют кодерки: кококо теория типов Витгенштейн доказал, кококо мощность типа теория множеств кококо лямбда исчисление.
как на это реагируют кодерки: кококо теория типов Витгенштейн доказал, кококо мощность типа теория множеств кококо лямбда исчисление.
r
дефайн что такое функция
Это как разговор о геометрии начинать с "дефайн что такое точка, тогда и поговорим"
𝚙
я ссылаюсь на Рассела просто пушо Витя критиковал Рассела, но вообще вот Давант говорит, что “I will argue that the criticisms would apply to any theory of types, given the metaphysics and the theory of logic in the Tractatus.”
PP
red75prime
Это как разговор о геометрии начинать с "дефайн что такое точка, тогда и поговорим"
нет, не тоже самое