Tag
LispE is a compact Lisp dialect developed by NAVER that combines functional and array language features, with support for AI libraries like PyTorch and llama.cpp.
Mercury is a logic/functional programming language that combines declarative programming with static analysis and error detection. The repository provides source code, documentation, and backend support for multiple platforms.
This blog post provides a toy Haskell implementation of profunctor equipment, including natural transformations and composition, to make category-theoretic concepts accessible to programmers.
Erlang/OTP 29.0 is a major release introducing native records, multi-valued comprehensions, improved compiler warnings, and enhanced security defaults like disabled SSH daemons. It also includes JIT improvements and experimental features like post-quantum cryptography support.
The article discusses point-free logic programming, a concept related to functional programming paradigms.
Phel v0.36.0 is released, bringing a numeric tower and first-class Vars to the Lisp-inspired functional language that compiles to PHP.
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.
Effect is a TypeScript library for building robust, type-safe, production-grade applications, handling typed errors, dependency injection, structured concurrency, scheduling, tracing, and schema validation. Version 4.x is announced as a long-term support release with at least three years of support guarantees.