Исходное сообщение
"В рамках проекта SMACK развивается новая система статической..." Отправлено scor, 06-Фев-13 09:31
сложного ничего конечно, но работает не так, как, очевидно, ожидается.:) чему равна в этом случае: max(1, 2.3); очевидно, что должно быть: max(1, 2.3) == 2.3 но компилятор не согласен:) error: no matching function for call to 'max(int, double)' note: candidate is: note: template<class Type> Type max(Type, Type) note: template argument deduction/substitution failed note: deduced conflicting types for parameter 'Type' ('int' and 'double') в отличии от: Prelude> :t max max :: Ord a => a -> a -> a Prelude> max 1 2 2 Prelude> max 1.0 2 2.0 Prelude> max 1 2.0 2.0 Prelude> max 1 (2/3) 1.0 Prelude> :t 1 1 :: Num a => a Prelude> :t 2.0 2.0 :: Fractional a => a Prelude> :t (2/3) (2/3) :: Fractional a => a можно и явно указать, что мы хотим получить в результате: Prelude> max 1 (2.0 :: Double) 2.0 Prelude> :t max 1 (2.0 :: Double) max 1 (2.0 :: Double) :: Double Ну это я уже придираюсь видимо.:)