Próbuję napisać funkcję toPeano :: Int -> Nat
toPeano n =
że okazuje się całkowitą na odpowiadający jej numer Peano. Mam dane: data Nat =
Zero |
Succ Nat
deriving Show
na przykład
Jest to kontynuacja a question I asked almost two years ago. Nadal eksperymentuję z systemem typu, aby napisać małą bibliotekę algebry liniowej, w której wymiary wektorów/macierzy/tensorów są kodowane