Functional Programming Addition to stdlib

What are your opinions of adding @milancurcic 's Functional-Fortran library to stdlib? As a functional programming fan and given its benefits in expressing ideas concisely, I am all for it. I think it would be an excellent enhancement.

2 Likes

I’m a fan as well but I’m not convinced it’s a good fit, for a reason that I’d concisely express as:

What’s useful is not performant; what’s performant is not useful. :slight_smile:

For example, head, last, init, and tail, as well as recursive stuff like map, filter and fold are useful for a functional style but if you use it you’ll be banished from HPC land. Something about redundant array copies and Fortran compilers not dealing well with many levels of recursion. Maybe it improved since.

Some of it is redundant with F2018 (e.g. use the more Fortrannic [integer ::] instead of empty). Some of it is in stdlib (e.g. arange).

Of the bunch, perhaps map is the best candidate. It does largely what elemental does, but without the restrictions of elemental. Before F2018 that was useful for recursive procedures, but now you can do that. I believe you still can’t pass elemental procedures as procedure pointers. Maybe map could be useful there.

That said, does anybody use this as a dependency? I don’t, but it was a fun exercise.

2 Likes

That is good to know. If in general, the functional implementations in Fortran are not as performant as the non-functional counterparts or implementations, that is understandable.

When declaring a zero-sized integer array named empty I found that [integer ::] was not needed. The declaration

integer empty(0)

was enough, even when it was an actual argument of a subprogram where the dummy argument was intent(in). But I wasn’t trying to declare empty as a parameter, and I would have needed different names for empty arrays of different kinds or ranks. (I had started by trying just [ ] because in mathematics and logic there is only one empty set, but I needed reminding that Fortran arrays are not sets.)

I was interested! But after inspecting a bit I got scared by performance implications. I saw then the github issue about time complexity and the discussion on HN and decided to roll my own, loop-based, implementation of union.

Some more info about what could have been my use case, if it is interesting to you:

This morning I stumbled upon the problem of building a set union of many small arrays, with (a lot) of values in common (in the worst case scenario the size of the union would be orders of magnitude smaller than the size of a simple concatenation). So I started a google hunt for an efficient implementation of such a thing. When I stumbled on your repo my first reaction was “yes, a clean, well documented, full-fledged library focusing on this domain, perfect!”.
But then I started inspecting the source code (I have arrays of derived types, so I could not just include the dependency, but instead try to copy the algorithm in my own code).

Two things immediately came to my attention

  • The body of union(a,b) itself deferres the functionality to set (which seems kind of obvious) applied to the merge of the two arrays. But such a merge is performed as [a,b] which I think is far from performance-optimized. I’m almost sure move_alloc should be used instead (but happy to be proven wrong, the automatic concatenation is infinitely more intuitive and elegant, syntax-wise).

  • The implementation of set(a) is recursive which has rung the definitive bell. Too much worry about stack management. Still, given the excellent presentation of the library in the README I thought I should be mistaken and came here to investigate about tail-call optimization in fortran and so on, to find that no, the entire project has been carried with no attention about this kind of issues, the scope itself was different[1].

This is perfectly fine, don’t get me wrong, but it calls in my opinion for a clear statement about scope and status in the README. Probably something as eye catching as a shields.io badge like:

lifecycle-experimental


  1. The set implementation could have well been done in a loop, without even really changing the logic: you loop on all the indices of the input array and, if the condition you already use inside the pack call is satisfied, you copy the value in a preallocated —set to all zeros— comformant array. Then, when you finish your span, you call just once pack on this array with the array/=0 condition and yeah, that’s your result. All this to say that I get that your implementation was more about an intellectual experiment, then production code. And that’s what I mean with “different scope”. ↩︎

1 Like

Right, it was an exercise in style, not performance. I don’t even know how fast or slow it is. Some compilers may be better than others for heavily recursive stuff like this. I wouldn’t call it experimental because to me that suggests it may or may not work. It does work. I’ll add a note about not optimizing for performance and YMMV.

1 Like

Yes, you’re right about the misleading message an “experimental” badge could convey. I was in lack of a better word. Such a note would work perfectly! :slight_smile:

3 posts were split to a new topic: Implement set union of many small arrays

@milancurcic Could you explain with a basic example why this is ? or point me to a resource that does.