Здравствуйте, ·, Вы писали:

P>>Еще как позволяют. Привел же пример и ты его видел.
·>В твоём примере ты нарочно отключил проверку типов, и компилятор тебе об этом сообщит. Вот ведь действительно удивительно, что если отключить проверку типов, то проверка типов отключается! Кто бы мог подумать!

Я ничего не отключал, разуй глаза.

P>> Собственно о том и речь — все языки кроме какого Хаскеля позволяют легко проткнуть систему типов, без особых заморочек.
·>И хаскель ты не знаешь: https://hackage.haskell.org/package/base-4.8.0.0/docs/Unsafe-Coerce.html

Читаем вместе "без особых заморочек". Зачем ты приводишь как пример unsafe?

·>Суть ты всё ещё не понял что-ли? Суть не в том, что систему типов можно проткнуть, а в том, что если её не протыкать специальным явным образом, то она не должна быть дырявой.

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

Здравствуйте, ·, Вы писали:

P>>Еще как позволяют. Привел же пример и ты его видел.
·>В твоём примере ты нарочно отключил проверку типов, и компилятор тебе об этом сообщит. Вот ведь действительно удивительно, что если отключить проверку типов, то проверка типов отключается! Кто бы мог подумать!

Я ничего не отключал, разуй глаза.

P>> Собственно о том и речь — все языки кроме какого Хаскеля позволяют легко проткнуть систему типов, без особых заморочек.
·>И хаскель ты не знаешь: https://hackage.haskell.org/package/base-4.8.0.0/docs/Unsafe-Coerce.html

Читаем вместе "без особых заморочек". Зачем ты приводишь как пример unsafe? Эдак у тебя все язык станут плохими.

·>Суть ты всё ещё не понял что-ли? Суть не в том, что систему типов можно проткнуть, а в том, что если её не протыкать специальным явным образом, то она не должна быть дырявой.

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