Received: from mail.netbsd.org (mail.netbsd.org [204.152.190.11]) by www.NetBSD.org (Postfix) with ESMTP id 4FAC163B8B6 for ; Wed, 28 Oct 2009 06:13:42 +0000 (UTC) Received: by mail.netbsd.org (Postfix, from userid 0) id EB7B163B2BB; Wed, 28 Oct 2009 06:13:41 +0000 (UTC) Received: from cvs.netbsd.org (cvs.NetBSD.org [IPv6:2001:4f8:3:7:2e0:81ff:fe30:95bd]) by mail.netbsd.org (Postfix) with ESMTP id A122963B2BA for ; Wed, 28 Oct 2009 06:13:40 +0000 (UTC) Received: by cvs.netbsd.org (Postfix, from userid 500) id 90A71175DA; Wed, 28 Oct 2009 06:13:40 +0000 (UTC) MIME-Version: 1.0 Content-Disposition: inline Content-Transfer-Encoding: binary Content-Type: text/plain Date: Wed, 28 Oct 2009 06:13:40 +0000 From: "David A. Holland" Subject: CVS commit: pkgsrc/lang/pict To: pkgsrc-changes@NetBSD.org Reply-To: dholland@netbsd.org X-Mailer: log_accum Message-Id: <20091028061340.90A71175DA@cvs.netbsd.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: list Module Name: pkgsrc Committed By: dholland Date: Wed Oct 28 06:13:40 UTC 2009 Update of /cvsroot/pkgsrc/lang/pict In directory ivanova.netbsd.org:/tmp/cvs-serv29870 Log Message: Initial import of Pict 4.1 into the NetBSD package system. Pict is a language in the ML tradition, formed by adding a layer of convenient syntactic sugar and a static type system to a tiny core. The current release includes a Pict-to-C compiler, reference manual, language tutorial, numerous libraries, and example programs. The core language - an asynchronous variant of Milner, Parrow, and Walker's pi-calculus - has been used as a theoretical foundation for a broad class of concurrent computations. The goal in Pict is to identify high-level idioms that arise naturally when these primitives are used to build working programs - idioms such as basic data structures, protocols for returning results, higher-order programming, selective communication, and concurrent objects. The type system integrates a number of features found in recent work on theoretical foundations for typed object-oriented languages: higher-order polymorphism, simple recursive types, subtyping, and a powerful partial type inference algorithm. Status: Vendor Tag: TNF Release Tags: pkgsrc-base N pkgsrc/lang/pict/Makefile N pkgsrc/lang/pict/DESCR N pkgsrc/lang/pict/distinfo N pkgsrc/lang/pict/PLIST N pkgsrc/lang/pict/patches/patch-aa N pkgsrc/lang/pict/patches/patch-ab N pkgsrc/lang/pict/patches/patch-ac N pkgsrc/lang/pict/patches/patch-ad N pkgsrc/lang/pict/patches/patch-ae N pkgsrc/lang/pict/patches/patch-af N pkgsrc/lang/pict/patches/patch-ya N pkgsrc/lang/pict/patches/patch-yb N pkgsrc/lang/pict/patches/patch-yc N pkgsrc/lang/pict/patches/patch-yd N pkgsrc/lang/pict/patches/patch-ye N pkgsrc/lang/pict/patches/patch-yf N pkgsrc/lang/pict/patches/patch-yg N pkgsrc/lang/pict/patches/patch-yh N pkgsrc/lang/pict/patches/patch-yi N pkgsrc/lang/pict/patches/patch-yj N pkgsrc/lang/pict/patches/patch-yk N pkgsrc/lang/pict/patches/patch-yl N pkgsrc/lang/pict/patches/patch-ym No conflicts created by this import