Haskell: "Cast" / тип силы?

Question

Как мне сказать, что Haskell интерпретирует что-то как специальный тип? Например, у меня есть список, и я хочу разделить его длину на 2. Поэтому я пишу

(length mylist) / 2

и получите эту ошибку

Нет экземпляра для (Fractional Int) в результате использования `/ '

Поскольку я хочу деление целых чисел, я хотел бы сделать length mylist, 2 и результат Int.

Answer 1

Здесь есть две разные проблемы.

• Целочисленное деление: используйте функцию div: div (length mylist) 2 или (length mylist) `div` 2

• Кастинг. Можно сказать Хаскеллу, что конкретное выражение имеет определенный тип, написав expression :: type вместо просто expression. Тем не менее, это не делает никакого «приведения» или «преобразования» значений. Некоторые полезные функции для преобразования между различными числовыми и строковыми типами: fromIntegral, show, read, realToFrac, fromRational, toRational, toInteger и другие. Вы можете посмотреть их на Hoogle .

Answer 2

Попробуйте div (length my list) 2./ делает дробное деление;div делает целочисленное деление.