http://ravrlab.ru/en/cs/progr_and_sdes/fp/ Recent content in Functional Programming on RAVR Lab Hugo en-us Fri, 02 May 2025 00:00:00 +0000 http://ravrlab.ru/en/cs/progr_and_sdes/fp/fp_langs/ Fri, 02 May 2025 00:00:00 +0000 http://ravrlab.ru/en/cs/progr_and_sdes/fp/fp_langs/ ML-family: Haskell, Elm, PureScript F# (lives in .NET-ecosystem) Scala (lives in Java-ecosystem) LISP Family: Hy (lives in Python-ecosystem) LISP, Scheme // original LISPs Clojure (lives in Java-ecosystem), Racket // modern LISPs Relevant ideas: code as data, homoiconicity, macros http://ravrlab.ru/en/cs/progr_and_sdes/fp/metaprogramming/ Wed, 30 Apr 2025 00:00:00 +0000 http://ravrlab.ru/en/cs/progr_and_sdes/fp/metaprogramming/ Approaches: macros, code-as-data (LISP) rule-based substitutions (Wolfram Mathematica) http://ravrlab.ru/en/cs/progr_and_sdes/fp/fp_core/ Mon, 28 Apr 2025 00:00:00 +0000 http://ravrlab.ru/en/cs/progr_and_sdes/fp/fp_core/ What FP is not There is a popular belief that functional programming in Python (and similarly everywhere else) is just: map, reduce and filter list comprehensions lambda functions In reality, those are just a minor secondary parts of FP. Core of FP FP in it’s core is the following. 1️⃣ Pure functions. Avoiding (or managing) side-effects. Stateless functions and state management. details Definition of pure function is that for a given input, pure function ALWAYS produces the same output. http://ravrlab.ru/en/cs/progr_and_sdes/fp/fp_patterns/ Mon, 28 Apr 2025 00:00:00 +0000 http://ravrlab.ru/en/cs/progr_and_sdes/fp/fp_patterns/ Compositions Nesting (implied higher-order functions) Currying and Partial application Threading, Piping (-> Clojure macro) Transducers (can be seen as a more mathematically pure -> macro) Cathegory theory related Commonly used: Monoid, Semigroup Zippers Functors, Applicative Monads Monad Transformers More rare: Alternative MonadPlus Comonad Free Monoid Free Monad Church-encoded Monad Popular Monads: List IO Maybe Either, Result Writer Reader Lazy State Popular Transformers: ReaderT MaybeT StateT ... Typesystem Basic: ADT (Algebraic Data Classes) Typeclasses GADT (Generalized ADTs) Advanced: