Vokunya, можно создать собственный конвертер интов во флоаты со строгим приведением типа

тогда my (iToF i) (iToF j) отработает безошибочно.

Void, Shaggie, спасибо огромное - заработало.   
Тему пока не закрываю - могут еще возникнуть вопросы.

А вот и вопросы, не заставили себя долго ждать   


На каждой итерации результат вычислений заносится в res, мы и получили 3 значения, но которые продублировались. Отчего такое поведение?

Это сообщение отредактировал(а) Vokunya - 12.5.2011, 21:04

Почему 3?
m = 7, 8, 9
n = 5, 6, 7
Итого 9 комбинаций.
А значения не дублируются, просто 1/b! << (a!)^3 и изменение n влияет очень слабо.

Хм. Просто я ожидал, что логика работы будет следующей:

1-ая итерация : m = 7, n = 5
2-ая итерация : m = 8, n = 6
3-ая итерация : m = 9, n = 7

Ха, немножко промахнулся. Увидел лесенку форов и соптимизировал в list comprehension. Итог одинаков - декартово произведение множеств.

Ну так это несложно переделать. Что по сути надо? Получить два списка [7,8,9] и [5,6,7] и работать с попарно склеенными элементами [(7,5),(8,6),(9,7)]. Даже более того, можно создать два бесконечных списка чисел и бесконечно их склеивать, никаких проблем. Потенциально бесконечно (Волшебная Супер Сила Хаскеля!)
Создать бесконечный список возрастающих чисел:

Склеить стандартной (для функциональных языков) функцией zip и, так как список получается бесконечным, ограничиться нужным количеством элементов с помощью функции take.

Итого:

Со всем разобрался.
Огромное спасибо за помощь