История изменений
Исправление tp_for_my_bunghole, (текущая версия) :
Да ну? Как на Lisp написать хотя бы тривиальное:
(: fn (-> (Listof Integer) Integer (Listof Integer)))
(define (fn l i) (cons i l))
Если выше это валидная запись в Racket, то это странно. List по принципу полиморфный без ограничений.
Common Lisp, тип фукции которая принимает vector целых чисел размером 3 элемента, и второй аргумент целое число. Возвращает cons.
(declaim (ftype (function ((vector integer 3) integer) (cons)) fn))
(defun fn (l i) (cons i l))
Исходная версия tp_for_my_bunghole, :
Да ну? Как на Lisp написать хотя бы тривиальное:
(: fn (-> (Listof Integer) Integer (Listof Integer)))
(define (fn l i) (cons i l))
Если выше это валидная запись в Racket, то это странно. List по принципу полиморфный без ограничений.
Common Lisp, тип фукции которая принимает vector целых чисел размером 3 элемента, и воторй аргумент целое число.
(declaim (ftype (function ((vector integer 3) integer) (cons)) fn))
(defun fn (l i) (cons i l))