А
главное что возможно
в чем вопрос, то ?
можно ли все типизировать как Any?
да, можно, но какие гарантии вам тогда такая система типов даст ?
Size: a a a
2020 February 03
AH
Evgenii Moiseenko
вопрос был - “существует ли программа на безтиповом языке, невыразимая в типизированном языке”
как пример был вброшен
как пример был вброшен
\x -> x x, но я думаю что с индуктивными типами она выразитсяAK
по-моему этот пример отлично иллюстрирует разницу между математиками и инженерами. если есть corner case, который система типов не позволяет выразить, математик скажет "система не годится" и пойдет изобретать новую, а инженер использует any :)
YS
\x . x xв С++, например,
cout << typeid([](auto x){return x(x);}).name();
выводит
Z4mainEUlT_E_YS
ну если можно, то я бы посмотрел на тип
xвот, посмотрите ^
AH
\x . x xв С++, например,
cout << typeid([](auto x){return x(x);}).name();
выводит
Z4mainEUlT_E_занятно что плюсы это проглатывают изи)
EM
\x . x xв С++, например,
cout << typeid([](auto x){return x(x);}).name();
выводит
Z4mainEUlT_E_oh shit, here we go again
YS
занятно что плюсы это проглатывают изи)
там статическая утиная типизация + перегружаемая аппликация
AK
тайпскрипт тоже справляется вообще без напряга
YS
\x . x xв С++, например,
cout << typeid([](auto x){return x(x);}).name();
выводит
Z4mainEUlT_E_и вот так запустить можно
auto xx =
[](auto x) -> decltype(x(x)) { return x(x); };
struct F {
int operator() (auto _) { return 0; }
} f;
int main() {
cout << xx(f) << endl;
return 0;
}
g++ -fconcepts -std=c++17 a.cxx && ./a.outЗП
рекурсивные алиасы добавили недавно
AK
рекурсивные алиасы добавили недавно
да, но факт - это работает
AH
Это кстати похоже на индуктивный тип
ЗП
\x -> x x имеет даже комбинаторное название и это MOS
а почему её нельзя выразить в статически типизированном языке?
OS
Ну это в просто типизированном лямбда исчислении правда
OS
Не знаю, что в других системах типов
А
в других всё норм
OS
В каких, например?