4
Чому б не набрати залежно?
Я бачив, як кілька джерел перегукуються з думкою про те, що "Haskell поступово стає мовою залежної типу". Наслідком здається, що з дедалі більшою кількістю розширень мови Haskell рухається в тому загальному напрямку, але ще цього немає. В основному я хотів би знати дві речі. Перший, досить просто, що це «будучи …