в случае хаскеля я считаю нельзя сказать что он сугубо статически типизированный по духу. В том смысле, что хоть в нем однозначно есть типы, и они однозначно проверяются статически, на нем можно писать (и пишут) динамически некоторые вещи, в том смысле, что не все инварианты кодируют в типах, и многие инварианты остаются в коде просто идейно, и можно легко пропускать такие вещи

Без завтипов и проверки на тотальность это все только промежуточная стадия

То есть тут я определяю "статически типизированный подход" как подход, где вообще все инварианты закодированы в типах и проверяются статично. Это локальное определение должно убрать споры о том, какое правильно, просто считайте что все сообщение в контексте этого определения

чтобы достраивать систему в рантайме. см. sh

сила/слабость

вопрос, приведение дочернего класса к базовому в подтипировании это же слабая типизация, не так ли?

нет, это полиморфизм

ну, это приведение типов

тут не ясно, имеется в виду "есть типизация, и она слабая" или "есть приведение 'типов'"?

если А подтип Б, то само собой разумеется, что любой элемент А является элементом Б

в первом случае вроде как с этим проблем быть не должно, это что-то вроде имплиситов, и зачастую они явно в коде определяются. Во втором случае это может вызывать проблемы, но я не считаю что они существенные, но это опять же только из моего опыта

weak типизация, когда 2 + "2" будет "22". Т.е. приведение

Все еще слишком неформально

По определению язык с слабой типизацией это язык с слабой системой типов. Вот в жс слабая типизация? Если да, то это то же самое что сказать "в жс есть система типов"

в жс типы-то есть

хорошо, я знаю ряд людей, которые с этим несогласны, но при этом говорят что жс слаботипизирован

язык без типов — это что-то вроде форча

тут опять же, есть разногласия по поводу того что считать типами

в тапл вроде как типы определяются как что-то чисто статическое, известное только компилятору, а в рантайм проецируются только теги, не типы

и в жс такого нет, по этой классификации есть теги

можно сказать что слабая типзация это когда есть слабая система типов или слабая система тегов

Кажется, опросы нужно делать на 2 типа — для тех, кто читал TAPL, и для тех, кто не читал)

имплиситные коерсии типов есть в хаскеле кстати