[racket-users] typed racket, pattern matching, and hash tables

Hi all, I'm really having a lot of fun playing with typed racket these days. But I keep hitting some confusing issues with hash tables. The following bit of code works fine in #lang racket but chokes on #lang typed/racket: (match (hash 'low 5 'high 5) [(hash-table ('low (? integer? low))

Re: [racket-users] Learning by doing Typed Racket

On 13/06/2016 03:53, Daniel Prager wrote: On Mon, Jun 13, 2016 at 10:59 AM, Matthew Butterick > wrote: Some people, when confronted with a problem, think "I know, I'll use Typed Racket." Now they have (Pairof Problem Problem). Most droll !