整数型模型n

Question

我正在开发一个模块，其中涉及一组自然 数字。因此，我需要对一些整数类型的 n 进行建模。我怎样才能 去做吧？

例如。从 1 开始连续递增的 i 序列的 i 之和 = n(n+1)/2

我如何在这里建模 n ？

Answer 1

要求是我们应该能够使用 n 作为整数。我想我明白了。

type element_i = N of nativeint | CNN of nativeint * nativeint
(* element_i can be an integer or a*n+b represented as (a,b))

let to_string_i e = 
  match e with 
  | N z   -> "%d" z 
  | CNN c -> " (%d xn + %d) " (fst c) (snd c)

let plus_i a b =
  match (a, b) with 
  | (N a1, N b1)   -> N (a1 + b1)
  | (N a1, CNN b1) -> CNN (fst b1, (snd b1) + a1)
  | (CNN a1, N b1) -> CNN (fst a1, (snd a1) + b1)

let times_i a b = 
  match (a, b) with 
  | (N a1, N b1)  -> N (a1 * b1)
  | (N a1,CNN b1) -> CNN ((fst b1) * a1, (snd b1) * a1)
  | (CNN a1,N b1) -> CNN ((fst a1) * b1, (snd a1) * b1)