Haskell類型/類型轉換（sqrt，floor）

Question

我試圖用Haskell實現Cantor配對。整數列表的編碼工作正常，但由於類型錯誤，解碼不起作用。

我試過幾乎所有我能想到的，但沒有什麼會制定出：

cantorDecode :: Integer -> [Integer] -> [Integer] 
cantorDecode e zs 
    | length zs == 0 = cantorDecode y [x,y] 
    | head zs == 0  = map toInteger $ tail zs  
    | otherwise   = cantorDecode y ((head zs)-1 : (tail zs) ++ [x,y]) 
     where 
      a = fromRational e 
      w = floor ((s-1.0)/2.0) 
      s = fromIntegral $ sqrt(8.0*e+1.0) :: Double 
      t = fromRational $ (w^2+w)/2.0 
      y = toInteger $ e - (toInteger $ floor t) 
      x = toInteger $ (toInteger w) - (toInteger y) 

1. 輸入下一個整數解碼
2. 輸入與已經解碼的整數

列表

正如你所看到的，我使用sqrt，floor和其他東西，所以它有點凌亂...

Answer 1

確定看起來絕望。有幾點：

1. 你肯定不希望fromRational，因爲你沒有實際Rational這兒。此外，fromRational和toFractional都嚴格低於其組合realToFrac，雖然你不需要這樣做 - 這些都是用於轉換不同的浮點/合理類型，但你只有一個參與，Double。
2. 你不想要toInteger，它只是用於在不同的Integral類型之間轉換。您做希望其泛化fromIntegral它將從Integral類型轉換爲一般Num。

您應該明確地決定您的哪些變量是Integer s，哪些是Double s。然後使用fromIntegral將Integer轉換爲Double和floor或其他類似的功能，以便在必要時從Double轉換爲Integer。你有幾次嘗試那裏的相同類型之間轉換

鑑於此，你可以清理你的類型轉換代碼成（添加顯式類型註解清晰度）（基本上，所有的toInteger秒）：

cantorDecode :: Integer -> [Integer] -> [Integer] 
cantorDecode e zs 
    | length zs == 0 = cantorDecode y [x,y] 
    | head zs == 0  = tail zs  
    | otherwise   = cantorDecode y ((head zs)-1 : (tail zs) ++ [x,y]) 
     where 
      w = floor ((s-1.0)/2.0)    :: Integer 
      w' = fromIntegral w     :: Double 
      s = sqrt(8.0*fromIntegral e+1.0) :: Double 
      t = (w'^2+w')/2.0     :: Double 
      y = e - floor t      :: Integer 
      x = w - y       :: Integer