Ocsigen: Typing Web Interaction with Objective Caml
Autor: | Vincent Balat |
---|---|
Přispěvatelé: | Balat, Vincent, Programme 'Jeunes chercheuses et jeunes chercheurs' - Programmation fonctionnelle pour le Web - - PFW2006 - ANR-06-JCJC-0122 - JCJC - VALID, Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), ANR-06-JCJC-0122,PFW,Programmation fonctionnelle pour le Web(2006) |
Jazyk: | angličtina |
Rok vydání: | 2006 |
Předmět: |
XHTML
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] Web interaction Caml Computer science media_common.quotation_subject Ocsigen D.1.1 Applicative (Functional) programming D.3.3 Language Constructs and features Dynamic web page [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL] World Wide Web Continuations Web Programming Web programming Objective Caml Function (engineering) computer computer.programming_language media_common |
Zdroj: | ML ML '06: Proceedings of the ACM SIGPLAN 2006 workshop on ML ACM SIGPLAN 2006 workshop on ML ACM SIGPLAN 2006 workshop on ML, Sep 2006, Portland, United States. pp.84-94 |
Popis: | International audience; Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into account the particularities of Web interaction, especially the management of URLs and sessions. This paper describes how Ocsigen uses the Objective Caml type system in a thoroughgoing way in order to produce valid XHTML and valid remote function calls through links and form clicking. It also describes how Ocsigen handles the progression of a Web user through a site, using sophisticated and high-level sessions mechanisms. |
Databáze: | OpenAIRE |
Externí odkaz: |