Tag
Foldkit is a new TypeScript frontend framework built on Effect-TS and inspired by Elm architecture, offering predictable state management, explicit effects, and built-in routing, UI components, and subscriptions.
A technical article presenting an encoding for existential types in Haskell using linear functions and unsafeCoerce, enabling 'naked' existentials without GADT wrappers, and demonstrating it with a safe variant of the lens combinator unsafePartsOf.
Jolt is a new Clojure implementation targeting Chez Scheme, aiming to provide a drop-in replacement with fast startup and low memory footprint, leveraging Chez's JIT and GC to avoid the JVM's overhead.
Incremental is a library from Jane Street for building efficient, self-adjusting computations that react to input changes, useful for spreadsheets, GUI views, and derived data synchronization.
A tutorial on the Joy programming language, a functional language based on composition of functions and combinators, using postfix notation and stack-based execution.
This article describes the design and implementation of a type-safe role-based authorization system on top of the servant-auth library in Haskell, enabling distinct handlers for each role with compile-time checks.
Xavier Leroy, creator of OCaml, discusses OCaml's features compared to Rust and JavaScript, formal verification, type inference, and the impact of LLMs on programming in a podcast interview.
This article from 1998 argues that ML and OCaml are excellent for writing compilers due to features like garbage collection, tail recursion optimization, and algebraic data types with pattern matching, which simplify handling complex compiler data structures.
This article demonstrates how to use continuations in the Gleam programming language to abstract over different computational effects like error handling and async, enabling reusable business logic.
An article explaining the concept of actegories in category theory and their role in programming optics such as lenses and prisms, with Haskell implementations.
This article demonstrates implementing data-directed programming in Haskell for complex number operations, following the approach from SICP 2.4.3 to avoid modifying generic functions when adding new representations.
This post mechanizes Mitchell Wand's 1991 type inference algorithm for biased record concatenation, providing declarative and algorithmic semantics and a Haskell reference implementation to advance type checking for Nix and other languages.
Poly/ML is a Standard ML implementation compatible with the ML97 standard, known for its fast compiler, foreign function interface, thread library, and use as the preferred implementation for large projects like Isabelle and HOL.
This article addresses the common Rust error when using a function that returns a Result within a map closure, and provides multiple solutions: collecting results, using a loop, filter_map, and try_fold.
An introduction to functional programming in the hica language, covering expressions, immutability, pure functions, closures, and higher-order functions like map, filter, and fold.
A detailed blog post presenting a fully commented proof of the Fundamental Theorem of Arithmetic in Agda, intended for intermediate learners of the proof assistant.
A blog post exploring the 'parse, don't validate' principle in TypeScript, showing how to use branded types to preserve type information after parsing, despite TypeScript's structural typing making this less idiomatic than in languages like Elm or Haskell.
A blog post discussing evaluation order and nontermination in functional relational query languages like λFS, referencing a paper on finite functional programming presented at FLOPS 2026.
This article reviews a Scheme interpreter implemented in J, explaining the tokenizer and recursive descent parser code.
Prism is a new functional language that integrates algebraic effects with a type system, allowing mutable state and other effects to be used without monads while preserving purity externally. It aims to make effects a first-class part of the type system, enabling optimization and safe usage.