Hello, I come to Racket from Haskell and so far I am quite happy, as I feel freer to do some weird stuff from time to time, and I am absolutely in love with the Lisp-parens syntax.
As a former Haskeller, one of the first things I tried was Typed Racket. It worked like a charm for small examples, but started getting in my way too much as soon as I got to some more advanced stuff (e.g. polymorphic functions, generics, eval, even apply). My immediate reaction was ditching types for contracts, which are rather fine and allow me to use a familiar language, but I am somewhat worried about the performance penalties defining everything via define/contract may incur. Also, it seems weird to set up runtime contract checks where a simple type annotation would do. I have no problem with Typed Racket not being able to type every single one of my functions (after all, I came to Racket to be able to do weird stuff), but so far I couldn't figure out what would be the best way to mix typed and untyped code inside a single module, ideally without having to split it into two separate files. What is the standard practice for mixing typed and untyped code within a single module? Submodules? Typed regions within untyped code? Maybe there is an example somewhere I can have a look at? - Sergiu -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/2b1c49ad-2076-47f7-8589-d20eff9feca1%40googlegroups.com.
