Kiedy wybrać "Naturalny" przez "Integer" w Haskell?

Question

Nie tak dawno temu odkryłem typ danych Natural w base. To powinno być zrobione (jak mi się wydaje), kiedy zamierzasz używać nieujemnego typu całkowitego. Ale nie jest do końca jasne, dlaczego powinienem preferować Natural do Integer. Oba typy mają dowolną precyzję, obie mają zoptymalizowaną reprezentację środowiska wykonawczego - Integer representation i Natural representation. Ale Naturalcan throw pure exceptions po odjęciu liczb naturalnych, a to naprawdę nie dodaje więcej rodzajów bezpieczeństwa do kodu. Podczas gdy Integer jest bardziej popularny we wszystkich pakietach.

Kiedy i dlaczego mam korzystać z Natural?

Answer 1

Nie rozumiem, dlaczego chcesz używać Natural lub Integer. Dlaczego zamiast tego użyć Rational? Jest to arbitralna precyzja, ma zoptymalizowaną reprezentację środowiska wykonawczego i działa dla naturałów, liczb całkowitych, i racjonalnych!

Chodzi mi o to, że powinniśmy wybrać typ, który ma sens semantycznie. Liczyć domy na ulicy z naturals, nagrać naszą następną grę w golfa z liczbami całkowitymi i podzielić świeże ciasto z jagodami z wymyśleniami.