我认为网站希望看到的是你掌握 * 模乘 * 的概念。它认为：

(a * b) mod c == ((a mod c) * (b mod c)) mod c

此外，他们并没有随意选择10^9+7 *：据我所知，它是一个巨大的质数，比32位整数所能表示的还要大。因此，我们可以用Int32来做所有的微积分，这比用Integer（具有任意精度）来做要快。

乘法法（效率较低）

因此，我们可以创建自己的mulmod函数：

mulmod :: Int32 -> Int32 -> Int32 -> Int32
mulmod m a b = mod (a*b) m

现在，我们可以计算数字模m：

solvemod :: Int32 -> Int -> Int32
solvemod m d = foldl (mulmod m) 8 (replicate (d-1) 9)

然后这个问题就可以用下面的公式来解决：

solve :: Int -> Int32
solve = solvemod (10^9+7)

对于给定的样本输入，其结果为：

Prelude> solve 1
8
Prelude> solve 2
72
Prelude> solve 100
343393926

根据网站的说法，这是正确的。

动力接近

我们可以定义一个powmod，如下所示：

powmod :: Integral i => Int64 -> Int64 -> i -> Int64
powmod m = powmod'
    where powmod' _ 0 = 1
          powmod' a i | even i = rec
                      | otherwise = mod (a*rec) m
              where rec = powmod' (mod (a*a) m) (div i 2)

则solve机制为：

solve :: Integral i => i -> Int64
solve d = mod (8 * powmod m 9 (d-1)) m
    where m = 10^9+7

再次导致：

*Main> solve 1
8
*Main> solve 2
72
*Main> solve 100
343393926
*Main> solve (10^18)
303706813

最后一个查询只花了几毫秒的时间，所以我想这已经足够高效了。
15：29：31“我讨厌数字九”接受0.01 s Haskell
因此，计算测试用例仅需0.01秒。

是的，这是一个简单的算术问题，可以很容易地处理在基地9，因为我们将只下降一个数字字符。如果你不想使用2个数字字符，如我不想9和4，那么你应该去与基地8。所以我的解决方案将是;

solve :: Int -> Integer
solve n = (8*9^(n-1)) `mod` (10^9 + 7)

*Main> solve 1
8
*Main> solve 2
72
*Main> solve 100
343393926