в хаскеле какая-то ужасная иерархия чисел

подкласс же

она вполне соответствует реальности

Оно вроде сработало, но я не понимаю, как. floating гарантирует fractional. но не наоборот же

хотя весь модерн хаскель это преувеличение, конечно, те же линзы мало затронуты австралийской программой и оставайся хаскель на рельсах олегинга - мало поменялись бы

каждый Floating является частным случаем Fractional. если функция может работать с любым Fractional, то в том числе может и с любым Floating

Но мне там нужны были именно свойства Floating (sqrt, **)

То есть я потребовал всего лишь Fractional, но получил Floating

Бесплатно)

Надо говорить "фри"!

Извините!

Free Floating

Вот, то то же, это по-хаскельному

что не так?

Ну как я это вижу: есть типа Fractional, есть Floating. Floating < Fractional. То есть апнуться к более общему типу мы можем (из Floating до Fractional). Но я ведь функцией realToFrac получаю Fractional. Как я из более общего типа могу получить свойства более узкого — неясно

Нет. Не соответсвует. realToFrac, например, сломан:

> realToFrac (1/0 :: Float) :: Double 
3.402823669209385e38

> realToFrac (1/0 :: Float) :: Double 
3.402823669209385e38

э, это как вообще(

Очевидно! realToFrac работает через Rational, а трансфинитные значения в нём нормально непредставимы

class Fractional a => Floating a

или на привычном языке математики значок будет смотреть наоборот

∀ a. Floating a => Fractional a
Floating ⊆ Fractional

но потом мы говорим не про типы, а про функцию, параметризованную этими типами, например,

realToFrac pi :: ∀ (b :: Type). Fractional b => b

она принимает параметр (b :: Type). она может принять Fractional, следовательно, может принять что угодно внутри Fractional, например, Floating

> realToFrac (1/0 :: Float) :: Double 
3.402823669209385e38

не полностью, а вполне. достаточно для практического применения