История изменений

По моей информации с зависимыми типами на практике все как раз далеко не отлично. Более конкретно - нахуй они не нужны в том виде, в котором существуют на данный момент

Не знаю о чем вы говорите. Работает почти всегда. Кроме тех случаев когда тип действительно неизвестен. Ведь главное не дрочить на типы и упарываться что из в сферическом случае в вакууме нельзя нормально разрулить. Суть в том что код работает, все хорошо, почти все отлично разруливается и все счастливы.

Или ты предлагаешь разрешить апкасты? Ну такая «система типов» дает ровно столько же гарантий, как и динамика, так нахуя оно тогда нужно? Тем более лучше уж твердо знать, что никаких гарантий нет, чем верить в то, что они «почти есть».

Прости, но это как раз то типодрочерство о котором я говорил. Никогда нет гарантий. И это не повод пить водку и пыхкодить

так нахуя оно тогда нужно?

Потом что прекрасно работает на практике без типозадротов. Берешь апкаст с паттерн матчингом с принудительной проверкой всех вариантов и все хорошо

По моей информации с зависимыми типами на практике все как раз далеко не отлично. Более конкретно - нахуй они не нужны в том виде, в котором существуют на данный момент

Не знаю о чем вы говорите. Работает почти всегда. Кроме тех случаев когда тип действительно неизвестен. Ведь главное не дрочить на типы и упарываться что из в сферическом случае в вакууме нельзя нормально разрулить. Суть в том что код работает, все хорошо, почти все отлично разруливается и все счастливы.

Или ты предлагаешь разрешить апкасты? Ну такая «система типов» дает ровно столько же гарантий, как и динамика, так нахуя оно тогда нужно? Тем более лучше уж твердо знать, что никаких гарантий нет, чем верить в то, что они «почти есть».

Прости, но это как раз то типодрочерство о котором я говорил. Никогда нет гарантий. И это не повод пыхкодить

так нахуя оно тогда нужно?

Потом что прекрасно работает на практике без типозадротов. Берешь апкаст с паттерн матчингом с принудительной проверкой всех вариантов и все хорошо

По моей информации с зависимыми типами на практике все как раз далеко не отлично. Более конкретно - нахуй они не нужны в том виде, в котором существуют на данный момент

Не знаю о чем вы говорите. Работает почти всегда. Кроме тех случаев когда тип действительно неизвестен. Ведь главное не дрочить на типы и упарываться что из в сферическом случае в вакууме нельзя нормально разрулить. Суть в том что код работает, все хорошо, почти все отлично разруливается и все счастливы.

Или ты предлагаешь разрешить апкасты? Ну такая «система типов» дает ровно столько же гарантий, как и динамика, так нахуя оно тогда нужно? Тем более лучше уж твердо знать, что никаких гарантий нет, чем верить в то, что они «почти есть».

Прости, но это как раз то типодрочерство о котором я говорил. Никогда нет гарантий.

так нахуя оно тогда нужно?

Потом что прекрасно работает на практике без типозадротов. Берешь апкаст с паттерн матчингом с принудительной проверкой всех вариантов и все хорошо