> On May 3, 2017, at 10:01 PM, Daniel Prager <daniel.a.pra...@gmail.com> wrote: > > Do you bet on the Formula I driver whose team includes the most safety > features? ;-)
Yes. He’s more like to survive and get across the goal line :)) > From a technical perspective I'm happy to not mention invariants or > covariance again for now: they don't seem very relevant in the main Racket > use cases You need to wrap your head around boundaries. Google for Robby’s keynote at ICFP in Goteburg and try to scan this paper: http://www.ccs.neu.edu/racket/pubs/#icfp16-dnff <http://www.ccs.neu.edu/racket/pubs/#icfp16-dnff> -- 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. For more options, visit https://groups.google.com/d/optout.
