Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications.

Why Yesod?

Turn runtime bugs into compile-time errors
Yesod believes in the philosophy of making the compiler your ally, not your enemy. We use the type system to enforce as much as possible, from generating proper links, to avoiding XSS attacks, to dealing with character encoding issues. In general, if your code compiles, it works. And instead of declaring types everywhere you let the compiler figure them out for you with type inference.
Asynchronous made easy
The Haskell runtime is asynchronous automatically. Instead of dealing with callbacks, you get to write normal code. By utilizing light-weight green threads and event-based system calls, your code automatically becomes non-blocking, without the pain.
Scalable and Performant
Yesod lets you write simple, high-level code, and gives you good performance. But when you need more, you can tune your compiled code for something even faster. Many of Yesod’s base libraries work exactly this way: providing a nice, safe interface for users while getting near-C performance with direct memory access. The GHC compiler ensures we get fast machine code at the end of the day.
Light-weight syntax
A lot of web development is boilerplate. Setting up routing tables, creating database schemas, and dealing with forms can all be long, repetitive code. Yesod’s has simple DSLs for templating, persistence, routing, and much more. But more importantly the DSLs are correct: they are all compile-time checked to get rid of the runtime bugs.

Learn more or get started. You can also learn more about Haskell.

Getting started

Pronunciation

/jɪ'sod/ יסוד. yi as in yip, sod as in soda, stress on sod.

Book

Developing Web Apps with Haskell and Yesod