AZ
Dollar Føølish
Ну што питононенавистники
а cpython на каком япе написан не подскажешь?
Size: a a a
2020 February 03
SP
я ничего не понял
SP
что значит этот очевидный и простой синтаксис?
SP
вернуть отрицание функции вызванной с аргументом себя?
DF
Ну в питоне эта хуета не заведется
SP
а где заведётся?
DF
Нужен тру бестиповый язык
DF
Форт наверн
SP
она как бы не сильно имеет смысл
DF
а cpython на каком япе написан не подскажешь?
На бестиповом кек
DF
Сишка же
SP
я как то совершенно не понимаю аргументы за типы направленные на динамиков
DF
Я не за динамику
DF
Просто выше говорили что я не прав и любую бестиповую программу можно выразить
AZ
Dollar Føølish
выше был пример,
\ x -> ! (x x)
\ x -> ! (x x)
Prelude> foo x = not (x x)
<interactive>:3:16: error:
* Occurs check: cannot construct the infinite type: t ~ t -> Bool
* In the first argument of `x', namely `x'
In the first argument of `not', namely `(x x)'
In the expression: not (x x)
* Relevant bindings include
x :: t -> Bool (bound at <interactive>:3:5)
foo :: (t -> Bool) -> Bool (bound at <interactive>:3:1)AZ
дело не в невыразимости, просто эта запись не имеет смысла
DF
Имеет
DF
В бестиповом
DF
Это из парадокса клини россера
AZ
все еще не уверен что тут вопрос в бестиповости