[racket] (off) Purely Functional needs "One Memory/Massively Parallel"

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Wed Feb 5 19:46:28 EST 2014

(1) Based on my experience, I suggest a 'theorem' that roughly says "there is always more data to be put into memory than there is data and there is always more need for speed than there is realizable speed in our processors." 

(2) I think FP can deal with I/O in a truly functional manner, but no, I haven't seen an efficient implementation yet. 




On Feb 5, 2014, at 11:48 AM, Lawrence Bottorff wrote:

> Please correct me if I'm way off base, but the whole issue of a purely functional language being impractical because it should not "go outside" the function (e.g. for IO) seems to hinge on the fact that there is (today) a segmented, discrete, world out there where data and apis etc. reside outside of your box running your program. What if you had limitless live memory and parallelism? Isn't the vaunted Google File System just this sort of "One Memory/Massively Parallel" beast? If your purely functional program were running in such a One Memory/massively parallel space, you could have some Ueber-function encompassing the data, within which all your subsequent functions could play. You could do anything and everything totally purely functionally. Right? So with Haskell, everything is fine, functionally pure -- until you have to go outside to interact with stuff outside your program. So don't go "outside." Right?
> 
> I'm coming at this from an old Cartography/GIS angle. Many years ago I heard of a project to write GIS software in (then new) Smalltalk. But it was deemed not feasible because the model was expected to bring into live memory an entire mapping project with all its geographic classes instantiated and ready to go . . . then you would do your work. But of course today, even on home machines, we measure memory in gigabytes.
> 
> Obviously, today's computing world is about dealing with lots and lots of discrete things: machines, datasets, apis, etc. So, my specific question is: Isn't purely functional really just waiting for One Memory/Massive Parallel wherein all its supposed foibles are moot? The whole "sort-of" functional world simply takes all the discretism for granted. But Isn't the purely functional paradigm driving us toward a day when some sort of OM/MP (virtual or real) is the rule?
> 
> LB
> Grand Marais, MN
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users



Posted on the users mailing list.