Что делает систему типов Haskell более «мощной», чем системы типов других языков?
чтениеНедостатки системы типов Scala по сравнению с Haskell?Я должен спросить: что именно делает систему типов Haskell более мощной, чем системы типов других языков (C, C ++, Java). По-видимому, даже Scala не может выполнять некоторые из тех же возможностей, что и система типов Haskell. Что именно делает систему типов Хаскелла (вывод типа Хиндли-Милнера) настолько мощной? Можете привести пример?