ReadMeFeed / Community knowledge

#functional-programming

Real questions. Useful conversations. Find the people who know your stack.

Article0 replies3,109 followingPosted 01 Jul 2025, 02:00 UTC23.5K views3,130 votes

Zero Runtime Exceptions in Elm: How the Compiler Guarantees Safe UI Code

Elm's compiler catches every type error before code runs, giving a practical guarantee of zero runtime exceptions for UI applications.

Community & Careers · Blog

Next page →

Tasadduq Burneyowner

Started01 Jul 2025, 02:00 UTC

Level 38Owner34,775 rep points

Community & Careers

Article0 replies4,061 followingPosted 23 Jan 2026, 13:48 UTC65.7K views3,657 votes

Why Gleam's Result Type Changes How You Handle Failure in Production

Gleam's Result type replaces exceptions with compile-time-enforced Ok/Err handling. This post shows how pipeline operators compose failures safely, where JavaScript interop breaks the guarantee, and how to verify the compiler actually catches missing branches.

Community & Careers · Blog

functional-programming

gleam beam

Community & Careers

Article0 replies4,076 followingPosted 20 Aug 2025, 11:57 UTC90.3K views2,506 votes

Managing Memory and Performance with Haskell's Lazy Evaluation

Learn how to balance Haskell's lazy evaluation with strictness annotations to prevent space leaks and implement efficient infinite data structures.

Community & Careers · Guide

haskell functional-programming memory-management

Community & Careers

Article0 replies1,895 followingPosted 25 Nov 2025, 20:00 UTC133.5K views2,675 votes

F# Result Type: Making Expected Failures Part of Your Function Signature

Use F#'s Result<'T,'Error> discriminated union and combinators like Result.bind, Result.map, and Result.mapError to represent domain failures explicitly instead of throwing exceptions, with a worked example and practical limits.

Community & Careers · Guide

result-type functional-programming

fsharp

Community & Careers

Article0 replies1,696 followingPosted 23 May 2026, 20:00 UTC27.3K views2,293 votes

Handling Errors with Gleam's Algebraic Data Types and Pattern Matching

A practical look at using Gleam's custom types and pattern matching to replace exceptions with compile‑time guarantees.

Community & Careers · Blog

functional-programming

gleam type-safety

Community & Careers

Article0 replies4,419 followingPosted 09 Jul 2026, 17:51 UTC68.8K views1,272 votes

Handling Dynamic Configurations with PureScript Row Polymorphism

PureScript row polymorphism allows for type-safe configuration merging. Learn how to use row constraints and Record.merge to ensure required keys exist at compile time.

Community & Careers · Blog

purescript functional-programming type-safety

Community & Careers

Article1 reply1 comment993 followingPosted 02 Oct 2025, 12:12 UTC86.4K views1,162 votes

owner commented

Building Efficient Data Pipelines with Clojure Transducers

Learn how Clojure transducers let you compose map, filter, and take without creating intermediate collections, reducing allocation and enabling constant‑space processing.

Community & Careers · Blog

transducers

clojure data-processing

Community & Careers

Article0 replies695 followingPosted 28 Aug 2025, 15:20 UTC26.2K views4,863 votes

APL each operator ¨: shape-preserving elementwise mapping without loops

The each operator ¨ lets you apply a function to every element of an APL array while keeping the original shape, avoiding explicit loops.

Community & Careers · Blog

array-programming

apl functional-programming

Community & Careers

Article0 replies3,378 followingPosted 07 Sept 2026, 05:39 UTC90.7K views4,914 votes

Zero‑Cost Type Safety with Haskell’s `newtype` – A Practical Guide

Use Haskell’s `newtype` to enforce type safety without runtime overhead. Learn how to define wrappers, derive instances, and avoid accidental type mixing in real‑world code.

Community & Careers · Blog

haskell newtype functional-programming