А
типа экзистенциальных типов
Size: a a a
2020 February 03
А
тогда норм будет
AH
тогда надо заюзать Dynamic или что-то такое
вопрос был про Static Typing 😄
AH
понятно что в динамике это выражается изи
А
вопрос был про Static Typing 😄
с типом Any
А
так что не особо Static
SM
это скорее ограничение хаскелля а не статияеского типизирования, я потом на других ЯП попробую
EM
это скорее ограничение хаскелля а не статияеского типизирования, я потом на других ЯП попробую
успехов
AH
с типом Any
но Any это неизвестность, которую надо в статическом языке привести через патерн матчинг к нужному типу чтобы использовать
EM
(x x) думаю нигде не протайпчекается
А
но Any это неизвестность, которую надо в статическом языке привести через патерн матчинг к нужному типу чтобы использовать
ну да
AH
Evgenii Moiseenko
(x x) думаю нигде не протайпчекается
индуктивные типы могут выручить
А
а никто не запрещал такое вроде
AH
но я мимокрокодил
А
никто ж не ставил условие что один в один должен код переноситься
AH
а никто не запрещал такое вроде
но это чит, т.к. это по сути динамика
Any -> Any или что-то типа тогоА
но это чит, т.к. это по сути динамика
Any -> Any или что-то типа тогону да
EM
в чем вопрос, то ?
можно ли все типизировать как Any?
да, можно, но какие гарантии вам тогда такая система типов даст ?
можно ли все типизировать как Any?
да, можно, но какие гарантии вам тогда такая система типов даст ?
EM
алгоритм кстати тривиальный: \ _ -> Any
EM
вот и вся типизация