如何在 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))

但它只是超时。

我做错了什么？更惯用的方法是什么？请不要将 shift 或 & 编码掉，因为我想知道我 "should" 如何使用它们。

附录：我在 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、...

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

how to do bit shifts and masks in haskell?

haskell

bit-manipulation