Editing Ru/IO (section)

== Описание процедур ==

Главная выполняемая функция в программе на '''Haskell''' - ''main'' - является процедурой, и на ней мы рассмотрим примеры описания процедур.

Простейшая процедура, выполняющая два действия. Как мы уже говорили, они выполняются строго в заданном порядке:

<haskell>
main = do print "Zdravstvuj, mir, eto ja!"
          print "Haskell zzhot, C++ ...!"
</haskell>

"Действия", выполнямые в do - это в свою очередь вызовы других процедур. Мы также можем присваивать "переменным" значения, возвращаемые из этих процедур, и организовывать условное выполнение:

<haskell>
main = do print "Ej, parenj, kak tebja zvatj-to?"
          name <- getLine
          if name=="Bulat"
            then do print "Blagodarju, Sozdatelj"
            else do print ("Zdorovo, " ++ name)
</haskell>

Аналогичным образом можно применять и '''case''':

<haskell>
main = do print "Ej, parenj, kak tebja zvatj-to?"
          name <- getLine
          case name of "Bulat"  -> do print "Blagodarju, Sozdatelj"
                       "Deniok" -> do print "Blagodarju, Kosozdatelj"
                       _        -> do print ("Zdorovo, " ++ name)
</haskell>

Для организации циклов, как обычно, используется хвостовая рекурсия. Например, эта программа печатает числа от 1 до 10:

<haskell>
main = do printRec 1

printRec 10 = print 10
printRec i  = do print i
                 printRec (i+1)
</haskell>

Для возврата результата из процедуры используется '''return'''. Опишем рекурсивную процедуру, которая дожидается ввода непустой строки:

<haskell>
myGetLine = do str <- getLine
               if str==""
                 then do print "Pozhalujsta, vvedite nepustuju stroku"
                         str <- myGetLine
                         return str
                 else do return str
</haskell>

и пример её применения:

<haskell>
main = do print "Ej, parenj, kak tebja zvatj-to?"
          name <- myGetLine
          if name=="Bulat"
            then do print "Blagodariu, Sozdatelj"
            else do print ("Zdorovo, " ++ name)
</haskell>

Совершенно аналогично функциям, процедуры могут иметь входные параметры. Для описания чистых вычислений внутри процедур можно использовать ''let''-блоки, однако вычисления в ''let''-блоке не могут ссылаться на имена, определённые в нижеследующих действиях или ''let''-блоках:

<haskell>
math x y = do 
  let x2 = x*2
      x3 = x2*x
      xy = x*y
  print ("x=" ++ (show x))
  print ("x v kvadrate=" ++ (show x2))
  print ("x v kube=" ++ (show x3))
  print ("proizvedenie x i y=" ++ (show xy))

main = do math 2 2
          math 3 4
</haskell>

А теперь забацаем пример, который включает все вышеприведённые извраты:

<haskell>
...
</haskell>