haskell - 如何在haskell中进行位移和掩码？

Question

我正在编写一个例程来确定 32 位整数的高 16 位或低位是否设置了更多位。

在 C 语言中，我会这样写:

bool more_high_bits(int a) {
  if ((a >> 16) == 0) return false;    // no high bits
  if ((a & 0xFFFF) == 0) return true;  // no low bits

  // clear one high bit and one low bit, and ask again
  return more_high_bits(a&(a - 0x10001));
}

所以在 Haskell 中，我正在尝试这个:

more_high_bits a=if (a `shiftR` 16) /= 0 then 0 else
                 if ((.&.) a 65535) /= 0 then 1 else
                 more_high_bits((.&.) a (a-65537))

但它只是超时了。

我做错了什么？更惯用的方法是什么？请不要对类次或 & 进行编码，因为我想知道我“应该”如何使用它们。

附录:我在 haskell 编译器上尝试了这段代码:

http://www.tutorialspoint.com/compile_haskell_online.php

import Data.Bits

g a=if (a `shiftR` 16) == 0 then 0 else
    if ((.&.) a 65535) == 0 then 1 else
    g((.&.) a (a-65537))

main = print (g(237))

但它告诉我“没有因使用‘g’而产生的(位 a0)实例类型变量“a0”不明确”

什么是“a0”？

Answer 1

这是 C 代码到 Haskell 的直接转换:

import Data.Word
import Data.Bits

more_high_bits :: Word32 -> Bool
more_high_bits a
    | (a `shiftR` 16) == 0 = False
    | (a .&. 0xFFFF)  == 0 = True
    | otherwise            = more_high_bits (a .&. (a - 0x10001))

您的尝试有 /=，而 C 版本有 ==，这会反转条件。

a0 是类型检查器为您使用 g 237 自动创建的类型变量。它不知道您指的是哪种类型，因为 237 可以是任何数字类型，而 g 适用于所有支持按位运算和相等的数字。您可能指的类型列表包括(但不限于)Int、Integer、Word、...