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))

但它只是超时。

我做错了什么？这样做的惯用方法是什么？请不要编码班次或＆amp;因为我想知道我应该如何使用它们。

附录：我在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'而没有（Bits 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中进行位移和掩码？

1 个答案: