nix-effects with Mika Bohinen

nix-effects with Mika Bohinen

From Full Time Nix by Shahar "Dawn" Or

May 16, 2026 · 1h 37m · Episode 124

About this episode

This episode features an interview with Mika Bohinen discussing nix-effects, a toolkit for effectful programming in Nix.

Pre-roll transcript: Before you is an episode of the Full Time Nix podcast. For silence skipping and other useful features consider using a podcast app. --- Just published an episode about nix-effects: A pure Nix toolkit for effectful programs, typed validation, verified boundaries, and description-backed DSLs. If you were trying to understand what this means then we’re on the same boat. during the episode I have asked the author of nix-effects, Mika Bohinen, all of the dumbest questions and, who knows, maybe even some good ones. To me it seems that nix-effects takes programming in Nix language to the next level and I’m looking forward for a good enough excuse to try it. It is already in use by several projects in the ecosystem. Listen in. nix-effects dendritic Eff Trampolining Nix with genericClosure - Guides - NixOS Discourse Cycle.js ReactiveX rxRust 3 type error handlers interpreter example agda Lean 4 Lie-Størmer Center Den Ned --- Nixcademy ad transcript: Statistically speaking, Nix is a novel technology. As such, adoption comes at an immediate cost of productivity. Team members who know Nix find themselves preoccupied providing support and the emergence of anti-patterns…

People in this episode

Host: Shahar "Dawn" Or

Guest: Mika Bohinen

Topics covered

  • Nix
  • programming
  • effectful programs
  • typed validation
  • DSLs

Keywords

  • nix-effects
  • Nix
  • programming
  • typed validation
  • DSLs
  • Nixcademy
  • technical debt

Mentioned in this episode

Organizations: Nixcademy

More episodes of Full Time Nix

Explore listener stats, chart rankings, contacts and more on the Full Time Nix podcast page.