Мы начали обсуждать строгую типизацию и пошли получается от жса в сторону жавы, где мы явно описываем все типы для всего
Я сказал, что в рантайм эти наши типы не попадают, ибо это бесполезно
После началось и в итоге оказалось, что вы даже не про типы, которые мы создаем в процессе разработки, а под капотом
У типов данных