8b563c8055
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.
123 lines
2.9 KiB
Text
123 lines
2.9 KiB
Text
@comment $NetBSD: PLIST,v 1.1.1.1 2009/10/28 06:13:40 dholland Exp $
|
|
bin/pict
|
|
lib/pict/Contrib/Chun.px
|
|
lib/pict/Contrib/Chun.px.o
|
|
lib/pict/Contrib/Clock.px
|
|
lib/pict/Contrib/Clock.px.o
|
|
lib/pict/Contrib/Parse.px
|
|
lib/pict/Contrib/Parse.px.o
|
|
lib/pict/Contrib/Ppm.px
|
|
lib/pict/Contrib/Ppm.px.o
|
|
lib/pict/Contrib/TD.px
|
|
lib/pict/Contrib/TD.px.o
|
|
lib/pict/Picture/Basic.px
|
|
lib/pict/Picture/Basic.px.o
|
|
lib/pict/Picture/Combine.px
|
|
lib/pict/Picture/Combine.px.o
|
|
lib/pict/Picture/Other.px
|
|
lib/pict/Picture/Other.px.o
|
|
lib/pict/Picture/Package.px
|
|
lib/pict/Picture/Package.px.o
|
|
lib/pict/Picture/Picture.px
|
|
lib/pict/Picture/Picture.px.o
|
|
lib/pict/Picture/Server.px
|
|
lib/pict/Picture/Server.px.o
|
|
lib/pict/Picture/Transform.px
|
|
lib/pict/Picture/Transform.px.o
|
|
lib/pict/Picture/Types.px
|
|
lib/pict/Picture/Types.px.o
|
|
lib/pict/Picture/Utils.px
|
|
lib/pict/Picture/Utils.px.o
|
|
lib/pict/Posix/Args.px
|
|
lib/pict/Posix/Args.px.o
|
|
lib/pict/Posix/Env.px
|
|
lib/pict/Posix/Env.px.o
|
|
lib/pict/Posix/Fd.px
|
|
lib/pict/Posix/Fd.px.o
|
|
lib/pict/Posix/File.px
|
|
lib/pict/Posix/File.px.o
|
|
lib/pict/Posix/Perm.px
|
|
lib/pict/Posix/Perm.px.o
|
|
lib/pict/Posix/Persona.px
|
|
lib/pict/Posix/Persona.px.o
|
|
lib/pict/Posix/Proc.px
|
|
lib/pict/Posix/Proc.px.o
|
|
lib/pict/Posix/Signals.px
|
|
lib/pict/Posix/Signals.px.o
|
|
lib/pict/Posix/Sockets.px
|
|
lib/pict/Posix/Sockets.px.o
|
|
lib/pict/Posix/Stat.px
|
|
lib/pict/Posix/Stat.px.o
|
|
lib/pict/Posix/Time.px
|
|
lib/pict/Posix/Time.px.o
|
|
lib/pict/Std/Array.px
|
|
lib/pict/Std/Array.px.o
|
|
lib/pict/Std/Array2.px
|
|
lib/pict/Std/Array2.px.o
|
|
lib/pict/Std/Bool.px
|
|
lib/pict/Std/Bool.px.o
|
|
lib/pict/Std/Bytes.px
|
|
lib/pict/Std/Bytes.px.o
|
|
lib/pict/Std/Char.px
|
|
lib/pict/Std/Char.px.o
|
|
lib/pict/Std/Cmp.px
|
|
lib/pict/Std/Cmp.px.o
|
|
lib/pict/Std/Error.px
|
|
lib/pict/Std/Error.px.o
|
|
lib/pict/Std/Events.px
|
|
lib/pict/Std/Events.px.o
|
|
lib/pict/Std/Exn.px
|
|
lib/pict/Std/Exn.px.o
|
|
lib/pict/Std/External.px
|
|
lib/pict/Std/External.px.o
|
|
lib/pict/Std/Float.px
|
|
lib/pict/Std/Float.px.o
|
|
lib/pict/Std/Hash.px
|
|
lib/pict/Std/Hash.px.o
|
|
lib/pict/Std/Int.px
|
|
lib/pict/Std/Int.px.o
|
|
lib/pict/Std/Io.px
|
|
lib/pict/Std/Io.px.o
|
|
lib/pict/Std/List.px
|
|
lib/pict/Std/List.px.o
|
|
lib/pict/Std/MD5.px
|
|
lib/pict/Std/MD5.px.o
|
|
lib/pict/Std/Match.px
|
|
lib/pict/Std/Match.px.o
|
|
lib/pict/Std/Misc.px
|
|
lib/pict/Std/Misc.px.o
|
|
lib/pict/Std/Opt.px
|
|
lib/pict/Std/Opt.px.o
|
|
lib/pict/Std/PP.px
|
|
lib/pict/Std/PP.px.o
|
|
lib/pict/Std/Prim.px
|
|
lib/pict/Std/Prim.px.o
|
|
lib/pict/Std/Queue.px
|
|
lib/pict/Std/Queue.px.o
|
|
lib/pict/Std/Random.px
|
|
lib/pict/Std/Random.px.o
|
|
lib/pict/Std/Ref.px
|
|
lib/pict/Std/Ref.px.o
|
|
lib/pict/Std/Stream.px
|
|
lib/pict/Std/Stream.px.o
|
|
lib/pict/Std/String.px
|
|
lib/pict/Std/String.px.o
|
|
lib/pict/Std/Tags.px
|
|
lib/pict/Std/Tags.px.o
|
|
lib/pict/X11/Xlib.px
|
|
lib/pict/X11/Xlib.px.o
|
|
lib/pict/X11/Xrm.px
|
|
lib/pict/X11/Xrm.px.o
|
|
lib/pict/lib.px
|
|
lib/pict/lib.px.o
|
|
lib/pict/pict
|
|
lib/pict/pict.h
|
|
lib/pict/pictLib.a
|
|
lib/pict/pictLibG.a
|
|
lib/pict/pictLibP.a
|
|
lib/pict/src2pi
|
|
lib/pict/src2tex
|
|
share/doc/pict/defn.ps
|
|
share/doc/pict/design.ps
|
|
share/doc/pict/library.ps
|
|
share/doc/pict/tutorial.ps
|