Добрый день,

"Существование и единственность основного типа являются отличительным признаком системы типов Хиндли-Милнера" [1]

Автор(ы): Пол Хьюдак, Джон Петерсон, Джозеф Фасел
Дата: 03.03.2007
Задача данного материала – обеспечить «мягкое» введение в программирование на Haskell для имеющих опыт программирования, по крайней мере, на одном языке, желательно функциональном (даже если это «почти функциональный» язык, такой как ML или Scheme).

Имею:

  f :: Double->Double
  f 1.0 = 1.0
  > f 1.0
  > 1.0

  f::a->a
  f x=x
  > f 1.0
  > 1.0

  f::a->a
  f 1.0  =1.0
  > Could not deduce (Fractional a) from the context ()  arising from the literal `1.0'
  >   Possible fix:
  >      add (Fractional a) to the context of the type signature for `f'

Но ведь ":t 1.0" дает класс типа "(Fractional a)=>a".
Вопрос — какое требование системы типов я нарушил в последнем случае ? Мне думалось, что я указал, что "функция f принимает значение любого типа и возвращает значение этого же типа", видимо это не так.

Спасибо