主页 / user-23444056

Q Qere's questions

Martin Hope
Q Qere
Asked: 2024-02-26 05:00:24 +0800 CST
  • 5

是否可以写出类似C++的东西

template <typename... T> std::string dup(int n, std::string s, T... tail) {
  std::string result;
  for (int i = 0; i < n; ++i) {
      result += s;
  }
  if constexpr (sizeof...(tail) == 0) {
    return result;
  } else {
    return result + dup(tail...);
  }
}


std::cout << dup(1, std::string("abc"), 2, std::string("xyz"), 3, std::string("a")) << std::endl; // abcxyzxyzaaa

我尝试在 TypedRacket 中编写以下函数

#lang typed/racket

(: repeat-string (-> Integer String String))
(define (repeat-string n str)
  (apply string-append (build-list n (λ (_) str))))

(: dup (All (T ...) (-> Integer String T ... T String)))
(define (dup n s . tail)
  (define result (repeat-string n s))
  (cond [(empty? tail) result]
        [else (string-append result (apply dup tail))])
  )

但我有类型检查错误： Type Checker: Bad arguments to function in 'apply': Domain: Integer String T ... T Arguments: (List T ... T) in: (apply dup tail)

老实说，我不明白为什么争论是(List T ... T)但不是(T ... T)。而且，函数是正确的，非类型化的 Racket 产生正确的结果

racket
Martin Hope
Q Qere
Asked: 2024-02-20 06:12:26 +0800 CST
  • 7

据我所知，Python是一种渐进式打字语言。所有未注释的变量的类型都是Any任何类型的超类型和子类型。那么为什么下面的代码会被静态类型检查器拒绝呢？

def doubles(x: str) -> str:
     return x + x


y = True
doubles(y)

我知道该程序显然是不正确的，但是类型检查器是如何猜测的？不应该发生以下情况吗：

  1. y没有注释，因此它是 Any 类型
  2. 投射Any 到str
  3. 接受程序

仅当您显式指定类型时，才会出现预期的行为Any。我假设在没有明确指定 的情况下Any，y将被分配正确表达式的类型，即 ，bool但是我们将无法将 的值更改y为123 type int，这是不正确的

python