| From: Raoul Duke (raould at gmail.com) Date: Thu Mar 4 17:07:13 EST 2010 |
|
On Thu, Mar 4, 2010 at 2:05 PM, John Clements <clements at brinckerhoff.org> wrote: > There's a difference between assigning a fresh type variable and choosing a base type at random. This is like "solving" x+4=8 by saying "let's suppose that x is 3. Nope, this equation doesn't check." i (think i) see what you mean, that does seem extra scary. sincerely.
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}