More Web Proxy on the site http://driver.im/

Article

Sunroof: A Monadic DSL for Generating JavaScript

Authors:

Andy GillAuthors Info & Claims

PADL 2014: Proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages - Volume 8324

Pages 65 - 80

https://doi.org/10.1007/978-3-319-04132-2_5

Published: 20 January 2014 Publication History

Abstract

Sunroof is a Haskell-hosted Domain Specific Language (DSL) for generating JavaScript. The central feature of Sunroof is a JavaScript monad, which, like the Haskell IO-monad, allows access to external resources, but specifically JavaScript resources. As such, Sunroof is primarily a feature-rich foreign-function API to the browser's JavaScript engine, and all the browser-specific functionality, including HTML-based rendering, event handling, and drawing to the HTML5 canvas element.

In this paper, we give the design and implementation of Sunroof. Using monadic reification, we generate JavaScript from a deep embedding of the JavaScript monad. The Sunroof DSL has the feel of native Haskell, with a simple Haskell-based type schema to guide the Sunroof programmer. Furthermore, because we are generating code, we can offer Haskell-style concurrency patterns, such as MVars and Channels. In combination with a web-services package, the Sunroof DSL offers a robust platform to build interactive web applications.

References

[1]

http://asmjs.org/

[2]

http://taskjs.org/

[3]

HTML Living Standard - Timers, http://www.whatwg.org/specs/web-apps/current-work/multipage/timers.html#timers

[4]

Apfelmus, H.: (2010), http://hackage.haskell.org/package/operational

[5]

Apfelmus, H.: The Operational Monad Tutorial. The Monad. Readerä15, 37—55 (2010)

[6]

Ashkenas, J.: CoffeeScript, http://coffeescript.org/

[7]

Bazerman, G.: JMacro, http://www.haskell.org/haskellwiki/Jmacro

[8]

Chakravarty, M.M.T., Keller, G., Peyton Jones, S.: Associated type synonyms. In: International Conference on Functional Programming, pp. 241—253. ACM (2005)

Digital Library

[9]

Cooper, E., Lindley, S., Wadler, P., Yallop, J.: Links: Web Programming Without Tiers. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol.ä4709, pp. 266—296. Springer, Heidelberg (2007)

Digital Library

[10]

Dijkstra, A., Stutterheim, J., Vermeulen, A., Swierstra, S.: Building JavaScript applications with Haskell. In: Hinze, R. (ed.) IFL 2012. LNCS, vol.ä8241, pp. 37—52. Springer, Heidelberg (2013)

[11]

Dijkstra, E.W.: Letters to the editor: go to statement considered harmful. Communications of the ACMä11(3), 147—148 (1968)

Digital Library

[12]

Domoszlai, L., Bruël, E., Jansen, J.M.: Implementing a non-strict purely functional language in JavaScript. Acta Universitatis Sapientiaeä3, 76—98 (2011)

[13]

Domoszlai, L., Plasmeijer, R.: Compiling Haskell to JavaScript through Clean's core. In: Selected papers of 9th Joint Conference on Mathematics and Computer Science (February 2012)

[14]

Done, C., Bergmark, A.: Fay, https://github.com/faylang/fay/wiki

[15]

Elliott, C.: Boolean, http://hackage.haskell.org/package/Boolean

[16]

Farmer, A., Gill, A.: Haskell DSLs for Interactive Web Services. In: First Workshop on Cross-model Language Design and Implementation (2012)

[17]

Gill, A.: Sunroof-active, https://github.com/ku-fpg/sunroof-active

[18]

Gill, A.: Type-Safe Observable Sharing in Haskell. In: Proceedings of the Second ACM SIGPLAN Haskell Symposium, Haskell 2009, pp. 117—128 (September 2009)

Digital Library

[19]

Gill, A.: (2013), http://hackage.haskell.org/package/blank-canvas

[20]

Gill, A., Farmer, A.: Kansas Comet, http://hackage.haskell.org/package/kansas-comet

[21]

Jones, S.P., Gordon, A., Finne, S.: Concurrent Haskell. In: Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, vol.ä21, pp. 295—308 (1996)

Digital Library

[22]

Kossakowski, G., Amin, N., Rompf, T., Odersky, M.: JavaScript as an Embedded DSL. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol.ä7313, pp. 409—434. Springer, Heidelberg (2012)

Digital Library

[23]

Leijen, D., Meijer, E.: Domain Specific Embedded Compilers. In: Domain-Specific Languages, pp. 109—122. ACM (1999)

Digital Library

[24]

Lin, C.: Programming Monads Operationally with Unimo. In: International Conference on Functional Programming, pp. 274—285. ACM (2006)

Digital Library

[25]

Mahemoff, M.: HTTP Streaming, http://ajaxpatterns.org/Comet

[26]

Mainland, G.: Why It's Nice to be Quoted: Quasiquoting for Haskell. In: Proceedings of the ACM SIGPLAN Haskell Workshop, Haskell 2007, New York, NY, USA, pp. 73—82 (2007)

Digital Library

[27]

Moggi, E.: Computational lambda-calculus and monads. In: Logic in Computer Science, pp. 14—23. IEEE Press (1989)

Digital Library

[28]

Murakami, S., Ashkenas, J.: LiveScript, http://livescript.net/

[29]

Nazarov, V.: GHCJS Haskell to Javascript Compiler, https://github.com/ghcjs/ghcjs

[30]

Persson, A., Axelsson, E., Svenningsson, J.: Generic monadic constructs for embedded languages. In: Gill, A., Hage, J. (eds.) IFL 2011. LNCS, vol.ä7257, pp. 85—99. Springer, Heidelberg (2012)

Digital Library

[31]

Predescu, O.: Model-View-Controller in Cocoon using continuations-based control flow (2002), http://www.webweavertech.com/ovidiu/weblog/archives/000042.html

[32]

Rompf, T., Odersky, M.: Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. In: Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, pp. 127—136. ACM, New York (2010)

Digital Library

[33]

Finne, S., et al.: Calling hell from heaven and heaven from hell (1999)

[34]

Sculthorpe, N., Bracker, J., Giorgidze, G., Gill, A.: The Constrained-Monad Problem. In: International Conference on Functional Programming, pp. 287—298. ACM (2013)

Digital Library

[35]

Shields, M., Peyton Jones, S.: Object-oriented style overloading for Haskell. In: First Workshop on Multi-Language Inferastructure and Interoperability (BABEL 2001), Firenze, Italy (September 2001)

[36]

Stutterheim, J.: Improving the UHC JavaScript backend. Tech. rep., Utrecht University (2012), http://www.norm2782.com/improving-uhc-js-report.pdf

[37]

Svenningsson, J., Svensson, B.J.: Simple and compositional reification of monadic embedded languages. In: International Conference on Functional Programming, pp. 299—304. ACM (2013)

Digital Library

[38]

Yorgey, B.: Active, https://github.com/diagrams/active

[39]

Yorgey, B.: Active, https://github.com/diagrams

[40]

Zakai, A.: Emscripten: An LLVM-to-Javascript Compiler, http://emscripten.org/

Cited By

Gissurarson MMista AStoughton AVassena M(2020)Short Paper: Weak Runtime-Irrelevant Typing for SecurityProceedings of the 15th Workshop on Programming Languages and Analysis for Security10.1145/3411506.3417595(13-17)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3411506.3417595
Aronsson MSheeran M(2017)Hardware software co-design in HaskellACM SIGPLAN Notices10.1145/3156695.312297052:10(162-173)Online publication date: 7-Sep-2017
https://dl.acm.org/doi/10.1145/3156695.3122970
Ekblad A(2017)A meta-EDSL for distributed web applicationsACM SIGPLAN Notices10.1145/3156695.312296952:10(75-85)Online publication date: 7-Sep-2017
https://dl.acm.org/doi/10.1145/3156695.3122969
Show More Cited By

Recommendations

SPUR: a trace-based JIT compiler for CIL
OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) in running programs and focus their optimization effort by emitting optimized machine code specialized to these traces. Prior work has established this ...
SPUR: a trace-based JIT compiler for CIL
OOPSLA '10

Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) in running programs and focus their optimization effort by emitting optimized machine code specialized to these traces. Prior work has established this ...
A Bottom-Up Approach to Teaching Server-Side Web Development Skills (Abstract Only)
SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education

When dealing with the topic of back-end programming many CS web development courses typically focus on how to use a popular web framework, for example Spring MVC or Ruby on Rails. The problem with this approach is that students will most likely end up ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

PADL 2014: Proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages - Volume 8324

January 2014

231 pages

ISBN:9783319041315

Editors:
Matthew Flatt
School of Computing, University of Utah, Salt Lake City, USA
,
Hai-Feng Guo
Department of Computer Science, University of Nebraska, Omaha, USA

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 20 January 2014

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Gissurarson MMista AStoughton AVassena M(2020)Short Paper: Weak Runtime-Irrelevant Typing for SecurityProceedings of the 15th Workshop on Programming Languages and Analysis for Security10.1145/3411506.3417595(13-17)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3411506.3417595
Aronsson MSheeran M(2017)Hardware software co-design in HaskellACM SIGPLAN Notices10.1145/3156695.312297052:10(162-173)Online publication date: 7-Sep-2017
https://dl.acm.org/doi/10.1145/3156695.3122970
Ekblad A(2017)A meta-EDSL for distributed web applicationsACM SIGPLAN Notices10.1145/3156695.312296952:10(75-85)Online publication date: 7-Sep-2017
https://dl.acm.org/doi/10.1145/3156695.3122969
Aronsson MSheeran MDiatchki I(2017)Hardware software co-design in HaskellProceedings of the 10th ACM SIGPLAN International Symposium on Haskell10.1145/3122955.3122970(162-173)Online publication date: 7-Sep-2017
https://dl.acm.org/doi/10.1145/3122955.3122970
Ekblad ADiatchki I(2017)A meta-EDSL for distributed web applicationsProceedings of the 10th ACM SIGPLAN International Symposium on Haskell10.1145/3122955.3122969(75-85)Online publication date: 7-Sep-2017
https://dl.acm.org/doi/10.1145/3122955.3122969
Ekblad A(2016)High-performance client-side web applications through Haskell EDSLsACM SIGPLAN Notices10.1145/3241625.297601551:12(62-73)Online publication date: 8-Sep-2016
https://dl.acm.org/doi/10.1145/3241625.2976015
Bracker JNilsson H(2016)Supermonads: one notion to bind them allACM SIGPLAN Notices10.1145/3241625.297601251:12(158-169)Online publication date: 8-Sep-2016
https://dl.acm.org/doi/10.1145/3241625.2976012
Ekblad AMainland G(2016)High-performance client-side web applications through Haskell EDSLsProceedings of the 9th International Symposium on Haskell10.1145/2976002.2976015(62-73)Online publication date: 8-Sep-2016
https://dl.acm.org/doi/10.1145/2976002.2976015
Bracker JNilsson HMainland G(2016)Supermonads: one notion to bind them allProceedings of the 9th International Symposium on Haskell10.1145/2976002.2976012(158-169)Online publication date: 8-Sep-2016
https://dl.acm.org/doi/10.1145/2976002.2976012
Gill ASculthorpe NDawson JEskilson AFarmer AGrebe MRosenbluth JScott RStanton J(2015)The remote monad design patternACM SIGPLAN Notices10.1145/2887747.280431150:12(59-70)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2887747.2804311
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents