a
какой-нибудь паттерн матчинг контекста :)
Size: a a a
2020 June 22
ND
в чём смысл контрактов в ракете кстати?
ND
(define/contract (inc n)есть вот такая процедура, например
(-> number? number?)
(+ n 1))
ND
но при вызове
(inc "10") просто ничего не происходитLL
anton
какой-нибудь паттерн матчинг контекста :)
Зачем вообще контекст?
AZ
но при вызове
(inc "10") просто ничего не происходитВсе работает, бросает ошибку
inc: contract violation
expected: number?
inc: contract violation
expected: number?
ND
Все работает, бросает ошибку
inc: contract violation
expected: number?
inc: contract violation
expected: number?
ну я в емаксе через
racket-run запускаю и вижу ничегоAZ
ну я в емаксе через
racket-run запускаю и вижу ничегоЗначит с racket-run что-то, я из консоли запускал
ND
В консоли есть, да
a
Зачем вообще контекст?
чтоб в разных контекстах можно было сделать разное поведение, скорее даже приведение типа вручную, т.е. допустим при сложении со строкой выдать стоку "нет", при проверке в if выдать #f
LL
Переопредели функцию в пакете
a
имеется ввиду if?
LL
Любая, в которой тебе нужно другое поведение
ND
просто в репле тоже всё работает
ND
странно
a
Любая, в которой тебе нужно другое поведение
я примерно так сейчас и делаю, просто есть группы функций, которым нужно одно и то же
LL
В смысле одно и то же?
a
допустим and, or; +,-
a
car, cdr
LL
И в чём проблема с переопределением?