《The Happstack Book - Modern, Type-Safe Web Development in Haskell》

【实例截图】

【核心代码】

Jeremy Shaw
● Introduction
● H ello W orld
H Your first app!
H The parts of H ello W orld
■ Listening for H TTP requests
■ Configuring the H TTP listener
■ Processing a Request
■ Setting the H TTP response code
■ Creating a Response
H Choosing between m ultiple ServerPartTs
● Route Filters
H U sing dir to m atch on static path com ponents
H U sing dir to m atch on m ultiple com ponents
H U sing dirs as shorthand to m atch on m ultiple com ponents
H M atching on variable path segm ents
H From ReqU RI: extending path
H M atching on request m ethod (G ET, PO ST, etc)
H Advanced m ethod m atching with M atchM ethod
H O ther Routing Filters
● Tem plating for H TM L and Javascript
H U sing blaze-htm l
● U sing H SX/H SP
H hsx2hs
H hsx Q uasiQ uoter
H W hat do hsx2hs and [hsx| |] actually do?
H the XM LG enT type
H the XM LG en class
H the XM LType m type synonym
H the StringType m type synonym
H the Em bedAsChild class
H the Em bedAsAttr class
H H SPT M onad
H H SX by Exam ple
H H SX and do syntax
H defaultTem plate
H H ow to em bed em pty/nothing/zero
H Creating a list of children
H if .. then .. else ..
H Lists of attributes & optional attributes
H H SX and com pilation errors
H hsx2hs line num bers are usually wrong
H N ote on N ext Two Sections
H O verlapping Instances
H Am biguous Types
● H SP and internationalization (aka, i18n)
H H SP i18n Core Concept
H the RenderM essage class
H shakespeare-i18n translation files
H Constructor argum ents, #{ }, and plurals
H Type Annotations
file:///C|/D ocum ents and Settings/Adm inistrator/桌面/The H appstack Book M odern, Type-Safe W eb D evelopm ent in H askell.htm （第 1／148 页）2014-12-22 21:30:27
The H appstack Book: M odern, Type-Safe W eb D evelopm ent in H askell
H V ariable Splices
H H andling plurals and other language specifics
H Translating Existing Types
H Alternative Translations
H U sing m essages in H SX tem plates
H D etecting the preferred languages
H Conclusions
H H eist H TM L5 and XM L Tem plates
● JavaScript via JM acro
H JM acro in a <script> tag
H JM acro in an H TM L attribute (onclick, etc)
H H ygienic V ariable N am es
H N on-H ygienic V ariable N am es
H D eclaring Functions
H Splicing H askell V alues into JavaScript (Antiquotation)
H U sing ToJExpr to convert H askell values to JavaScript
H U sing JM acro in external .js scripts
■ Links to dem os
H Alternative IntegerSupply instance
H M ore Inform ation
● Parsing request data from the Q U ERY_STRIN G , cookies, and request body
H H ello RqD ata
H H andling Subm issions
H W hy is decodeBody even needed?
H U sing BodyPolicy and defaultBodyPolicy to im pose quotas
H U sing decodeBody
H File U ploads
H File uploads im portant rem inder
H Lim iting lookup to Q U ERY_STRIN G or request body
H U sing the RqD ata for better error reporting
H U sing checkRq
H O ther uses of checkRq
H Looking up optional param eters
H W orking with Cookies
H Sim ple Cookie D em o
H Cookie Lifetim e
H D eleting a Cookie
H Cookie Issues
H O ther Cookie Features
● Serving Files from D isk
H Serving Files from a D irectory
H File Serving Security
H Serving a Single File
H Advanced File Serving
● Type-Safe Form processing using reform
H Brief H istory
H H ello Form !
H U sing the Form
H reform function
H Cross-Site Request Forgery (CSRF) Protection
H Benefits So Far
H Form with Sim ple V alidation
H Separating V alidation and V iews
H Type Indexed / Param eterized Applicative Functors
H U sing Proofs in unproven Form s
H Conclusion
H m ain
● web-routes
H web-routes D em o
H web-routes Type Fam ilies
file:///C|/D ocum ents and Settings/Adm inistrator/桌面/The H appstack Book M odern, Type-Safe W eb D evelopm ent in H askell.htm （第 2／148 页）2014-12-22 21:30:27
The H appstack Book: M odern, Type-Safe W eb D evelopm ent in H askell
H web-routes-boom erang
H web-routes and H SP
● acid-state
H H ow acid-state works
H acid-state counter
H IxSet: a set with m ultiple indexed keys
■ D efining the indexing keys
■ Inserting a Record
■ U pdating a Record
■ Looking up a value by its indexed key
■ O rdering the Results and the Proxy type
■ Sum m ary
■ Rest of the Exam ple Code
H Passing m ultiple AcidState handles around transparently
■ O ptional Plugins/Com ponents
● U sing Tem plate H askell