Re: [racket-dev] more general typed/scheme bafflement...

2011-06-07 Thread John Clements
On Jun 7, 2011, at 4:26 PM, Carl Eastlund wrote: John, You had an easy time with + because it is monomorphic. You are having trouble applying one polymorphic function (map) to another (list or list2). Instantiate one or both functions explicitly, and Typed Racket won't get confused by

Re: [racket-dev] more general typed/scheme bafflement...

2011-06-07 Thread Sam Tobin-Hochstadt
On Tue, Jun 7, 2011 at 4:57 PM, John Clements cleme...@brinckerhoff.org wrote: On Jun 7, 2011, at 4:26 PM, Carl Eastlund wrote: John, You had an easy time with + because it is monomorphic.  You are having trouble applying one polymorphic function (map) to another (list or list2).