Hajax
Ajax applications are stand-alone Web applications that execute into the browser environment, communicating with one or more server back-ends only to get raw data.
Ajax applications can be written using either:
- Native libraries/frameworks in JavaScript/HMTML/CSS and/or Flash.
- Examples being dojo and Rialto (see the Open Directory Ajax page for more).
- Higher-level languages that are compiled into native browser code.
- Examples being the Google Web Toolkit for Java, OpenLaszlo, for the high-level UI language Laszlo, and haXe, another high-level language with multiple runtimes.
Hajax is a proposal to create a Haskell-based tool to program 'stand-alone' Ajax applications.
The main advantages of Hajax would be:
- Web development using a very-high level language with extensive compile-time checks
- No plugins (e.g. a Java VM) required on the user browser
- No Haskell server back-end required (Hajax applications would communicate with back-ends written in any language).
Likely disadvantages with respect to native Ajax solutions are:
- An additional compilation step
- Lower performance
Hajax would consist of the following modules:
- A Haskell compiler able to generate, directly or indirectly, native browser code.
- Generic Haskell libraries (a port of a subset of the standard Haskell Libraries.
- User interface framework and libraries.
- (Optionally) A development environment.
Compiler[edit]
Requirements:
- Support for Haskell 98 + most popular extensions.
- Fast compilation.
- Compact and efficient compiled code.
Compiler Design alternatives[edit]
Direct Compilation[edit]
Haskell code is directly compiled to JavaScript.
Advantage: possibly higher run-time performance, thanks to a more direct mapping between Haskell and JavaScript.
An example of this approach is Dimitry Golubovsky's nhc98 to JavaScript Compiler, see [1] and in particular [2].
Two-Stages Compilation[edit]
Haskell code is compiled into an intermediate format (e.g. bytecodes or C-- or LLVM) that is then compiled to JavaScript.
For example: yhc to yhc bytecode to JavaScript (via the yhc bytecode API) or similarly with GHCi bytecodes.
Advantage: much faster to develop as there would be less or no changes required in the compiler and the bytecode to JavaScript compilation should be straightforward.
Dimitry Golubovsky has been working on a Yhc Core to Javascript converter, see Yhc/Javascript. This continues the nhc98-based compiler to Javascript project mentioned above.
Compiler Targets[edit]
Possible targets for the compiler are:
- JavaScript/HTML/CSS
- Flash (potentially through SWFmill)
- The OpenLaszlo kernel (currently under development) that can be executed in either Flash or HTML/Web browsers.
- The haXe language can compile to Flash Player versions 6-9, Ajax using the JS DOM, or server-side using the Neko VM.
Generic Haskell Libraries[edit]
Libraries that would be useful include:
- Prelude
- Generic functional and mutable data structures
- Parser/Regex libraries
UI Framework and Libraries[edit]
Most of the Haskell frameworks developed for GUI programming (see Libraries_and_tools/GUI_libraries) or Web programming (e.g. HSPClientside, see a full list at Libraries_and_tools/Web_programming) could be adapted for Hajax.
The libraries would include:
- A complete set of UI widgets
- Network libraries for browser-to-server communication
Development Environment[edit]
It should be relatively easy to adapt existing Haskell development environments like EclipseFP to work with Hajax.
Existing AJAX Applications Written in Haskell[edit]
- HERA is written in Haskell and JavaScript. HERA uses asynchronous HTTP requests and Haskell threads to attempt many shallow rewrites quickly, in order to offer the user sensible choices. HERA would be a great stress test for Hajax.
- Yhc Web Service is an experimental web-based tool to submit Haskell source code for compilation to Javascript and to run it in the web browser. Its frontend exchanges JSON-encoded messages over AJAX (XMLHTTP) with CouchDB based backend. Compilation to Javascript is provided by Yhc Javascript backend.