Tag
The article discusses point-free logic programming, a concept related to functional programming paradigms.
A talk tracing the evolution from goto spaghetti to structured loops and finally to recursion schemes, showing how control-flow abstractions mirror data structures and why most languages still hide the best combinators.
The article presents an algorithmic reconstruction of normalisation by evaluation (NbE) for untyped lambda calculus, showing step-by-step optimizations that yield an asymptotically faster normaliser than standard NbE implementations.
The Effekt programming language blog post demonstrates how to implement recursion schemes (particularly catamorphisms) using effects and handlers instead of traditional functor-based approaches, avoiding the need for infinitely recursive types.
LispE is an open-source Lisp dialect by NAVER that combines functional and array language features with support for AI libraries like PyTorch, llama.cpp, and MLX. It runs as both a native application and WebAssembly library with thread support and modern functional programming capabilities.
Official Clojure documentation explains transducers—composable, stateful transformation functions that decouple sequence processing from specific collection types.