Experience report : Ocsigen, a web programming framework

Autor: Vincent Balat, Jérôme Vouillon, Boris Yakobowski
Přispěvatelé: 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í: 2009
Předmět:
Web standards
Web server
medicine.medical_specialty
Web development
Computer science
Services
Ocsigen
0102 computer and information sciences
02 engineering and technology
Web engineering
computer.software_genre
01 natural sciences
Social Semantic Web
World Wide Web
Networking
Server
Web design
0202 electrical engineering
electronic engineering
information engineering

Reactive programming
medicine
Web application
Mashup
Objective Caml
computer.programming_language
Functional programming
XHTML
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
business.industry
Software development
020207 software engineering
Typing
Categories and Subject Descriptors: D.1.1 [PROGRAMMING TECHNIQUES]: Applicative (Functional) Programming
H.3.5 [INFORMATION STORAGE AND RETRIEVAL]: Online Information Services—Web-based services. General Terms: Design
Languages
Reliability
Security

Computer Graphics and Computer-Aided Design
ML
Xhtml
Inductive programming
Web
010201 computation theory & mathematics
Implementation
Programming paradigm
Programming
The Internet
User interface
business
Web intelligence
computer
Web modeling
Software
Zdroj: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
International Conference on Functional Programming
International Conference on Functional Programming, 2009, Edinburgh, United Kingdom. pp.311-316, ⟨10.1145/1631687.1596595⟩
ICFP
DOI: 10.1145/1631687.1596595⟩
Popis: The evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit greatly from more abstract paradigms and that a more semantical approach would result in huge gains in expressiveness. In particular, functional programming provides a really elegant solution to some important Web interaction problems, but few frameworks take advantage of it. The Ocsigen project is an attempt to provide global solutions to these needs. We present our experience in designing this general framework for Web programming, written in Objective Caml. It provides a fully featured Web server and a framework for programming Web applications, with the aim of improving expressiveness and safety. This is done by taking advantage of functional programming and static typing as much as possible.
Databáze: OpenAIRE