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