txlyre
/
avram


			
				
					
						
						
							12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455
							<html lang="en">
<head>
<title>List Combinators - avram - a virtual machine code interpreter</title>
<meta http-equiv="Content-Type" content="text/html">
<meta name="description" content="avram - a virtual machine code interpreter">
<meta name="generator" content="makeinfo 4.13">
<link title="Top" rel="start" href="index.html#Top">
<link rel="up" href="Virtual-Code-Semantics.html#Virtual-Code-Semantics" title="Virtual Code Semantics">
<link rel="prev" href="Iteration.html#Iteration" title="Iteration">
<link rel="next" href="List-Functions.html#List-Functions" title="List Functions">
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
<meta http-equiv="Content-Style-Type" content="text/css">
<style type="text/css"><!--
  pre.display { font-family:inherit }
  pre.format  { font-family:inherit }
  pre.smalldisplay { font-family:inherit; font-size:smaller }
  pre.smallformat  { font-family:inherit; font-size:smaller }
  pre.smallexample { font-size:smaller }
  pre.smalllisp    { font-size:smaller }
  span.sc    { font-variant:small-caps }
  span.roman { font-family:serif; font-weight:normal; } 
  span.sansserif { font-family:sans-serif; font-weight:normal; } 
--></style>
</head>
<body>
<div class="node">
<a name="List-Combinators"></a>
<p>
Next:&nbsp;<a rel="next" accesskey="n" href="List-Functions.html#List-Functions">List Functions</a>,
Previous:&nbsp;<a rel="previous" accesskey="p" href="Iteration.html#Iteration">Iteration</a>,
Up:&nbsp;<a rel="up" accesskey="u" href="Virtual-Code-Semantics.html#Virtual-Code-Semantics">Virtual Code Semantics</a>
<hr>
</div>

<h4 class="subsection">2.7.13 List Combinators</h4>

<p><a name="index-lists-316"></a><a name="index-imperative-programming-317"></a><a name="index-functional-programming-318"></a>There is extensive support for operations on lists in the virtual code
format. Use of these features is encouraged because they are conducive
to tight code with explicit concurrency. Within an imperative
programming paradigm, these features might perhaps have to be understood
as design patterns or algorithmic skeletons. The present exposition
takes a functional view, describing them in terms of operators that take
functions as their arguments and return functions as their result.

<ul class="menu">
<li><a accesskey="1" href="Map.html#Map">Map</a>
<li><a accesskey="2" href="Filter.html#Filter">Filter</a>
<li><a accesskey="3" href="Reduce.html#Reduce">Reduce</a>
<li><a accesskey="4" href="Sort.html#Sort">Sort</a>
<li><a accesskey="5" href="Transfer.html#Transfer">Transfer</a>
<li><a accesskey="6" href="Mapcur.html#Mapcur">Mapcur</a>
</ul>

   </body></html>