- web-devel - Haskell.org

new field for Network.HTTP.Types.Status
by Kazu Yamamoto 28 Aug '12

28 Aug '12

Hello, I'm now tuning warp. https://github.com/kazu-yamamoto/wai/tree/refactoring/warp One of bottlenecks is the code to compose HTTP header. I have already rewritten the code using direct memory copy instead of BlazeBuilder. https://github.com/kazu-yamamoto/wai/blob/refactoring/warp/Network/Wai/Hand… This code gain around 2,000 req/s on my machine. In this code, you can find two 'divMod' and one 'mod'. These is to convert numeric HTTP status code to ByteString. It appeared this conversion is slow. Note that due to a bug of GHC, five (not three) divisions are carried out. So, I redefined Network.HTTP.Types.Status to have reformatted ByteString for status code (the statusAsciiCode field): https://github.com/kazu-yamamoto/http-types/blob/status-ascii-code/Network/… This hack gains also around 2,000 req/s. This change breaks compatibilities. I found that warp, http-conduit, wai-app-file-cgi are affected. So, my question: is this hack acceptable? If not, I will define a large array of ByteString in warp. But it seems to me that this is nonsense. --Kazu

2 3

Re: [web-devel] [Yesod] Re: Abstracting permissions with Yesod
by Felipe Almeida Lessa 27 Aug '12

27 Aug '12

On Mon, Aug 27, 2012 at 5:52 AM, Arthur Clemens <arthurclemens(a)gmail.com> wrote: > Did something change in Yesod? > This part doesn't seem to work: > > isAuthorized route isWrite = do > mauth <- maybeAuth > runDB $ mauth `isAuthorizedTo` permissionsRequiredFor route isWrite > > Returns > > Foundation.hs:109:20: > Couldn't match expected type `(UserId, User)' > with actual type `Entity val0' To fix this bug you'll need to change all '(UserId, User)'s into 'Entity User's. For example: hasPermissionTo :: Entity User -> Permission -> YesodDB sub Blog AuthResult (Entity _ user) `hasPermissionTo` Post = ... etc. I'm not sure if there's anything else missing. Cheers, =) -- Felipe.

1 0

yesod persistent mysql
by Asafe Ribeiro 25 Aug '12

25 Aug '12

Are there any persistent-mysql examples ? I can't get anything from http://www.yesodweb.com/book/persistent to compile, let alone with mysql.

2 5

new warp
by Kazu Yamamoto 23 Aug '12

23 Aug '12

Hello, In the last week, with Michael's permission, I have refactored warp so that we can tune it up more easily: https://github.com/kazu-yamamoto/wai/tree/refactoring/warp This version maintains the backward compatibility to the current WAI and passed all tests. I'm now testing it in the real world. If you are interested in the code, please take a look. Comments are highly appreciated. If you volunteer, please test it and tell me whether or not it works well. Thanks in advance. --Kazu

2 1

Re: [web-devel] new field for Network.HTTP.Types.Status
by Kazu Yamamoto 18 Aug '12

18 Aug '12

Hello Aristid, > So, two questions: > > 1. Is this a bottleneck just in your small benchmark, or do you think this > would affect other use-cases too? To see how worth it is to break > compatibility. This effects if we want to implement a really fast HTTP server like nginx. Otherwise, this does not matter. > 2. Have you tried caching the rendered status codes in an array or so? That > might be another way of speeding this up without changing the Status type. I will try the array approach in the next week. If that is fast enough and http-types includes the array, it would be very appreciated. --Kazu

1 0

WAI Routing
by Stephen Paul Weber 09 Aug '12

09 Aug '12

I'm back! I've walked in the desert for a bit longer than last time I was on this list, and have a much better handle on Haskell base concepts, which is useful. So, I re-looked-at yesod-routes as it exists now, and Yesod.Routes.Dispatch is very nice for doing the sort of thing I want. Doesn't even use any language extensions itself! (Oh, almost, it uses bang patterns. Or is that not an extension when used in a datatype? Anyway...) Unfortunately, using Yesod.Routes.Dispatch by itself is a bit verbose. Of course, yesod-routes has all kinds of nice utilities to help with that, but they are very TH-heavy, so I set out to build a different way: code generation! The result is: <http://hackage.haskell.org/package/route-generator> which takes in a simple text file format (attoparsec FTW!) and outputs a module that can be compiled into any application using yesod-routes and provide a list of routes based on the text file. The types of the captured URI segments are inferred from the types of the actual Haskell code that handles the route. The generator assumes a single module that it will import exports names for all of the handlers, but I don't think this is too bad since you can always have a module that just re-exports all the handlers from wherever you define them. A simple example is in the git repository. I have also pushed up <http://hackage.haskell.org/package/wai-dispatch>, which is a simple wrapper around Yesod.Routes.Dispatch for use in WAI apps to convert a "default" (likely 404 or static file serving) Application, and a list of Route for yesod-route, into an Application that does the routing. It's very little code, but I immidiately identified it as code that would end up appearing in every single one of my web apps, so I abstracted it out into a tiny library. -- Stephen Paul Weber, @singpolyma See <http://singpolyma.net> for how I prefer to be contacted edition right joseph

2 2

fast-logger
by Kazu Yamamoto 06 Aug '12

06 Aug '12

Hello, I would like to ask someone to test fast-logger on Windows before I will release new version: https://github.com/kazu-yamamoto/logger In the hackathon in the ICFP week last year, I implemented the unix-time package which makes use of C libraries. Today, I compared three packages: http-date, unix-time, and time: https://gist.github.com/3272030 The result is as follows: http-date: 359ns unix-time: 2,071ns time: 43,636ns http-date can produce RFC 2616 date style (GMT) only. unix-time can produce zoned date. fast-logger used the time library to format zoned date. Since unix-time is much faster than time, I modified fast-logger to use unix-time on Unix. On Windows, it still uses the time library. I have tested the new fast-logger on Unix. If someone will kindly test it on Windows, it would be appreciated. Thanks in advance. --Kazu

2 2

Hamlet 1.1 released
by Michael Snoyman 20 Jul '12

20 Jul '12

Hi all, I've just released version 1.1 of Hamlet (with some associated updates to the 1.0 series for other shakespeare packages). Changes in this release include: * Hamlet defaults to newlines being added between tags. * Tuple literal support (thanks @qnikst) * Added back (and fixed) infix operators. This is another step on the path towards a Yesod 1.1 release, which is actually looking fairly imminent. Persistent 1.0 is next on the release list, and will likely be coming out in the next few days. Last call for input! Michael

1 0

ANN: sundown 0.5
by Francesco Mazzoli 19 Jul '12

19 Jul '12

Hi list, Prompted a recent discussion on this list[1], I have updated my `sundown' package[2]. sundown is a C Markdown parser and renderer[3] that powers GitHub, and I've maintained Haskell bindings for a while. After reading the mentioned thread on this mailing list I updated its interface to use the `String' and `Text' types instead of raw `ByteString's. This should make using the library safer and more pleasant. My original intention was to exploit the C library to produce output in the form of datatypes familiar to the Haskell world (e.g. the ones from the `html' or `blaze-html' package). After thinking about this a bit I'm not so sure it's worth it. Given the free-form nature of the Markdown format - the user can freely include his own html in - I don't think that manipulating the Html output is a common use case, and the Html produced might be invalid anyway. Moreover, while having a more Haskelly output can be done, the code would be quite brittle and reliant on internals of the sundown library, given the nature of its interface to add additional backends (in short: the output is supposed to be text-based, so I'd have to hack my way around that by knowing in what order compound elements are rendered). For this reason I have decided to leave the library as it is. If somebody has compelling counterarguments I might reconsider :). [1] http://www.haskell.org/pipermail/web-devel/2012/002503.html [2] http://hackage.haskell.org/package/sundown [3] https://github.com/tanoku/sundown -- Francesco * Often in error, never in doubt

1 0

Announce: markdown 0.1
by Michael Snoyman 18 Jul '12

18 Jul '12

Hi all, I've just released the first version of the markdown package to Hackage[1]. I've been using this package for a while already for rendering blog posts on yesodweb.com. I put in some time today cleaning it up and fixing some features, and feel it's now ready for an experimental release. The distinguishing features of this library versus other options are: * Uses blaze-html types natively, making it easy to use with many existing libraries (Hamlet included). * Permissive license (BSD3). * attoparsec and conduit used for parsing. * Built in XSS protection (though you can disable it if desired). The library also has a very thorough test suite, but I'd be happy to accept more test cases. Please report issues/send pull requests on Github[2]. Michael [1] http://hackage.haskell.org/package/markdown [2] https://github.com/snoyberg/markdown

5 14