nowfound

AI · June 23, 2020

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 · ▲5

    A 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 · ▲275

    Hey 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…

  • Codex SubagentsMar 2026 · learn.chatgpt.com · ▲300

    Parallel custom agents for complex tasks

  • SA
    Servant – A Haskell web framework with type-level API DSL2015 · haskell-servant.github.io · ▲55

More ai this month

the category →
  • Video model that turns script into viral social media videos

    AI · 18d ago · spira.ai

  • The browser where Claude Code and Codex work beside you

    AI · 18d ago · rill.love

  • Kolibri is Aleph Alpha

    AI · 20d ago · tej.as

  • Paintings by AI models: programs run through a simulation of oil paint.

    AI · 21d ago · stillwet.art

  • A real-time world model you can explore and change

    AI · 30d ago · world.pixverse.video

  • Beam.win▲378

    Run AI agents on one Mac and use its windows on another

    AI · 4d ago · beam.win

Source: Show HN post ↗

Launched alongside, June 2020

the whole month →