Início / user-23444056

Q Qere's questions

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

É possível escrever algo semelhante ao 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

Tentei escrever a seguinte função em 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))])
  )

mas tenho um erro de verificação de digitação: Type Checker: Bad arguments to function in 'apply': Domain: Integer String T ... T Arguments: (List T ... T) in: (apply dup tail)

Honestamente, não entendo por que os argumentos existem, (List T ... T)mas não (T ... T). Além disso, a função está correta, Racket não digitado produz os resultados corretos

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

Pelo que eu sei, Python é uma linguagem de digitação gradual. E todas as variáveis ​​não anotadas são do tipo Anyque é um supertipo e subtipo de qualquer tipo. Por que então o código a seguir foi rejeitado pelo verificador de tipo estático?

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


y = True
doubles(y)

Entendo que o programa está obviamente incorreto, mas como o verificador de tipo adivinhou? Não deveria acontecer o seguinte:

  1. ynão é anotado, portanto é do tipo Qualquer
  2. lançar Any parastr
  3. aceite o programa

O comportamento esperado ocorre somente se você especificar explicitamente o Anytipo. Eu presumiria que, sem especificar explicitamente Any, yseria atribuído o tipo da expressão correta, ou seja, bool, mas não seríamos capazes de alterar o valor de ypara 123 type int, o que não é verdade

python