functional programming

[Dan Schmidt]

neelk at brick.cswv.com (Neel Krishnaswami) writes:

| Tim Peters <tim_one at email.msn.com> wrote:
|
| > Not long ago Billy mentioned an especially <wink> pure functional
| > language called Joy, and reading the Joy papers should give a quick
| > feel for how powerful and natural reasoning can be in a language
| > aiming at that.  OTOH, Joy is useless <wink>.
| 
| IMO, it's the endpoint of the strongly-typed FP mafia's approach,
| carried to its logical limit -- every Joy progam will terminate, at
| the cost of the language's Turing-completeness. I *was* shocked by
| just how much Joy *can* do: it pretty much sold me on the idea that
| embedding Joy-style "extremely-pure" sublanguages in bigger ones is a
| Good Idea.

I looked it up and here's the Joy URL:
<http://www.latrobe.edu.au/www/philosophy/phimvt/j00syn.html>

-- 
Dan Schmidt | http://www.dfan.org