Image:Purely functional list after.gif

From Wikipedia, the free encyclopedia

Image
File history
File links

No higher resolution available.
Purely_functional_list_after.gif‎ (194 × 397 pixels, file size: 5 KB, MIME type: image/gif)

This is a candidate to be copied to the Wikimedia Commons. Appropriately licensed media are more accessible to other Wikimedia projects if placed on Commons. Any user may perform this move - please see Moving images to the Commons for more information.

Copy to Commons via CommonsHelper

A vector version of this image is also available, and should be used in place of this raster image whenever possible.
Note: this file will not be deleted for this reason, unless it is explicitly nominated for deletion. Deleting this image might break the “attribution path” for the new SVG image, which breaks licenses such as the GFDL.

Image:Purely functional list after.gif

Image:Purely functional list after.svg

For more information about vector graphics, see the articles on vector and raster graphics. There is also information about MediaWiki's support of SVG images.

Purely functional list, adapted from Okasaki (but redrawn by me using graphviz).

Here is the original DOT file:

digraph G {
       xs[shape=plaintext];
       xs -> 0;
       0 -> 1;
       1 -> 2;

       ys[shape=plaintext];
       ys -> 3;
       3 -> 4;
       4 -> 5;

       zs[shape=plaintext];
       02[label="0"];
       12[label="1"];
       22[label="2"];
       zs -> 02;
       02 -> 12;
       12 -> 22;
       22 -> 3;
}

I used:

dot -Tps file.dot |
  gs -sDEVICE=ppm -r300x300 -sOutputFile=file.ppm -dNOPAUSE

Then I used xv to crop the PPM file, scale it to 20% original size, smooth it, and convert to a GIF.

I, User:Richard W.M. Jones, hereby release this image under the GFDL.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. Subject to disclaimers.

File history

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Dimensions	User	Comment
current	17:03, 27 March 2005	194×397 (5 KB)	Richard W.M. Jones (Talk \| contribs)	(Purely functional list, adapted from Okasaki (but redrawn by me using graphviz). Here is the original DOT file: digraph G { xs[shape=plaintext]; xs -> 0; 0 -> 1; 1 -> 2; ys[shape=plaintext]; ys -> 3)