如何在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'没有(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,...