Home » forums » LtU Forum

Actual programs written in FP or FL?

I've become enamored with Backus's FP language (and the lesser known follow-up FL) as of late. Does anyone know of *any* programs written in either of these languages that are outside the 1-3 line toy variety? I've found nothing. Even 10+ line toy programs would be fine, but a larger program would be even better.

(For programs in a related style there's Iverson's J, but I'd still like to see some real FP programs.)

By James Hague at 2005-12-07 14:35 | LtU Forum | previous forum topic | next forum topic | other blogs | 13391 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

I wrote some longer toy progr

I wrote some longer toy programs for my own FP implementation long ago. But it's unreleased, I'm not sure where I put it, and the syntax was different from Backus's FP. (Notably, function composition was written like "f1 f2" instead of "f2 o f1".)

Maybe you could track down IFP (Illinois FP), which might come with examples. They messed with the syntax, too, to look more Algolish.

By Darius Bacon at Wed, 2005-12-07 16:16 | login or register to post comments

Illinois FP

I remember playing with IFP almost 15 years ago and really liking it. Unfortunately I haven’t been able to find a distribution of it online. If anyone knows of where I can find this, I would appreciate it if they would let me know.

By Kevin Greer at Fri, 2005-12-09 16:29 | login or register to post comments

Illinois FP source

I found the source here. I haven't tried compiling it yet, but it has an interesting collection of sample programs.

http://www.isc.org/index.pl?/sources/devel/lang/ifp.php

By Lewis Bruck at Sun, 2005-12-11 01:49 | login or register to post comments

PLaSM

PLaSM is an FL dialect described as a "functional language for computing with geometry" (previously mentioned). The PLaSM site has some source code on the libraries page. There are also some examples if you download the system sources (although I haven't actually tried to build the system to test them out). Sadly, I've had no luck finding more than a few scattered papers about FL itself.

By Andrew Glynn at Wed, 2005-12-07 21:40 | login or register to post comments

at least there is an interpreter to play with

I believe there aren't any ``real FP programs'' around at all, because FP was never a ``real'' language. I myself remember having some good time, around 1998, playing with an implementation of FP written by Andy Valencia. The interpreter is still alive somewhere in the net. There are some really small example programs accompanying it, but you can write your own ones. Plus, you can play with the implementation itself, if you are so inclined.

By Boyko Bantchev at Fri, 2005-12-09 14:32 | login or register to post comments

google is amazing...

I found this after a couple of minutes of googleing: (long url here). It's a c implementation, but the programs that it comes with as examples look like they may be what you are looking for. Look at the discrete fourier transforms example - it's a bit more than 3 lines ;)

By jonraphaelson at Fri, 2005-12-09 19:41 | login or register to post comments

Obviously I googled for it

and I found a few interpreters. I didn't realize that one of those interpreters came with an example of more than a few lines. That's great! But it's still quite sparse as far as fp programs go, especially considering the excitement that fp generated.

By James Hague at Fri, 2005-12-09 22:28 | login or register to post comments

nothing to be surprised of

J. Backus did not invent FP as a programming language per se, and FP's limitations are well known. That there aren't really many programs written in FP is perhaps due to the fact that “the excitement that fp generated” took the form of creating other, complete with features, really usable functional languages that support the combinatorial (purely applicative) style of programming exemplified by FP.

By Boyko Bantchev at Sat, 2005-12-10 16:21 | login or register to post comments

Links to FP implementations in de.wikipedia.org

https://de.wikipedia.org/wiki/Functional_Programming_System

By Stefan Cygon at Wed, 2009-05-20 20:35 | login or register to post comments

Furry Paws

There's Furry Paws, an FP compiler written in FP:

http://www.call-with-current-continuation.org/fp/

By doublec at Thu, 2009-05-21 06:52 | login or register to post comments

Pointfrip

pointfree interpreter in lazarus with library and examples.
https://github.com/metazip/pointfrip/blob/main/examples/library/standard.txt

By Stefan Cygon at Mon, 2017-12-18 11:11 | login or register to post comments