IHP, a batteries-included web framework built on Haskell and Nix
IHP is the Haskell web framework for agentic engineering. Your agent writes the code; typed SQL, generated schema types and compile-checked views prove it works.
IHP, a batteries-included web framework built on Haskell and Nix launched on June 23, 2020 with 280 votes, #61 of 4,317 launches that month and more than 95% of that year's launches. The site was still online in September 2026, 6 years on.
In plain words
IHP is a web framework that combines Haskell and Nix to provide a complete development environment out of the box. It is designed for developers who want to build web applications using Haskell's strong type system and functional programming approach. The framework bundles together all necessary tools and dependencies, eliminating common setup challenges and allowing developers to start building immediately.
written from the facts on this page · September 2026
From the sources
-- Your agent wrote this: posts <- sqlQueryTyped [typedSql| SELECT id, title, publish_date FROM posts |] error: [GHC-39584] • typedSql: prepare failed: ERROR: column "publish_date" does not exist LINE 1: SELECT id, title, publish_date FROM posts ^ This never reaches production. typedSql asks your Postgres to describe the query while your code is still compiling. An agent produces more code in an afternoon than a team can review in a week. The bottleneck was never typing speed — it's knowing the code is correct. In most stacks the answer is "run it and find out." In IHP the answer is: it doesn't compile. Every query is checked against your real Postgres schema at compile time. A hallucinated…from ihp.digitallyinduced.com
Does a similar job
all alternatives →
IHP: Integrated Haskell Platform2020 · ihp.digitallyinduced.com · ▲5A batteries-included web framework built on Haskell and Nix
Miso – A Haskell implementation of Elm2017 · github.com · ▲114:ramen: A tasty Haskell web and mobile framework. Contribute to dmjio/miso development by creating an account on GitHub.
I built a poker site with Haskell2019 · github.com · ▲157🂺 A Multiplayer Poker App Crafted with Haskell and React - therewillbecode/poker-maison
Notte Browser Agents2025 · notte.cc · ▲275Hey HN, We’ve been building browser agents for a while. In production, we kept converging on the same pattern: deterministic scripts for the happy path, agents only for edge cases. So we built Demonstrate Mode. The idea is simple: You perform your workflow once in a remote browser. Notte records the interactions and generates deterministic automation code. How it works: - Record clicks, inputs, navigations in a cloud browser - Compile them into deterministic code (no LLM at runtime) - Run and deploy on managed browser infrastructure Closest analog is Playwright codegen but: - Infrastructure…

- SAServant – A Haskell web framework with type-level API DSL2015 · haskell-servant.github.io · ▲55
More ai this month
the category →



Paintings by AI models: programs run through a simulation of oil paint.
AI · 21d ago · stillwet.art
PixVerse R2▲381A real-time world model you can explore and change
AI · 30d ago · world.pixverse.video

Source: Show HN post ↗
Launched alongside, June 2020
the whole month →



A fun diverse library of 3D avatars for your design mockups.
Work · 2020 · amrit.art

Unim.Press is a Reddit reader in the style of a certain classic metropolitan newspaper
Life & fun · 2020 · unim.press

Hacker News front page in the style of a print newspaper
Life & fun · 2020 · wolfgangfaust.com