[racket] typed racket cps, state machines

From: Anthony Carrico (acarrico at memebeam.org)
Date: Sat Sep 6 13:46:38 EDT 2014

Even something like this won't type check:

(define #:∀ (V) (fn (r : V)) : V
  (define (loop) : Void (loop))
  r)

So all that stuff about cps-ish code may be irrelevant.

-- 
Anthony Carrico

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP digital signature
URL: <http://lists.racket-lang.org/users/archive/attachments/20140906/3056c7fa/attachment.sig>

Posted on the users mailing list.