work flow of typed/racket/no-check function

33 views
Skip to first unread message

Asiful Islam

unread,
Jun 20, 2017, 8:27:49 AM6/20/17
to Racket Developers
Can someone kindly tell me how typed/racket/no-check works? I mean the the work flow of that function when it converts typed racket to untyped racket. 

Sam Tobin-Hochstadt

unread,
Jun 20, 2017, 8:58:00 AM6/20/17
to Asiful Islam, Racket Developers
`typed/racket/no-check` allows you to use the syntax of Typed Racket
(such as the type annotation forms) but does no type checking at all
-- it's just simple syntax that has no extra meaning beyond regular
untyped racket.

Sam

On Tue, Jun 20, 2017 at 8:27 AM, Asiful Islam <asifult...@gmail.com> wrote:
> Can someone kindly tell me how typed/racket/no-check works? I mean the the
> work flow of that function when it converts typed racket to untyped racket.
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-dev+...@googlegroups.com.
> To post to this group, send email to racke...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-dev/4b401ead-6cd1-4cab-859d-a54e8eb8dc05%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
Reply all
Reply to author
Forward
0 new messages