I really like Racket and write as much as I can in Typed Racket. It's great but also has lots of weird little warts that I keep stumbling across. One of the big

I really like Racket and write as much as I can in Typed Racket. It's great but also has lots of weird little warts that I keep stumbling across. One of the biggest for me is that type signatures completely take the place of untyped Racket's contracts. It's way too difficult to have both types and contracts attached to things. Ideally one could write a contract for things that are not able to be expressed in the type system but Typed Racket doesn't let you.