H ? « ‹ ← → › »

Language peer sets for FISh:
Australia↑
Australia/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑
Experimental and other ↑
Experimental and other/1997↑
Experimental and other/au ↑

FISh(ID:3654/fis001)

alternate simple view
Country: Australia
Designed 1997
Published: 1998
Sammet category: Experimental and other

for Functional = Imperative + Shape

FISh is a new array programming language that combines (and extends) the expressive power  of functional programming with the  efficient execution  of imperative, or procedural, programming by performing  static shape analysis  on all programs.

This shape computation reduces higher-order functional programs to simple imperative forms, i.e. F - Sh = I. Conversely, FISh works best when functions are constructed from imperative procedures and shape functions, as recommended by the slogan that gives the language its name.  Functional = Imperative + Shape  FISh execution speeds on typical array problems are several times faster than other higher-order, polymorphic languages.

People:
Structures:
References:
  • C B Jay (1997) C B Jay "The FISh language definition" Abstract
  • C B Jay and P A Steckler (1997) C B Jay and P A Steckler "The Functional Imperative: Shape!" Abstract
  • C B Jay, D Clarke and J Edwards (1997) C B Jay, D Clarke and J Edwards "Shape Analysis for Parallel Computing" Abstract
  • C B Jay (1999) C B Jay "Costing parallel programs as a function of shapes" Abstract
  • C B Jay (2000) C B Jay "A Semantics for Shape" Abstract
  • C B Jay (2000) C B Jay "Separating Shape from Data" Abstract
  • C B Jay and J Noble (2000) C B Jay and J Noble "Shaping object-oriented programs" Abstract
  • C B Jay and M Sekanina (2000) C B Jay and M Sekanina "Shape Checking of Array Programs" Abstract
  • C B Jay, E Moggi and G Belle (2000) C B Jay, E Moggi and G Belle "Functors, Types and Shapes" Abstract
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder