Проверка типа и вывод типа - PullRequest
Новая
       40

Проверка типа и вывод типа

0 голосов
/ 30 сентября 2018

Может кто-нибудь объяснить разницу между проверкой типа и проблемой вывода типа проблема?

Я пытался найти разницу, но не смогне найти ни одного убедительного источника, который четко объясняет разницу.Если возможно, включите также примеры.

1 Ответ

0 голосов
/ 30 сентября 2018

Учитывая код: 

(define (sum lst)
  (if (null? lst)
      0
      (+ (car lst) 
         (sum (cdr lst)))))

Есть ли что-нибудь, что вы могли бы сказать о том, что должно быть lst или какие процедуры возвращают тип?Компилятор может сделать то же самое, и это будет называться выводом типа.

Проверка типов - это проверка типов, указанных в коде или предполагаемых.Он потерпит неудачу, если в коде есть несоответствия или неясно, что он складывается.

...