[Haskell] first steps...

агрх... форматирование...

мой код

module Main where

factorial n = fac n 1

fac 0 acc = acc

fac n acc = fac (n - 1) (n * acc)

main = do factorial 100000


ошибка:

ghc qwe.hs -o qwe

qwe.hs:9:17:
    No instance for (Num (IO a))
      arising from the literal `100000' at qwe.hs:9:17-22
    Possible fix: add an instance declaration for (Num (IO a))
    In the first argument of `factorial', namely `100000'
    In the expression: factorial 100000
    In the definition of `main': main = factorial 100000

фак... в main do не надо, это я уже тут эксперементировать пытался... впрочем с do тоже не работает :)

Шуровал бы ты назад на лисп :)

main = putStrLn $ show 3

=) да ладно тебе, не ругайсо %)

я так понимаю вся бяда в том, что тип у main IO() ? и поэтому оно должно всего хоть что-нить, но выводить? если не прав, то поправь пожалуйста.

Я тоже в шутку :).

> я так понимаю вся бяда в том, что тип у main IO()

Так точно, только не выводить, а делать что-либо.

Полагаю эффективно ничего не делать будет:

main = return ()

Монады синтаксически сложнее функций, по-этому написать как функцию 1-в-1 не получится.

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

И ещё один вопрос, а если я пишу так:

module Main where

factorial n = fac n 1

fac 0 acc = acc

fac n acc = fac (n - 1) (n * acc)

main = return (factorial 100000)

оно вообще хоть что-нить считает? или тут работает ленивость, и оно просто забивает на вычисления и выходит из программы? Если так, то как можно заставить отработать функцию?

main = putStrLn $ show $ factorial 100000

или (что тоже самое):

main = putStrLn(show(factorial 100000))

factorial вычисялет факториал, show преобразовывает полученное число в строку, putStrLnвыводит строку на стандартный вывод.

Мне надо не выводить результат, хочу посчитать, но не распечатывать ;)

>> Мне надо не выводить результат, хочу посчитать, но не распечатывать ;)

Ну тогда загрузи этот код в GHCi и выполни factotial 100000

А вообще очень рекомендую к прочтению "Haskell, the craft of functional programming" - для начинающих просто замечательная книга. Разжевано все достаточно популярно без углублений в теорию и с огромным количеством упражнений. Рекомендую потому, что эта книга легко находится в pdf в инете (в отличие от hsoe например). Хотя мне ее было намного легче читать после SICP :))

>> Ну тогда загрузи этот код в GHCi и выполни factotial 100000

Убрав предваритеьлно main = ...

Ну так я уже делал :) просто для меня было удивительно, что этого нельзя сделать в main... ок, спасибо большое!

/me пошёл читать умные книжки...

> то оно работает, но я именно не хочу выводить результат, как это сделать?

No way, haskell is lazy language. It won't work if you don't want to see results.

>> просто для меня было удивительно, что этого нельзя сделать в main... ок, спасибо большое!

Как уже писали main 'возвращет' действия в терминах ввода-вывода, т.е. банально все что делает main это вводит и выводит данные :) Вычисление же факториала не является действием, все чем может помочь здесь main - это напечатать результат. Это особенность философии хаскеля.

>> No way, haskell is lazy language. It won't work if you don't want to see results.

Кстати это относится не только к ленивым. В том же си чтобы вычислить функцию надо, грубо говоря, потребовать от нее результат :) В виде вызова ессно :))

main = factorial 100000 `seq` return ()

main = foldr1 seq [factorial 10000, return ()]

Тоже ниче так :)

Впрочем, поскольку факториал у тебя ленивый, скорее всего, оно просто вылетит.

> Кстати это относится не только к ленивым. В том же си чтобы вычислить функцию надо, грубо говоря, потребовать от нее результат :) В виде вызова ессно :))

Один еврей много лет молился Богу, и все об одном v хотел выиграть в лотерею. v Господи, v говорил он, - ну почему Исаак выигрывал в лотерею, Абрам выигрывал, а я сколько лет тебе молюсь, никак не могу выиграть. Бог не выдержал, и раздался голос с небес: v Я с радостью помогу тебе. Но ты хоть раз купи лотерейный билет!

> Впрочем, поскольку факториал у тебя ленивый, скорее всего, оно просто вылетит.

Всегда можно заставить :]

main = do let !x = product [1..10^7] -- еще и стека не хватит
               return () 

Кто бы спорил, эту ошибку все новички совершают.