Есть ли более эффективный способ обработки целочисленного типа данных?

Question

У меня есть следующий фрагмент кода:

datatype eInt = infinity of int | 0 | Int of int; 

exception undefined; 
fun eAdd(e1:eInt, 0:eInt) = e1 
    | eAdd(0, e2) = e2 
    | eAdd(e1, infinity) = infinity 
    | eAdd(infinity, e1) = infinity 
    | eAdd(infinity, ~infinity) = raise undefined 
    | eAdd(~infinity, infinity) = raise undefined 
    | eAdd(e1, e2) = e1 + e2; 

Там новый тип данных, который позволяет в течение трех типов: бесконечность, 0, и междунар. Я думаю, 0 может быть избыточным, но я не уверен.

Я использовал сопоставление образцов, чтобы сформулировать различные типы возможных результатов, добавив два eInts вместе.

---

Существует четыре разных результата.

• Если есть 0, вернуть другой ИНТ
• Если есть ∞, вернуть ∞
• Если есть ∞ и -∞, вернуть неопределенную
• Что-нибудь еще, возвратите добавление двух их

---

Единственное, что я могу думать, что делает этот алгоритм более эффективным, если бы я, чтобы удалить двойные случаи, и в конце концов, запустить алгоритм снова после обращения (e1, e2) в (e2, e1).

Любые идеи по повышению эффективности? Я буду добавлять другие операции, такие как деление, которые будут иметь еще больше случаев.

Answer 1

1. Да, 0 является излишним, так как у вас также есть Int 0.

2. Использовать имена конструкторов верхнего регистра.

3. Вы действительно не сказали, что вы подразумеваете под Infinity of int. Судя по вашим примерам, вас интересует только то, является ли бесконечность положительной или отрицательной, поэтому int также является излишним.

4. Вместо использования исключений используйте опцию .

Таким образом, вы можете иметь

datatype IntExt = PosInf 
       | NegInf 
       | Int of int 

fun extAdd (PosInf, i2) = if i2 = NegInf then NONE else SOME PosInf 
    | extAdd (i1, PosInf) = if i1 = NegInf then NONE else SOME PosInf 
    | extAdd (NegInf, _) = SOME NegInf 
    | extAdd (_, NegInf) = SOME NegInf 
    | extAdd (Int a, Int b) = SOME (Int (a+b)) 

Если вы хотите эффективной реализации, рассмотрим процесс кодирования целых чисел, как IEEE 754.

Answer 2

• Я удалил тег «рекурсия», так как в этой функции нет рекурсии.
• Если вы особенно обеспокоены эффективностью, закажите предложения от большинства до наименее частых. Вероятно, это означает, что ваши «неопределенные» предложения продолжатся.
• Проверьте относительную эффективность выбора предложения. Возможно, что время, затраченное на оценку аргументов и переключение в половину времени, будет потреблять любую экономию от более короткого кода.