[racket-users] Mixing different #lang in one application
If I’m not mistaken, you can do `(require typed/racket/gui)` within a `#lang typed/racket` program. That’s thanks to the wonderful typed-racket-more package. Best, Sean > > On Feb 10, 2020 at 15:56, mailto:devosalai...@gmail.com)> > wrote: > > > > I want to create a gui app. > But then I need: > #lang racket/gui > But when i click a button i want type control in the functions so i need : > #lang typed/racket > Are there solutions ? > > > > > -- > 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 > (mailto:racket-users+unsubscr...@googlegroups.com). > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/4b579c9d-b9d0-4d8b-9d60-5be31d6449fd%40googlegroups.com > > (https://groups.google.com/d/msgid/racket-users/4b579c9d-b9d0-4d8b-9d60-5be31d6449fd%40googlegroups.com?utm_medium=email_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/17c03c67-4f6e-44ef-8e42-82c1cbd5397e%40DOZER.
Re: [racket-users] Mixing different #lang in one application
Yes, you can use Typed Racket together with racket/gui -- there's a `typed/racket/gui` module that you can `require`, and also you can simply write the handler functions in `#lang typed/racket` and `require` them into your GUI application code. Sam On Mon, Feb 10, 2020 at 3:56 PM Alain De Vos wrote: > > I want to create a gui app. > But then I need: > #lang racket/gui > But when i click a button i want type control in the functions so i need : > #lang typed/racket > Are there solutions ? > > -- > 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/4b579c9d-b9d0-4d8b-9d60-5be31d6449fd%40googlegroups.com. -- 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/CAK%3DHD%2BbexxK868RuThfrseDusOoZKenur3%3DKSBoqL9aNUS5qbA%40mail.gmail.com.
[racket-users] Mixing different #lang in one application
I want to create a gui app. But then I need: #lang racket/gui But when i click a button i want type control in the functions so i need : #lang typed/racket Are there solutions ? -- 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/4b579c9d-b9d0-4d8b-9d60-5be31d6449fd%40googlegroups.com.
