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

Есть две вещи, которые я хотел бы знать. Во-первых, довольно просто, что делает "будучи зависимым языком " на самом делеимею в виду? (Надеюсь, не будучи слишком техническим об этом.)

Второй вопрос ... чтоНедостаток? Я имею в виду, люди знают, что мыв этом направлении, поэтому должно быть какое-то преимущество. И все же мыпока нет, так что, должно быть, есть некоторые недостатки, которые мешают людям идти до конца. У меня складывается впечатление, что проблема заключается в резком увеличении сложности. Но, не понимая, что такое зависимая типизация, я неТочно знаю.

Что яделать Я знаю, что каждый раз, когда я начинаю читать о языке программирования с зависимой типизацией, текст совершенно непонятен ... Предположительно, что 'С проблемой. (?)