Ravi Sethi在Haskell的小被子語言

Question

我想在Haskell中實現Ravi Sethi的小被子語言。塞西的小被子的概述可以在這裏看到：http://poj.org/problem?id=3201

下面是我迄今爲止功能：

import Data.List.Split 

rotate :: Int -> [a] -> [a] 
rotate n xs = iterate rot xs !! n 
    where 
     rot xs = last xs : init xs 

turn :: [a] -> [a] 
turn x = rotate 2 x 

grid :: Int -> [String] -> String 
grid n = unlines . map concat . chunksOf n 

printAtom :: [String] -> IO() 
printAtom x = putStrLn $ grid 2 x 

我實現rotate我turn功能使用，因爲它只是旋轉的名單n時間在左邊。

下面是一個例子原子：

let a0 = ["#", "@", "#", "#"] 

爲了說明原子被如何看待，我將使用printAtom功能：

printAtom a0 

#@ 
## 

當我打電話turn上原子a0，並打印所得到的原子，我結束以下（turn應代表90度順時針轉到整個原子）：

## 
#@ 

這是第一輪的預期輸出。這將對應於面向原子a1。上原子a1一轉應產生：

@# 
## 

然而，鑑於turn功能的制約，它簡單地返回原子回a0狀態。爲了解決這個問題，我想實現一個功能，newTurn，使用基於使用chunksOf 2 atom測試衛士，如下所示：

newTurn :: [a] -> [a] 
newTurn x 
| chunksOf 2 x == [["#", "@"], ["#", "#"]] = rotate 2 x 
| chunksOf 2 x == [["#", "#"], ["#", "@"]] = rotate 1 x 
| chunksOf 2 x == [["@", "#"], ["#", "#"]] = rotate 2 x 
| chunksOf 2 x == [["#", "#"], ["@", "#"]] = rotate 1 x 

我幾乎可以肯定，我不理解如何使用警衛，和我絕對知道我不太明白放在函數定義上的類型約束。當我嘗試導入newTurn功能分爲ghci中，我得到這個錯誤：

functions.hs:19:29: 
Couldn't match type `a' with `[Char]' 
    `a' is a rigid type variable bound by 
     the type signature for newTurn :: [a] -> [a] at functions.hs:18:1 
In the expression: "#" 
In the expression: ["#", "@"] 
In the second argument of `(==)', namely `[["#", "@"], ["#", "#"]]' 

我的問題的那冗長的解釋之後，基本上就是我需要知道的是我可以改變我的turn功能代表一個原子順時針轉90度的實際值？ （注：這是第一個項目，我已經試過在Haskell來解決，所以我相信我的代碼是相當混亂。）

Answer 1

我們先來關注轉彎。對於一個原子[a, b, c, d]，要求它grid 2用於打印產量

a b 
c d 

轉到其順時針旋轉90°將導致

c a 
d b 

它來自列表[c, a, d, b]。所以順時針轉動不是列表元素的循環交換。如果只有2×2個原子將需要考慮，使用平面列表的turn自然實施將

turn [a,b,c,d] = [c,a,d,b] 
turn _   = error "Not an atom" 

但是，根據概述，事情並不那麼簡單，你可以縫被子，所以你可以獲得任何尺寸的棉被m×n，其中m和n均勻。所以使用扁平列表代表被子並不是最好的主意。

假設你代表的被子作爲一個列表的列表，每行一個列表，所以例如

[ [a,b,c,d] 
, [e,f,g,h] ] 

爲2×4被子。旋轉的順時針旋轉90°產生的4×2被子

[ [e,a] 
, [f,b] 
, [g,c] 
, [h,d] ] 

現在，有沒有什麼直接做的標準庫，但是，在Data.List，我們有transpose，其中變換2×4被子上面到

[ [a,e] 
, [b,f] 
, [c,g] 
, [d,h] ] 

而且我們然後半有：

turn = map reverse . transpose 

據概述，在tu人們還需要旋轉符號'\' becoems '/'，反之亦然，'-'變成'|'，反之亦然。這可以通過在所有行上映射一個turnChar :: Char -> Char函數來實現。

Answer 2

下面是一個例子原子：

["A", "B", "C", "D"] 

這裏是你如何顯示它：

AB 
CD 

這裏的問題是，自然的方式來旋轉（一維）列表（彈出一個元素關閉一端，將其推到其他）不旋轉的方式2x2平方。

我建議使用不同的數據結構來表示原子。例如您可以將一個原子表示爲列表清單：

[["A", "B"], ["C", "D"]]