Исправление q0tw4, (текущая версия) :
В расте гораздо чаще, чем в хаскеле возникает желание набить морду создателям языка за то что компилятор, либо не понимает чего же я хочу, либо не разрешает мне делать то, что на самом деле абсолютно безопасно, просто потому что поленились связыватся с данной фичей. В хаскеле например больше всего бесит требование тотальности, когда программист обязуется определить функцию для всех возможных значений параметра типа, в то время как установить ограничение на параметр нельзя, поскольку в реализуемом классе он вообще не участвует (как например тип значения монады). Но тут уж ничего не попишешь. А раст могли бы написать нормально...
Исходная версия q0tw4, :
В расте гораздо чаще, чем в хаскеле возникает желание набить морду создателям языка за то что компилятор, либо не понимает чего же я хочу, либо не разрешает мне делать то, что на самом деле абсолютно безопасно, просто потому что поленились связыватся с данной фичей. В хаскеле например больше всего бесит требование тоталоности, когда программист обязуется определить функцию для всех возможных значений параметра типа, в то время как установить ограничение на параметр нельзя, поскольку в реализуемом классе он вообще не участвует (как например тип значения монады). Но тут уж ничего не попишешь. А раст могли бы написать нормально...