История изменений

Тоесть вывод получается такой: 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, когда тот на пароте еще был.

Тоесть вывод получается такой: 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, когда тот на пароте еще был.