Исправление q0tw4, (текущая версия) :
Тоесть вывод получается такой: typed не готов к продакшену, узай контракты. Не ну что, я буду писать (match (syntax->list stx) ...) вместо syntax-case чтоли. Да и еще там куча багов есть, например из того, что еще находил
> (define [x : (Listof (HashTable Any Any))] (list (make-hash)))
. type-check: type name HashTable used out of context in (HashTable Any Any) in: HashTable
Это же выходит не ЯП, а сплошной глюкодром, я такое только в идрисе когдато видел и в перле 6, когда тот на пароте еще был.
Исходная версия q0tw4, :
Тоесть вывод получается такой: typed не готов к продакшену, узай контракты. Не ну что, я буду писать (match (syntax->list stx) ...) вместо syntax-case чтоли. Да и еще там куча багов есть, например из того, что еще находил
> (define [x : (Listof (HashTable Any Any))] (list (make-hash)))
. type-check: type name HashTable used out of context in (HashTable Any Any) in: HashTable
Это же выходит на ЯП а сплошной глюкодром, я такое только в идрисе когдато видел и в перле 6, когда тот на пароте еще был.