create sqrt function in racket

Question

Я попытался создать функцию sqrt+, которая получит список чисел и вернет список чисел. Может ли кто-нибудь сказать мне, что не так с функцией?

#lang pl 03 

(: sqrt+ : (Listof Number) -> (Listof Number)) 
;; a version of `sqrt' that takes a list of numbers, and return a list 

;; with twice the elements, holding the two roots of each of the inputs; 

;; throws an error if any input is negative. 
(define (sqrt+ ns) 
    (cond [(null? ns) 0] 
     [(< (first ns) 0) (error 'ns "`sqrt' requires a nonnegative input ~s")] 
     [else ((sqrt ns) (* (sqrt ns) -1))])) 

Type Checker: type mismatch 
    expected: (Listof Number) 
    given: Zero 
    in: 0 
Type Checker: type mismatch 
    expected: Nonnegative-Real 
    given: (Pairof Nonnegative-Real (Listof Number)) 
    in: ns 
Type Checker: type mismatch 
    expected: Nonnegative-Real 
    given: (Pairof Nonnegative-Real (Listof Number)) 
    in: ns 
Type Checker: Summary: 3 errors encountered 
    in: 
    0 
    ns 
    ns 

Answer 1

В else случае, вы должны использовать:

(let ([s (sqrt (first ns))]) 
    (cons s 
     (cons (* s -1) 
       (sqrt+ (rest ns)))))` 

Answer 2

еще причина должна быть разными, и если у вас есть пустой список, возвращаемый тип также должен быть пустой список, а не число. Итак, возврат первого предложения вашего cond должен быть «null» или «nil». Попробуйте использовать ниже вместо (синтаксис, возможно, придется быть переделаны немного):

(define (sqrt+ ns) 
    (cond [(null? ns) ns] 
     [(< (first ns) 0) (error 'ns "`sqrt' requires a nonnegative input ~s")] 
     [else (cons (sqrt (first ns)) 
        (cons (* -1 (sqrt (first ns))) 
          (sqrt+ (rest ns))))]))