для/список аннотаций в типизированном/racket

Question

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

(: index-member ((Listof Any) (Listof Any) -> (Listof Index))) 
(define (index-member xs ys) 
    (filter-not negative? 
       (for/list ([(ann i Index) (in-range (ann (length xs) Index))]) 
       (if (member (list-ref xs i) ys) i -1)))) 

Эта функция возвращает список индексов foreach x, который является членом y. Он работает в Racket, но, похоже, я не могу пройти мимо проверки типа Typed Racket. В частности, возникает ошибка:

Тип проверки: ошибка при расширении макроса - недостаточная информация о типе для typecheck. добавьте дополнительные аннотации типов в: (для/list (((ann i Index) (in-range (ann (length xs) Index)))) (if (member (list-ref xs i) ys) i -1))

Можете ли вы предоставить аннотации, которые проходят мимо проверки типов и/или объясняют, почему аннотации этих типов недостаточны?

Answer 1

Ключ предназначен для использования формы for/list:, так как он позволяет добавлять аннотации типов по базовой форме for/list, чтобы дать Typed Racket больше рекомендаций. Я сделал несколько других настроек, чтобы получить типы выстраиваться (например, с использованием filter над filter-not, избегая in-range и т.д.):

#lang typed/racket 

(: index-member ((Listof Any) (Listof Any) -> (Listof Index))) 
(define (index-member xs ys) 
    (filter index? 
      (for/list: : (Listof Integer) ([i : Index (length xs)]) 
      (if (member (list-ref xs i) ys) i -1)))) 

Это фактически выставляет слабость типа filter-not (filter является умнее о типе списка, который он возвращает), который я рассмотрю в исправлении.