sfermigier / awesome-functional-python Goto Github PK

https://pfun.dev/

Recently, I've been cooking up a library called unpythonic that adds Lisp and Haskell inspired features into Python.

There's a core of functionally oriented stuff that runs on bare Python, plus unpythonic.syntax, a collection of language features implemented in MacroPy3, including let/let*/letrec constructs, automatic TCO, automatic currying, lazy functions (call-by-need), and continuations (call/cc).

It's on PyPI.

What do you think, is it on topic?

I may have been too fast, but I think you missed the following library, which I'm finding very cool?

Algebraic data types for Python

Thanks for your nice set of references

Hi. would you mind adding my talk and library to this list?

I've used some of these libraries before like pymonad, but I didn't really want the base classes like functor, associative, etc. I just wanted the following Monads - Try, Either, Option, etc., so I made a small library for it.

Talk: https://www.youtube.com/watch?v=x7sQVLO3JJA
Library: https://github.com/vickumar1981/pyeffects
Docs: https://pyeffects.readthedocs.io/en/latest/?badge=latest

Thanks!

Hi - many thanks for this extensive list, found a few really interesting libs!

One thing: ReactiveX is pretty spread meanwhile in the industry. I know, its considered slightly different to functional programming but still.
And the RxPY implementation is really serious, absolutely feature complete, we use it in production - and it offers more than the JS or Java implementation - but still, due to a private effort of one guy (not me) dependent on some marketing, so:

I think RxPY should get its stars mentioned - since I think it is well within the top 5 most popular libs on your list & and it really deserves it - there are some books around that specific Rx implementation :-)

One of the most useful things in functional programming I've come across is pattern matching, and Pampy seems to do a good job of it.

https://github.com/santinic/pampy

Consider adding this? I'm in a time crunch or I'd make a PR, but I just wanted to get this mentioned somewhere.

https://github.com/dbrattli/aioreactive

Hi :)

What do you think about adding sodiumfrp to the list?

https://github.com/mentalisttraceur/python-compose

Why we need a Python functional programming initiative: a manifesto - Leftfile 2023

Takes you to a page that says: "This service has been suspended by its owner."

I am not sure about this article: https://sobolevn.me/2019/03/enforcing-srp

Should I submit it or not? It is a purely functional approach, but not so widely used.

Hi guys, firstly thanks for this project, I’ve found many interesting projects here. I’m not sure what’s the correct procedure, but I would like to ask you to consider adding a library I developed - Orinoco. If you have any feedback I’d love to hear it as well. Thanks

I came across this Result - Rust like return types.
This is very smaller in scope compared to Returns but quite nice.
Belongs here?

While looking at some of the libraries, I noticed that many of them haven't been active for years, and some archived.

I checked all of them. I listed the ones with >1 year since the last PyPi release, and no commit activity, and the year since the last (non-trivial) commit:

General

14 / 23

• fn.py "maintaned" fork - a minimal release in 2023, but the release before that was in 2027 (see the changelog)
• PyFunctional - 2021 (some PR's were merged in Sep 2023, then radio silence again)
• hask - 2015
• OSlash - 2020
• Effect - 2022
• Underscore.py - 2018
• fnc - 2021 (some config tweaks in Oct 2023, then radio silence again)
• Flupy - 2022
• Phi - 2018
• pyramda - Archived by the owner on Sep 5, 2023
• PyMonad - 2021
• unpythonic - 2022
• pyMonet - 2020
• pyeffects - 2022 (some dependabot and other trivial PR's are spuriously merged, but the last release was in 2022, and the CI appears broken)

Return types

2 / 5

• Option - 2022
• Safetywrap - 2020

Immutable / persistent data structures

4 / 6

• Discodb - 2015
• Funktown - 2015
• Amino - 2019
• Pysistence - 2011, repo is gone

Pattern matching

3 / 4

• pampy - 2022
• python-pattern-matching - 2021
• patmat - 2016

Transducers

2 / 2 (!)

• Tranducers-Python - archived by the owner on Jun 3, 2023
• Transducers - 2017

Reactive programming

2 / 3

• RxPy - 2022 (no reactions on issues either)
• sodium-python - 2022 (except for 2 commits and minimal release in July, 2023)

Lenses and declarative data manipulations

0 / 2

Other / specialized

4 / 87

• chainable Flupy - 2022 (fyi, it's renamed to Flupy, which is also in the General category)
• ADT - 2021
• sumtypes - 2021
• python-mini-lambda - 2020

Languages

5/8

• Mochi - 2016
• Tydy typy - 2018
• dg (aka dogelang) - 2020
• pixie - 2017
• Pycket - 2021

Removing these would not be a good idea IMHO -- clearly marking them as inactive, unmaintained, or abandoned would be more informative.

It's truly sad to see so many of these (potentially) awesome projects end like this...

I personally use it as a filter (love me some type-safety). I can volunteer gathering the information as well 👍

For categories, I'd propose something like (full/partial/no), and only evaluate a sample of public methods.

What do you think? :-)

I ran the site through https://validator.w3.org/checklink

error Line: 1971 http://www.oreilly.com/programming/free/files/functional-programming-python.pdf redirected to https://www.oreilly.com/programming/free/files/functional-programming-python.pdf
Status: 301 -> 404 Not Found
The link is broken. Double-check that you have not made any typo, or mistake in copy-pasting. If the link points to a resource that no longer exists, you may want to remove or fix the link.

error Line: 2007 https://www.udemy.com/functional-programming-in-7-days/
Status: 403 Forbidden
The link is forbidden! This needs fixing. Usual suspects: a missing index.html or Overview.html, or a missing ACL.

error Lines: 166, 1072, 1073, 1074, 1168, 1290, 1389, 1951, 1957, 1958, 1959, 1960, 1961, 1962, 1964, 1968, 1969, 1973, 1977, 1978, 1990, 1997, 2003, 2004, 2010, 2030, 2034, 2038, 2039, 2065, 2073, 2085, 2093, 2099, 2105, 2110, 2121, 2123, 2128, 2174 https://github.com/sfermigier/awesome-functional-python
Status: 200 OK
Some of the links to this resource point to broken URI fragments (such as index.html#fragment).

Broken fragments:
https://github.com/sfermigier/awesome-functional-python#free-books--ebooks (line 1969)
https://github.com/sfermigier/awesome-functional-python#dead-languages (line 2128)
https://github.com/sfermigier/awesome-functional-python#video-lectures-not-free (line 2004)
https://github.com/sfermigier/awesome-functional-python#non-free-books (line 1973)
https://github.com/sfermigier/awesome-functional-python#readme-ov-file (line 2174)
https://github.com/sfermigier/awesome-functional-python#books (lines 1958, 1968)
https://github.com/sfermigier/awesome-functional-python#active-languages (line 2123)
https://github.com/sfermigier/awesome-functional-python#scientific-papers (line 2030)
https://github.com/sfermigier/awesome-functional-python#advanced-or-specialized (line 1990)
https://github.com/sfermigier/awesome-functional-python#languages (lines 1962, 2121)
https://github.com/sfermigier/awesome-functional-python#general (line 2039)
https://github.com/sfermigier/awesome-functional-python#lenses-and-declarative-data-manipulations (line 2105)
https://github.com/sfermigier/awesome-functional-python#other-resources (lines 1960, 2003)
https://github.com/sfermigier/awesome-functional-python#immutable--persistent-data-structures (line 2073)
https://github.com/sfermigier/awesome-functional-python#tranducers (line 2093)
https://github.com/sfermigier/awesome-functional-python#pattern-matching (line 2085)
https://github.com/sfermigier/awesome-functional-python#blog-posts (line 2010)
https://github.com/sfermigier/awesome-functional-python#libraries (lines 1961, 2038)
https://github.com/sfermigier/awesome-functional-python#awesome-functional-python (line 1951)
https://github.com/sfermigier/awesome-functional-python#return-types (line 2065)
https://github.com/sfermigier/awesome-functional-python#presentation-slides (line 2034)
https://github.com/sfermigier/awesome-functional-python#official-documentation (lines 1957, 1964)
https://github.com/sfermigier/awesome-functional-python#data-science-oriented (line 1997)
https://github.com/sfermigier/awesome-functional-python#introductory (line 1978)
https://github.com/sfermigier/awesome-functional-python#talks (lines 1959, 1977)
https://github.com/sfermigier/awesome-functional-python#other--specialized (line 2110)
https://github.com/sfermigier/awesome-functional-python#support-for-reactive-style (line 2099)
info Line: 2001 https://docs.google.com/presentation/d/1eI60SL3UxtWfr9ktrv48-pcIkk4S7JiDmeXGCyyGhCs
Status: (N/A) Forbidden by robots.txt
The link was not checked due to robots exclusion rules. Check the link manually.

warning Line: 2016 https://medium.com/@hansonkd/thinking-functionally-with-python-and-django-4127e3ace6e9 redirected to https://hansonkd.medium.com/thinking-functionally-with-python-and-django-4127e3ace6e9
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated to point to the more recent URI.

Broken fragments:
https://medium.com/@hansonkd/thinking-functionally-with-python-and-django-4127e3ace6e9#.own6sie8s (line 2016)
error Line: 2130 https://news.ycombinator.com/item?id=13420092
Status: 405 Not Allowed
The server does not allow HTTP HEAD requests, which prevents the Link Checker to check the link automatically. Check the link manually.

error Line: 2028 https://www.leftfile.org/
Status: 503 Service Unavailable
The server cannot service the request, for some unknown reason.

List of redirects
The links below are not broken, but the document does not use the exact URL, and the links were redirected. It may be a good idea to link to the final location, for the sake of speed.

warning Line: 1975 https://www.packtpub.com/application-development/functional-python-programming redirected to https://www.packtpub.com/product/functional-python-programming-second-edition/9781788627061
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.

warning Line: 2113 https://github.com/olirice/chainable redirected to https://github.com/olirice/flupy
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.

warning Line: 2032 http://www.cs.jhu.edu/~roe/padl2014.pdf redirected to https://www.cs.jhu.edu/~roe/padl2014.pdf
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.

warning Line: 2134 https://github.com/cyrus-/tydy redirected to https://github.com/cyrus-/typy
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.

warning Line: 1995 http://www.slideshare.net/alinadolgikh/austin-bingham-transducers-in-python redirected to https://www.slideshare.net/alinadolgikh/austin-bingham-transducers-in-python
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.

warning Line: 2050 https://github.com/cognitedata/Expression redirected to https://github.com/dbrattli/Expression
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.

warning Line: 2042 https://github.com/erikrose/more-itertools redirected to https://github.com/more-itertools/more-itertools
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.

warning Line: 2063 https://github.com/MartinBernstorff/Iter redirected to https://github.com/MartinBernstorff/iterpy
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.

warning Line: 2006 http://shop.oreilly.com/product/0636920042778.do redirected to https://www.oreilly.com/library/view/functional-programming-with/9781771374651/
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.

warning Line: 2068 https://github.com/dbrgn/result redirected to https://github.com/rustedpy/result
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.

warning Line: 1994 http://slides.com/tobiasgustafsson/immutability-and-python redirected to https://slides.com:443/tobiasgustafsson/immutability-and-python
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.

warning Line: 2112 https://github.com/orsinium/deal redirected to https://github.com/life4/deal
Status: 301 -> 200 OK
This is a permanent redirect. The link should be updated.