實現遞增函數

Question

我正在研究這個程序，以更好地理解haskell和state monad。我做了一個模塊Rectangle，它具有數據類型Rectangle和一個函數來增加矩形的長度。爲了增加長度，我做了一個函數加。 難道還有比這個加功能更好的方法嗎？同時增加我正在添加一個新的矩形，這是邏輯上不正確的。 如何以正確的方式執行增量？有沒有什麼辦法，而不是給予默認寬度編譯器提示用戶的寬度？ 如何在進行有狀態計算時提取一個或多個矩形或任何屬性（長度或寬度）？

{-# LANGUAGE TemplateHaskell, TypeOperators #-} 
module Rectangle(Rectangle(Rectangle),GlobState(GlobState),plus,newGlobState,r1,r2,r3,incr) where 

import Control.Monad.State hiding (modify) 
import Data.Label (mkLabels) 
import Data.Label.Pure ((:->)) 
import Data.Label.PureM 

type Length = Int 
type Width = Int 

data Rectangle = Rectangle Length Width deriving (Eq,Read,Show) 

data GlobState = GlobState { _r1 :: Rectangle , _r2 :: Rectangle , _r3 :: Rectangle } deriving Show 
$(mkLabels [''GlobState]) 

plus :: Rectangle -> Rectangle -> Rectangle 
plus (Rectangle x z) (Rectangle y w) = Rectangle (x+y) z 

newGlobState:: GlobState 
newGlobState = GlobState { _r1 = Rectangle 0 10, _r2 = Rectangle 0 10, _r3 = Rectangle 0 10} 

incr :: (GlobState :-> Rectangle) -> State GlobState() 
incr x = modify x (plus (Rectangle 1 10)) 

我做了一個新的模塊選擇矩形的一個：

{-# LANGUAGE TemplateHaskell, TypeOperators #-} 
module ChooseRect(ChooseRect(ChooseRect),makeChoice,select) where 

import Rectangle 
import Control.Monad.State hiding (modify) 
import Data.Label (mkLabels) 
import Data.Label.Pure ((:->)) 
import Data.Label.PureM 

type Choice = Int 

data ChooseRect = ChooseRect Rectangle Rectangle deriving Show 

makeChoice:: Rectangle-> Rectangle->ChooseRect 
makeChoice p1 p2 = ChooseRect p1 p2 

select:: ChooseRect -> Choice -> Rectangle 
select (ChooseRect (Rectangle x z) (Rectangle y w)) choice = if (choice==1) 
       then let selectedRectangle = Rectangle x z 
       in selectedRectangle 
       else let selectedRectangle = Rectangle y w 
       in selectedRectangle 

但是，當我更改了主模塊I M得到錯誤。

module Main where 

import Rectangle 
import ChooseRect 
import Control.Monad.State hiding (modify) 
import Data.Label (mkLabels) 
import Data.Label.Pure ((:->)) 
import Data.Label.PureM 

main :: IO() 
main = do 
    let x = flip execState newGlobState $ do 
     incr r1 
     incr r2 
     incr r1 
     incr r3 
     incr r3 
    let y=makeChoice r1 r2 
    print y 
    print x 

的錯誤消息是

Couldn't match expected type `Rectangle' 
      with actual type `Data.Label.Abstract.Lens 
           (~>0) GlobState Rectangle' 
In the first argument of `makeChoice', namely `r1' 
In the expression: makeChoice r1 r2 
In an equation for `y': y = makeChoice r1 r2 

請解釋錯誤，以及如何將其刪除

Answer 1

1. 優於你的plus將是一個lengthenBy :: Length -> Rectangle -> Rectangle。

   哦，你使用modify錯......你需要使用從Control.Monad.State 的modify和 的modify從Data.Label.Pure。

   incr x = Control.Monad.State.modify $ Data.Label.Pure.modify x (lengthenBy 1) 
   

2. 參見功能getLine :: IO String（用於獲取輸入的線）和read :: String -> Int或reads :: String -> [(Int, String)]（用於接通它從一個String成Int;前者是更簡單的使用，但崩潰，如果它不能解析輸入）（並且putStr :: String -> IO()或putStrLn :: String -> IO()用於顯示提示）。

   n.b.在main的最外面的do-block中執行你的I/O，並把結果作爲額外的參數傳遞給你的 有狀態計算。

3. 在類型替換

   makeChoice r1 r2 
   

   與

   makeChoice (get r1 x) (get r2 x) 
   

   看：

   r1, r2 :: GlobState :-> Rectangle 
   makeChoice :: Rectangle -> Rectangle -> ChooseRect 
   

   所以r1和r2是正確類型的未傳遞到makeChoice。