Return-Path: <michel@digirati.com.br> X-Spam-HitLevel: X-Spam-DCC: : X-Spam-Checker-Version: SpamAssassin 3.1.0 (2005-09-13) on cs3.bu.edu X-Spam-Level: X-Spam-Status: No, score=-2.6 required=10.0 tests=BAYES_00 autolearn=ham version=3.1.0 X-Spam-Pyzor: Received: from mta3.k8.com.br (mta3.k8.com.br [200.185.109.79]) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id kAQJW614026445 for <cs520@cs.bu.edu>; Sun, 26 Nov 2006 14:33:32 -0500 Received: from localhost (localhost [127.0.0.1]) by smtpa.k8.com.br (Postfix) with ESMTP id 53FA93400110 for <cs520@cs.bu.edu>; Sun, 26 Nov 2006 17:31:48 -0200 (BRST) Received: from smtpa.k8.com.br ([127.0.0.1]) by localhost (mta3.k8.com.br [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 17409-01-9 for <cs520@cs.bu.edu>; Sun, 26 Nov 2006 17:31:48 -0200 (BRST) Received: from dark (c-71-232-158-11.hsd1.ma.comcast.net [71.232.158.11]) by smtpa.k8.com.br (Postfix) with ESMTP id A12FA3400041 for <cs520@cs.bu.edu>; Sun, 26 Nov 2006 17:31:46 -0200 (BRST) Message-ID: <00c201c71191$84c21330$13b6a8c0@dark> From: "Michel Machado" <michel@digirati.com.br> To: <cs520@cs.bu.edu> Subject: Abstraction values Date: Sun, 26 Nov 2006 14:31:46 -0500 Organization: Digirati Content-Type: text/plain; format=flowed; charset="iso-8859-1"; reply-type=original Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.2869 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2962 X-Virus-Scanned: amavisd-new at k8.com.br X-Clamav-Status: No Status: RO Content-Length: 324 X-UID: 57 X-Keywords:
Hi Rui,
My typechecker is assigning the following type to the term "(lam (f) =>
lam (x) => f x)":
TpFun (TpFun (TpUni 1, TpUni 2), TpFun (TpUni 1, TpUni 2))
Is it okay? The specification doesn't mention how types for higher-order
values should look like when they have no concrete types.
[ ]'s
Michel Machado
This archive was generated by hypermail 2b29 : Thu Dec 14 2006 - 16:31:59 EST