A sinatra-ish web framework written in haskell, riding on top of Hack.
Sinatra has a beautiful, simple, elegant syntax, but it's essentially an attempt to bring pattern matching to a language never intended for pattern matching. Why not attempt something similar in a language with not just beautiful pattern matching, but with all the declarative bells and whistles: lazy evaluation, first-class functions, currying, polymorphism?
λ cabal update && cabal install bird
Note: make sure $HOME/.cabal/bin is in your PATH.
λ bird hatch StarWars
λ cd StarWars λ bird nest [1 of 2] Compiling StarWars ( StarWars.hs, StarWars.o ) [2 of 2] Compiling Main ( Main.hs, Main.o ) Linking Main ... λ
λ bird fly
λ curl http://localhost:3000 Hello, Bird! λ curl http://localhost:3000?name=Luke Hello, Luke
-- StarWars.bird.hs import Data.String.Utils (join) get ["droids"] = do body "These aren't the droids you're looking for. Move along." status 404 get ("force":xs) = do body $ "May the force be with you " ++ (join ", " xs) ++ "!" get  = do name <- param "name" body $ "Greetings, " ++ (maybe "Jedi!" id name)
now recompile your app and start it flying:
λ bird nest λ bird fly & λ curl -i http://localhost:3000/force/Han/Chewie HTTP/1.1 200 OK Connection: close Content-Type: text/html Date: Sat, 31 Jul 2010 14:07:17 GMT Server: Happstack/0.5.0.2 May the force be with you Han, Chewie! λ curl -i http://localhost:3000/droids HTTP/1.1 404 Not Found Connection: close Content-Type: text/html Date: Sat, 31 Jul 2010 14:08:35 GMT Server: Happstack/0.5.0.2 These aren't the droids you're looking for. Move along.
You have four functions to implement: get, post, put, and delete. They each accept a Bird Request.
Inside the function body, you can use the following methods (don't worry, this list will grow):
param :: String -> Maybe String -- ex: for the request GET /droids?name=c3po, -- then `p <- param "name"' would bind the value `Just "c3po"' to the variable "p" body :: String -> BirdResponder () -- takes a string and sets the Http Response body to whatever the string contained. status :: Integer -> BirdResponder () -- takes a number, and sets the HTTP Reponse header "Status" to that number. mime :: String -> BirdResponder () -- sets the mime type to whatever you provide -- ex: get  = body "Hello World" >> mime "text/plain" header :: String -> String -> BirdResponder () -- creates/updates a header -- ex: get  = body "Hello World" >> header "X-Powered-By" "BIRD!"
This project is still in its infancy. Coming features:
- post/put/delete http param processing
- helpers for popular html generation solutions (Hamlet, HStringTemplate, HAXML, BlazeHTML, etc.)
- WAI support
- static asset serving
- support for sending files