Я учусь некоторые типизированных ракетки на данный момент, и у меня есть несколько философской дилемма: Ракетка претендует быть основой развития языка и типизированная Ракеткой является одним из таких
Я пытаюсь добавить новый узел в дерево. Ниже приведены мои определения и тип функций: (define-struct (Some T)
([value : T]))
(define-type (Option T)
(U 'None (Some T)))
(define-type BST
Я пытаюсь найти максимальное число из заданного дерева: (define-struct (Some T)
([value : T]))
(define-type (Option T)
(U 'None (Some T)))
(define-type BST (U 'E Nd))
(define-struct Nd
Мне нужно сделать векторный кросс-продукт в типизированном/ракетке. Следующий код отлично работает в #lang racket без аннотаций типа. reference #lang typed/racket
(: cross-product (-> VectorTop Vect