peano-numbers

2熱度

1回答

我剛開始學習Haskell，現在在我的課堂上，我們已經構建了一個Peano數字類，並將其實例化爲Num類型類。在講座中，我的教授聲稱取決於您是否將繼承函數視爲S x = x + 1或S x = 1 + x，乘法定義的適當後繼案例將會不同。分別爲： x * S y = x * y + x x * S y = x + x * y 此外，他聲稱，使用第一下列兩個選項中是可取的，因爲它是懶惰的，但

0熱度

1回答

後繼算術Prolog調製函數

如何編寫mod/3函數後繼算術（Peano's Numbers）in prolog？

7熱度

2回答

哈斯克爾皮亞諾號

我試圖寫一個函數 toPeano :: Int -> Nat toPeano n = ，輪流整數到其皮亞諾號碼。我有數據： data Nat = Zero | Succ Nat deriving Show 例如， toPeano 0 = Zero toPeano 1 = Succ Zero toPeano 2 = Succ (Succ Zero)

0熱度

2回答

如何測試Peano號碼

我正在通過Coursera上的course。有實現它是這樣的Peano numbers的例子： abstract class Nat { def isZero: Boolean def predecessor: Nat def successor: Nat = new Succ(this) def +(that: Nat): Nat def -(t

6熱度

1回答

使用類型系統將整數轉換爲peano數字

這是a question I asked almost two years ago的後續處理。我仍在嘗試使用類型系統編寫一個小型線性代數庫，其中向量/矩陣/張量的維度使用類型系統（使用Peano編號）進行編碼。這允許編譯器將二進制操作限制爲相應維度的對象。它運行良好，但我必須手動指定每個維度類型。例如（使用shapeless natural numbers）： type _1 = Succ[Na