Effektive: Effect-TS Contracts Without the Ceremony
Effektive is a small functional language that compiles to Effect-TS, so you write direct code and the compiler writes the Effect plumbing.
Posts tagged Functional
TypeLang - Strict TypeScript Subset with Algebraic Effects
Software complexity grows not just from problems we solve, but from flexibility languages give us. TypeLang explores enforcing functional principles and explicit effects through constraints—making illegal states unrepresentable and side effects visible in type signatures.
Effect-Oriented Programming in Flix
Side effects scattered everywhere make code hard to test and reason about. Flix's algebraic effect system brings discipline—declare what functions can do, verify at compile time, handle effects in one place.
Server-Side Mermaid Rendering Without the Browser
Building a pure TypeScript Mermaid renderer that works server-side - no browser, no DOM simulation, just functional patterns and smart type system usage.
Effect-TS Makes TypeScript Read Like Business Logic
How Effect-TS separates business logic from technical plumbing - error handling, async operations, and dependency management that doesn't obscure what your code actually does.
Gleam's Elegant Solution to Callback Hell
Callback hell plagues functional programming—deeply nested code that obscures logic. Gleam's `use` syntax solves this elegantly with one simple construct. Here's what makes it interesting and how to apply similar patterns in TypeScript.
Functional TypeScript Without the Framework Baggage
Real functional programming benefits in TypeScript without fp-ts or complex abstractions - just pure functions, explicit errors, and smart use of the type system.