Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
FX91 reference manual

FX91 reference manual

Ratings: (0)|Views: 12 |Likes:
Published by cogscience
FX91 was a variant of scheme used in computer language research.

Developed at MIT
FX91 was a variant of scheme used in computer language research.

Developed at MIT

More info:

Categories:Types, Research
Published by: cogscience on Apr 25, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/17/2009

pdf

text

original

 
LAHBORATUI"PV
FOR
N
TlL?,
COMPUTER
SCIENCE
':F-CE(IINOLO(;Y
MITr/LCS/TkR-53
I
REPORT
ON.
THE.
FX-91
PROGRAMM:ING
LANGUAGE-
David
K.
Gifford
*
Pierre
Jouvelot.
Mark-A.
Sheldon
*James
W.'O'Toote
Fe
bruLiary
19
92'
545
TEIChNOLOGrY
SQUARE,
CAMBRIDGE.'N4ASSACýIIISF:'rS
o213')
%*
A.
 
Report
on
the
FX-91
Programming
Language
DAvID
K.
GIFFORD,
PIERRE
JOUVELOT,MARK
A.
SHELDON,
AND
JAMES
W.
O'TooLE
PROGRAMMINGSYSTEMS
RESEARCH
GROUP
MASSACHUSETrSINSTITUTE
OF
TECHNOLOGY
SUMMARY
CONTENTS
Thisreport
gives
a
defining
description
oftheprogram-Introduction
......................2
ruing
language
FX-91.
The
FX
(short
for
FX-91)
pro-
1.
Overview
of
FX
...................
3
gramming
language
is
designed
to
support
the
parallel
im-
1.1.
Semantics
...................3
plementation
of
applications
that
performboth
symbolic
1.2.
Lexicon
.......
....................
3
and
scientific
computations.The
unique
featuresof
FX
1.3.
Static
and
Dynamic
Errors
.............4
include:
1.4.
Conventions
........................4
2.
TheFX-91
Kernel
......................
5
"*
An
effect
system,
to
discover
expression
scheduling
2.1.
Kinds
......
.....................
5
constraints.An
effect
is
a
static
description
of
the
2.2.
Descriptions
.......................
5
side-effects
an
expression
may
perform
when
it
is
eval-
2.3.
Values
...........................
8
uated.
Just
as a
type
describes
what
an
expression
2.4.
Sugars
...........................13
computes,an
effect
describes
how
an
expression
com-
3.
Standard
Descriptions
.....
...............16
putes.
3.1.
Pure
............................16
3.2.
Init
.......................
.
16
"*
Abstraction
over
anykindof description,
thuspermit-
3.3.
Read
...
......................16
ting
first-class
type
and
effect
polymorphism.
Effect
3.4.
Write
......
.....................16
polymorphism
makes
the
FX
effect
system
morepow-
3.5.
Unit
.......
......................16
erful
than
previous
approaches
to
side-effect
analysis
3.6.
Bool
.......
......................16
in
the
presence
of
first-class
subroutines.
3.7.
Int
.......................16
"*
Type
and
effect
inference,
so
that
declaration
free
pro-
3.8.
Float..........................
17
grams
can
be
statically type
and
effect
checked.
FX
3.9.
Char
............................ 17
also
permits
explicitly
typed
programs,and programs
3.10.
String
......
.....................18
that
use
explicit
types
only
for
first-classpolymorphic
3.11.
Sym
.......
......................18
values
and modules.
3.12.
Permutation
........................19
3.13.
Refof
............................19
"*
First-class
modules,
which
permit
FX
to
serve
as
its
3.14.
Uniqueof
..........................19
own
configurationlanguage.
It
also includes
an
archi-
3.15.
Listof
......
.....................19
tectureindependent
module
of parallelvector
opera-
3.16.
Vectorof
..........................
20
tors.
3.17.
Sexp
............................
21
3.18.
Stream..........................22
Theintroduction
offers
a summary
of
and
motivation
for
Referencesa
......
........................
23
the
unique
properties
of
FX-91.
Alphabeticindex
of
definitions
of
concepts,
"*
Chapter
1
presentsthefundamental
ideas
of the
lan-
keywords,
and
procedures
.................
24
guage
and
describes
thenotational
conventionsused
for
describing
the
languageand
for
writingprograms
in
the
language.
This
research
was
supported
by
the
DefenseAdvancedRe-
"*
Chapter
2
describes
the
FX-91
Kernel.
The
FX
Ker-
search
Projects
Agency
of
theDepartement
of
Defense
and
nelincludes
essential
constructs
and
the
typeand
ef-
was
monitoredby
the
Office
of
Naval
Research
under
con-
fect
system.
tract
number
N00014-89-J-1988
"
Chapter
3
introducesbuilt-in
data
types
and
opera-PierreJouvelot
is
also
with
the
Centre
deRecherche
en
tions,
which
include
all
of the
language's
data
manip-
Informatique
of
Ecole
des
Mines
de
Paris,
France.
ulation
and
input-output
primitives.
 
MIT/LCS/TR-531
Report
on
the
FX-91
Programming
Language
Accesion
For
David
K.
Gifford
NTIS
CRA&I
Pierre
Jouvelot
DTIC
TAG
5
Mark
A.
Sheldon
Ur'annou-,ced
.]
JamesW.
O'Toole
Justification
Programming
Systems
Research
Group
BY
......
Laboratory
for
Computer
Science
Dist~bution
I
Availab!;ity
C,:•:
A'y;.)a.:iz•r
Dist
SAv. 
a
I
r
February
1992
This
research
was
supported
by
the
Defense
AdvancedResearch
Projects
Agency
of
theDepartementof
Defense
and
was
monitored
by
the
Office
of
Naval
Research
under contract
number
N00014-89-
J-1988
PierreJouvelot
is
also
withtheCentre
de
Recherche
en
Informatiqueof
Ecoledes Minesde
Paris,
France.
Keywords:
Programming
Languages,
Types,
Effects,Inference,
Polymorphism,
Modules,
Static
Checking,Vector
Operations
@1992
Massachusetts
Institute
of
Technology

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->