According to https://docs.racket-lang.org/ts-reference/type-ref.html, `Zero` exists.
On Sat, Jan 16, 2021 at 8:14 AM je...@lisp.sh <je...@lisp.sh> wrote: > Working in Typed Racket, consider a struct like this: > > (struct point > ([x : Real] > [y : Real])) > > Is there a way to express the type of those points whose y field is, say, > 0? In other words, I'd like a talk about point structs where x varies > freely, but y is always 0. Obviously, I can make a function that > discriminates this subclass, but I'm not sure how to express it as a type. > I've hunted around in the docs, but I can't quite find what I'm looking for. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/ee8bc006-590c-48f6-ac8b-4ef4f88019dfn%40googlegroups.com > <https://groups.google.com/d/msgid/racket-users/ee8bc006-590c-48f6-ac8b-4ef4f88019dfn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CADcuegvQDSR%2B7-rFp5crP7vK1%2Bnbgg0OS4yVz9Q%2B%3D%3Dg3XqRpfA%40mail.gmail.com.
