不思議なプログラミング言語理論の国のDekuDekuplexの旅

Towers of Hanoi

Haskell | 21:11

お次は、Haskell言語版の「Towers of Hanoi」：

-- hanoi_v1.1.hs
-- Haskell function to compute the Towers of Hanoi problem recursively
-- 
-- Usage: putStr (hanoi_shower (hanoi 1 2 3 n)), or 
--        putStr (hanoi_shower (hanoi 'a' 'b' 'c' n)), 
--        where the first three arguments of hanoi may be polymorphic types
--        (i.e., Chars, Ints, or any other suitable type), and n is the number
--        of discs to move from the source peg to the destination peg
-- 
-- Copyright(c) April 16, 2008, at 14:17, 
-- by Benjamin L. Russell
-- 
-- Update History:
-- 
-- Version 1.0.1
-- Changed program name in comments:
-- "Hanoi.hs" -> "hanoi.hs"
-- 
-- Version 1.0.2
-- Corrected copyright date: April 17 -> April 16
-- 
-- Update History:
-- 
-- Version 1.1
-- Added usage information.
-- October 17, 2008, at 14:45

hanoi :: a -> a -> a -> Int -> [(a, a)]
hanoi source using dest n
    | n == 0 = []
    | n == 1 = [(source, dest)]
    | otherwise = hanoi source dest using (n-1) 
                  ++ hanoi source using dest 1
                         ++ hanoi using source dest (n-1)

hanoi_shower :: Show a => [(a, a)] -> String
hanoi_shower [] = ""
hanoi_shower ((a, b):moves) = unlines ["Move " ++ show a ++ " to "++ show b ++ "."] ++ hanoi_shower moves

上記のHaskellソースコードを実行するには、先ず、Haskellの主流コンパイラGHC（http://www.f13g.com/%a5%d7%a5%ed%a5%b0%a5%e9%a5%df%a5%f3%a5%b0/Haskell/%bd%e8%cd%fd%b7%cf%a4%ce%a5%a4%a5%f3%a5%b9%a5%c8%a1%bc%a5%eb/#content_1_5 と http://www.haskell.org/ghc/ 参照）をダウンロード・インストールし、その後、例えば、

putStr (hanoi_shower (hanoi 'a' 'b' 'c' 3))

と入力すればいいのです。そうすれば、

Move 'a' to 'c'.
Move 'a' to 'b'.
Move 'c' to 'b'.
Move 'a' to 'c'.
Move 'b' to 'a'.
Move 'b' to 'c'.
Move 'a' to 'c'.

と返ってきます。

どうです？これも簡単だが、またまた美しいでしょう！

では、今回はこの辺で・・・・・・。次回までお楽しみに。

あくまで、アマチュア関数型プログラミング研究者ですから・・・・・・。

Towers of Hanoi

Scheme | 21:00

初めて始めてみた、あくまでも、悪魔でも、開くまでも書き続けてみます！

では、アクマデ、アマチュア関数学的プログラミング研究者として、小生の「Towers of Hanoi」を掲載させて頂きます：

;; Towers of Hanoi, plt1.1
;; PLT-Scheme-specific Version 1.1 of Towers of Hanoi
;; 
;; Copyright(C) April 02, 2008, at 19:38, 
;; by Benjamin L. Russell

(define (hanoi n)
  (hanoi-helper 'A 'B 'C n))

(define (hanoi-helper source using destination n)
  (cond ((= n 1)
         (printf "Moving from disc ~a to ~a.\n" source destination))
        (else
         (hanoi-helper source destination using (- n 1))
         (hanoi-helper source using destination 1)
         (hanoi-helper using source destination (- n 1)))))

上記のSchemeソースコードを実行するには、先ず、DrScheme（http://www.csg.is.titech.ac.jp/~kourai/lecture/drscheme/drscheme.html と http://download.plt-scheme.org/ 参照）をダウンロード・インストールし、その後、例えば、

(hanoi 3)

と入力すればいいのです。そうすれば、

Moving from disc A to C.
Moving from disc A to B.
Moving from disc C to B.
Moving from disc A to C.
Moving from disc B to A.
Moving from disc B to C.
Moving from disc A to C.

と返ってきます。

どうです？簡単ですが、素晴らしいでしょう！

では、今回はこの辺で・・・・・・。次回までお楽しみに。

あくまで、アマチュア関数型プログラミング研究者ですから・・・・・・。