Explores Profunctor Optics, Tannakian Reconstruction, and Tambara modules in category theory for functional programming.
Explores Tambara modules in category theory, their relation to Haskell optics, and monoidal functors with code examples.
Explores actegories in programming, starting from monoidal categories and their role in optics like lenses and prisms.
Explores Kan extensions in double categories, generalizing profunctor-based right and left Kan extensions with categorical and Haskell implementations.
Explores Kan extensions in Haskell, defining right Kan extensions and their adjunctions with categorical foundations.
A Haskell tutorial implementing profunctor equipment with functors, profunctors, and 2-cells for category theory enthusiasts.
Exploring how Claude Code successfully translates non-trivial codebases between languages like C++ to Java and Haskell to Clojure.
Explores using lenses in Haskell to simplify test assertions for nested data structures, improving test readability and precision.
Explores using test-specific equality (Eq) instances in Haskell to simplify unit test assertions for complex data types that lack built-in equality.
Explores why unit tests sometimes pass unexpectedly, focusing on tautological assertions and the discipline required for effective test-driven development.
A Haskell developer explores using pattern guards to simplify protocol logic for a cellular automaton simulation of finch behavior.
A deep dive into composing comonads in Haskell, using Conway's Game of Life and Advent of Code puzzles to explore category theory and functional programming.
A participant's detailed report on tackling the ICFP Contest 2024, focusing on implementing a custom lambda calculus language to solve complex programming challenges.
A tutorial on implementing a Huffman coding data compression utility in Haskell, focusing on constant memory usage and functional programming principles.
A developer compares solving Advent of Code puzzles in Prolog, Haskell, Python, and Scala, analyzing productivity, code style, and language ergonomics.
A team's experience and technical preparation for the ICFP Contest 2023, including their switch to F# and infrastructure setup.
A developer reflects on the compounding benefits of consistent practice, comparing long-term Haskell learning to physical training adaptations.
A participant's detailed report on their team's experience and technical approach in the 2022 ICFP programming contest.
Introduces haskell-docs-cli, a terminal tool for quickly searching Haskell package documentation and source code without leaving the editor.
An exploratory guide to understanding Monads in functional programming, using Swift examples to explain the abstract concept and its practical applications.
