RB
Kir
Да ну их, там вывода типов нет.
TypeScript
Size: a a a
2020 February 18
А
Kir
Да ну их, там вывода типов нет.
Ну вообще-то есть.
p
язык вообще дело второе в моем случае, так как никаких сильных возможностей для абстракции не предосматривается.
K
TypeScript
Я на него смотрел. Ребята постарались - оно даже ужаснее жаваскрипта.
RB
Kir
Я на него смотрел. Ребята постарались - оно даже ужаснее жаваскрипта.
лол
p
мда опять языкосрач
K
Ну а какие ещё достойные системы типов с выводом типов-то есть? Интерес не праздный, я б попробовал
K
К своему скриптоязыку прикрутить
FO
Kir
Ну а какие ещё достойные системы типов с выводом типов-то есть? Интерес не праздный, я б попробовал
Вы просто не пробовали отличить float от double :D
А
Kir
Ну а какие ещё достойные системы типов с выводом типов-то есть? Интерес не праздный, я б попробовал
смотря что считать достойным
А
и смотря насколько мощный вывод типов нужен
RB
Kir
Ну а какие ещё достойные системы типов с выводом типов-то есть? Интерес не праздный, я б попробовал
K
1) имеет теоретическое обоснование
2) (почти) нет сабтайпинга
3) способно вывести все типы 1 ранга
2) (почти) нет сабтайпинга
3) способно вывести все типы 1 ранга
А
мда
K
Не, типы плюсов - это не тот уровень.
RB
Kir
Не, типы плюсов - это не тот уровень.
clojure
А
Если долго кодить на хаскеле, то может показаться, что кроме Х-М систем типов ничего нет. Но это не так.
я был прав в итоге
K
Хорошо. В каких системах типов есть хотя бы полный вывод типов 1 ранга?
K
Ну, или алгоритмах?
K
clojure
Насколько я знаю, все языки семейства ML (ocaml, haskell, etc) базируются на HM или System F.
В кложе она ж не статическая, разве нет?
В кложе она ж не статическая, разве нет?