Personal tools

Web/Frameworks

From HaskellWiki

< Web(Difference between revisions)
Jump to: navigation, search
m
m (Removed announce, the home page is sufficient)
Line 16: Line 16:
   
 
'''Maintainer:''' Happstack team <happs@googlegroups.com>
 
'''Maintainer:''' Happstack team <happs@googlegroups.com>
 
'''Announcement:''' http://www.haskell.org/pipermail/haskell-cafe/2010-May/078005.html
 
   
 
'''Home page:''' http://happstack.com/index.html
 
'''Home page:''' http://happstack.com/index.html

Revision as of 16:32, 2 October 2010


Below is a list of Haskell web frameworks.

Contents

1 Hajax

Hajax is a proposal to create a Haskell-based tool to program 'stand-alone' Ajax applications.

Wiki page: http://www.haskell.org/haskellwiki/Hajax

2 Happstack

Happstack is a Haskell web framework. Happstack is designed so that developers can prototype quickly, deploy painlessly, scale massively, operate reliably, and change easily. It supports GNU/Linux, OS X, FreeBSD, and Windows environments.

Author: Happstack team, HAppS LLC

Maintainer: Happstack team <happs@googlegroups.com>

Home page: http://happstack.com/index.html

Documentation: http://happstack.com/docs

Package & repositories

3 Haskell on a Horse

Haskell on a Horse (HoH) is a combinatorial web framework for the programming language Haskell. It is currently at an early, unsettled stage of development. It is available under the "BSD3" open-source license.

License BSD3

Author Jason Hart Priestley

Maintainer jason@on-a-horse.org

Home page: http://haskell.on-a-horse.org/

Package & repositories

4 Haskell web tool kit

Haskell Web Toolkit (further referred to as HsWTK) is a thin layer built on top of DOM interfaces. It provides program interfaces to compose static layout of a web application page, and to hook up visual elements of an application to event handlers and XML HTTP communication means. HsWTK hides the low-level DOM APIs where possible; however their knowledge may be necessary to develop certain types of visual components and event handlers.

Wiki page: Haskell_in_web_browser#Haskell_web_toolkit

5 HSP

Haskell Server Pages (HSP) is an extension of vanilla Haskell, targetted at the task of writing dynamic server-side web pages. Features include:

Embedded XML syntax

A (low-to-mid-level) programming model for writing dynamic web pages

A cgi-handler utility (as a separate package, hsp-cgi)

For details on usage, please see the website, and the author's thesis.

License: BSD3

Author: Niklas Broberg, Joel Bjornson

Maintainer: Niklas Broberg <niklas.broberg@chalmers.se>

Home page: http://code.google.com/p/hsp/

Wiki page: HSP

6 HWSProxyGen

This website presents a web services proxy generator for the Haskell functional language, implemented in Haskell and C#. The final purpose is to show that Haskell and functional languages in general can be used as a viable way to the implementation of distributed components and applications, interacting with services implemented in different languages and/or platforms.

Homepage: http://www.cin.ufpe.br/~haskell/hwsproxygen/

7 hvac

The aim of hvac is to provide an environment that makes the creation of lightweight fastcgi-based web applications as simple as possible, with an emphasis on concise, declarative style code, correct concurrent transactional logic, and transparency in adding caching combinators.

Announcement: http://fmapfixreturn.wordpress.com/2008/03/23/ann-hvac-01b-a-transactional-declarative-framework-for-lightweight-web-applications/

Documentation: http://community.haskell.org/~sclv/hvac/html_docs/hvac/

Home page: http://community.haskell.org/~sclv/hvac/

8 loli

A simple library for fast web prototyping in Haskell.

License BSD3

Author Wang, Jinjing

Maintainer Wang, Jinjing <nfjinjing@gmail.com>

Package & repositories

9 Lemmachine

Lemmachine is a REST'ful web framework that makes it easy to get HTTP right by exposing users to overridable hooks with sane defaults. The main architecture is a copy of Erlang-based Webmachine, which is currently the best documentation reference (for hooks & general design).

Lemmachine stands out from the dynamically typed Webmachine by being written in dependently typed Agda. The goal of the project is to show the advantages gained from compositional testing by taking advantage of proofs being inherently compositional. See proofs for examples of universally quantified proofs (tests over all possible input values) written against the default resource, which does not override any hooks.

More information

Author: Larry Diehl

Packages & repositories

Github: http://github.com/larrytheliquid/Lemmachine

10 mohws

A web server with a module system and support for CGI. Based on Simon Marlow's original Haskell Web Server.

License: BSD3

Copyright: Simon Marlow, Bjorn Bringert

Author: Simon Marlow, Bjorn Bringert <bjorn@bringert.net>

Maintainer: Henning Thielemann <webserver@henning-thielemann.de>

Packages & repositories

11 Salvia

Salvia is a feature rich modular web server and web application framework that can be used to write dynamic websites in Haskell. From the lower level protocol code up to the high level application code, everything is written as a Salvia handler. This approach makes the server extremely extensible. To see a demo of a Salvia website, please see the salvia-demo package.

All the low level protocol code can be found in the salvia-protocol package, which exposes the datatypes, parsers and pretty-printers for the URI, HTTP, Cookie and MIME protocols.

This Salvia package itself can be separated into three different parts: the interface, the handlers and the implementation. The interface module defines a number of type classes that the user can build the web application against. Reading the request object, writing to the response, or gaining direct access to the socket, all of these actions are reflected using one type class aspect in the interface. The handlers are self contained modules that implement a single aspect of the Salvia web server. The handlers expose their interface requirements in their type context. Salvia can have multiple implementations which can be switched by using different instances for the interface type classes. This package has only one implementation, a simple accepting socket loop server. The salvia-extras package has two additional implementations. Keeping a clear distinction between the abstract server aspects and the actual implementation makes it very easy to migrate existing web application to different back-ends.

License: BSD3

Author: Sebastiaan Visser

Maintainer: sfvisser@cs.uu.nl

Announcement: http://www.haskell.org/pipermail/haskell-cafe/2010-March/074870.html

Package & repositories

12 Snap

Snap is a simple web development framework for unix systems, written in the Haskell programming language.

Snap is well-documented and has a test suite with a high level of code coverage, but it is early-stage software with still-evolving interfaces. Snap is therefore likely to be most appropriate for early adopters and potential contributors.

  • A fast HTTP server library with an optional high-concurrency backend using the libev event loop library
  • A sensible and clean monad for web programming
  • An XML-based templating system for generating HTML

License: BSD3

Author: James Sanders, Gregory Collins, Doug Beardsley

Maintainer: snap@snapframework.com

Home page: http://snapframework.com/

Documentation: http://snapframework.com/docs

Package & repositories

13 Turbinado

Turbinado is a Rails-ish MVC web framework for Haskell. Turbinado gives you all of the benefits of coding in Haskell and adds: http://www.cin.ufpe.br/~haskell/hwsproxygen/

  • A fast HTTP server with static- and dynamic-content serving capabilities;
  • Views built using HTML, HAML or Haskell templating syntax;
  • Automagic recompilation of Controllers, Layouts and Views;
  • A database ORM to make database interaction (especially with PostgreSQL) joyful;
  • A rich set of tags to make designing pages simpler;.

Author: Alson Kemp

Package & repositories:

14 Yesod

Yesod is designed for RESTful, type-safe, performant web apps. By leveraging quasi-quotation for the more boilerplate tasks, we get concise web apps with high levels of type safety. Its Hamlet templates are compile-time checked for correctness, and the controller (web-routes-quasi) uses type-safe URLs to make certain you are only generating valid URLs. It loosely follows Model/View/Controller principles.

License: BSD3

Author: Michael Snoyman <michael@snoyman.com>

Maintainer: Michael Snoyman <michael@snoyman.com>

Announcement:: http://www.haskell.org/pipermail/haskell-cafe/2010-March/074271.html

Home page: http://www.yesodweb.com/

Documentation: http://docs.yesodweb.com/yesod/

Screencast: http://www.youtube.com/watch?v=BEWJnDgrmp0

Package & repositories

15 WASH

An extended version of Simon Marlow's webserver (hws) that runs WASH modules as servlets. WASH modules are compiled transparently and dynamically loaded into the running server. Each servlet runs in one of three modes: LogOnly (using a log to reconstruct the current state like WASH's CGI implementation), StateIDOnly (running a thread for each session and continuing in the same thread with each form submission), LogAndState (use a thread for efficiency and keep the log for robustness).

Author: Simon Marlow

Home page: http://www.informatik.uni-freiburg.de/~thiemann/WASH/#wsp

16 Web functions

From the site: "WebFunctions is a domain specific embedded language for web authoring, implemented in Haskell. The functionality of the WebFunctions framework was inspired by Apple's WebObjects. We claim it is easier to use since the Haskell type checker makes a lot of extra checks, that are absent from the Apple framework. Unfortunately we do not yet have all the nice tooling and special editors, but we are working on this."

Author: Robert Van Herk

Home page: http://www.cs.uu.nl/wiki/WebFunctions/WebHome