{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:14Z","timestamp":1750306274549,"version":"3.41.0"},"reference-count":44,"publisher":"Association for Computing Machinery (ACM)","issue":"ICFP","license":[{"start":{"date-parts":[[2017,8,29]],"date-time":"2017-08-29T00:00:00Z","timestamp":1503964800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2017,8,29]]},"abstract":"<jats:p>The Racket doctrine tells developers to narrow the gap between the terminology of a problem domain and general programming constructs by creating languages instead of just plain programs. This pearl illustrates this point with the creation of a relatively simple domain-specific language for editing videos. To produce the video proceedings of a conference, for example, video professionals traditionally use \"non-linear\" GUI editors to manually edit each talk, despite the repetitive nature of the process. As it turns out, video editing naturally splits the work into a declarative phase and an imperative rendering phase at the end. Hence it is natural to create a functional-declarative language for the first phase, which reduces a lot of manual labor. This user-facing DSL utilizes a second, internal DSL to implement the second phase, which is an interface to a general, low-level C library. Finally, we inject type checking into our language via another DSL that supports programming in the language of type formalisms. In short, the development of the video editing language cleanly demonstrates how the Racket doctrine naturally leads to the creation of language hierarchies, analogous to the hierarchies of modules found in conventional functional languages.<\/jats:p>","DOI":"10.1145\/3110274","type":"journal-article","created":{"date-parts":[[2017,8,29]],"date-time":"2017-08-29T18:19:41Z","timestamp":1504030781000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Super 8 languages for making movies (functional pearl)"],"prefix":"10.1145","volume":"1","author":[{"given":"Leif","family":"Andersen","sequence":"first","affiliation":[{"name":"Northeastern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Chang","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,29]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_2_1_1","DOI":"10.1145\/1085114.1085118"},{"key":"e_1_2_2_2_1","first-page":"63","article-title":"Foreign Interface for PLT Scheme","author":"Barzilay Eli","year":"2004","journal-title":"Scheme and Functional Programming"},{"doi-asserted-by":"publisher","key":"e_1_2_2_3_1","DOI":"10.1145\/62678.62687"},{"doi-asserted-by":"publisher","key":"e_1_2_2_4_1","DOI":"10.1145\/6424.315691"},{"key":"e_1_2_2_5_1","first-page":"w3","article-title":"Synchronized Multimedia Integration Language","volume":"0","author":"Bulterman Dick","year":"2008","journal-title":"World Wide Web Consortium (W3C), 3"},{"doi-asserted-by":"publisher","key":"e_1_2_2_6_1","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_2_2_7_1","first-page":"694","article-title":"Type Systems as Macros","author":"Chang Stephen","year":"2017","journal-title":"Principles of Programming Languages"},{"doi-asserted-by":"publisher","key":"e_1_2_2_8_1","DOI":"10.1145\/1317265.1317269"},{"key":"e_1_2_2_9_1","first-page":"1","volume-title":"History of Programming Languages","author":"Cook William R.","year":"2007"},{"doi-asserted-by":"publisher","key":"e_1_2_2_10_1","DOI":"10.1017\/S0956796812000275"},{"doi-asserted-by":"publisher","key":"e_1_2_2_11_1","DOI":"10.1016\/j.scico.2009.06.001"},{"volume-title":"Focal Press","year":"2010","author":"Dancyger Ken","key":"e_1_2_2_12_1"},{"issue":"1","key":"e_1_2_2_13_1","article-title":"Language Oriented Programming","volume":"1","author":"Dmitriev Sergey","year":"2004","journal-title":"The Next Programming Paradigm. JetBrains onBoard Electronic Magazine"},{"doi-asserted-by":"publisher","key":"e_1_2_2_14_1","DOI":"10.1007\/BF01806308"},{"key":"e_1_2_2_15_1","first-page":"406","volume-title":"Object Oriented Programming Systems, Languages, and Applications","author":"Erdweg Sebastian","year":"2011"},{"doi-asserted-by":"crossref","unstructured":"Sebastian Erdweg Tijs van der Storm Markus V\u00f6lter Laurence Tratt Remi Bosman William R. Cook Albert Gerritsen Angelo Hulshout Steven Kelly Alex Loh Gabri\u00ebl Konat Pedro J. Molina Martin Palatnik Risto Pohjonen Eugen Schindler Klemens Schindler Riccardo Solmi Vlad Vergu Eelco Visser Kevin van der Vlist Guido Wachsmuth and Jimi van der Woning. Evaluating and Comparing Language Workbenches: Existing Results and Benchmarks for the Future. Computer Languages Systems and Structures 44(Part A) pp. 24\u201347 2015.  Sebastian Erdweg Tijs van der Storm Markus V\u00f6lter Laurence Tratt Remi Bosman William R. Cook Albert Gerritsen Angelo Hulshout Steven Kelly Alex Loh Gabri\u00ebl Konat Pedro J. Molina Martin Palatnik Risto Pohjonen Eugen Schindler Klemens Schindler Riccardo Solmi Vlad Vergu Eelco Visser Kevin van der Vlist Guido Wachsmuth and Jimi van der Woning. Evaluating and Comparing Language Workbenches: Existing Results and Benchmarks for the Future. Computer Languages Systems and Structures 44(Part A) pp. 24\u201347 2015.","key":"e_1_2_2_16_1","DOI":"10.1016\/j.cl.2015.08.007"},{"key":"e_1_2_2_17_1","first-page":"113","article-title":"The Racket Manifesto","author":"Felleisen Matthias","year":"2015","journal-title":"Summit on Advances in Programming Languages"},{"volume-title":"Language Workbench Challenge","year":"2016","author":"Feltey Daniel","key":"e_1_2_2_18_1"},{"doi-asserted-by":"publisher","key":"e_1_2_2_19_1","DOI":"10.1017\/S0956796801004208"},{"doi-asserted-by":"publisher","key":"e_1_2_2_20_1","DOI":"10.1145\/581478.581484"},{"key":"e_1_2_2_21_1","first-page":"83","volume-title":"International Conference on Functional Programming","author":"Flatt Matthew","year":"2002"},{"doi-asserted-by":"publisher","key":"e_1_2_2_22_1","DOI":"10.1145\/2063176.2063195"},{"doi-asserted-by":"publisher","key":"e_1_2_2_23_1","DOI":"10.1145\/1596550.1596569"},{"unstructured":"Matthew Flatt Robert Bruce Findler and John Clements. GUI: Racket Graphics Toolkit. PLT Design Inc. PLT-TR-2010-3 2010. https:\/\/racket-lang.org\/tr3\/  Matthew Flatt Robert Bruce Findler and John Clements. GUI: Racket Graphics Toolkit. PLT Design Inc. PLT-TR-2010-3 2010. https:\/\/racket-lang.org\/tr3\/","key":"e_1_2_2_24_1"},{"unstructured":"Martin Fowler and Rebecca Parsons. Domain-specific Languages. Addison-Wesley 2010.  Martin Fowler and Rebecca Parsons. Domain-specific Languages. Addison-Wesley 2010.","key":"e_1_2_2_25_1"},{"doi-asserted-by":"publisher","key":"e_1_2_2_26_1","DOI":"10.1145\/2628136.2628138"},{"volume-title":"Commercial Users of Functional Programming Tutorials","year":"2015","author":"Gonzalez Gabriel","key":"e_1_2_2_27_1"},{"doi-asserted-by":"publisher","key":"e_1_2_2_28_1","DOI":"10.1145\/242224.242477"},{"volume-title":"Adobe Press","year":"2017","author":"Jago Maxim","key":"e_1_2_2_29_1"},{"key":"e_1_2_2_30_1","first-page":"61","volume-title":"Geoffrey Washburn. Simple Unificationbased Type Inference for GADTs. In International Conference on Functional Programming","author":"Jones Simon Peyton","year":"2006"},{"key":"e_1_2_2_31_1","first-page":"463","volume-title":"Object Oriented Programming Systems, Languages, and Applications","author":"Lennart","year":"2010"},{"doi-asserted-by":"publisher","key":"e_1_2_2_32_1","DOI":"10.1007\/3-540-61292-0_1"},{"doi-asserted-by":"publisher","key":"e_1_2_2_33_1","DOI":"10.1145\/319838.319859"},{"key":"e_1_2_2_34_1","first-page":"77","article-title":"Deriving Syntactic Transformations From Their Specifications","author":"Kohlbecker Eugene","year":"1987","journal-title":"Principles of Programming Languages"},{"unstructured":"Shriram Krishnamurthi. Linguistic Reuse. PhD dissertation Rice University 2001.  Shriram Krishnamurthi. Linguistic Reuse. PhD dissertation Rice University 2001.","key":"e_1_2_2_35_1"},{"doi-asserted-by":"publisher","key":"e_1_2_2_36_1","DOI":"10.1017\/S0956796899003561"},{"key":"e_1_2_2_37_1","first-page":"12","volume-title":"Summit on Advances in Programming Languages","author":"Patterson Daniel","year":"2017"},{"volume-title":"Addison-Wesley","year":"2003","author":"Raymond Eric S.","key":"e_1_2_2_38_1"},{"volume-title":"No Starch Press","year":"2007","author":"Roosendaal Ton","key":"e_1_2_2_39_1"},{"unstructured":"Wim Taymans Steve Baker Andy Wingo Rondald S. Bultje and Kost Stefan. GStreamer Application Development Manual. 2013. https:\/\/gstreamer.freedesktop.org\/data\/doc\/gstreamer\/head\/manual\/manual.pdf  Wim Taymans Steve Baker Andy Wingo Rondald S. Bultje and Kost Stefan. GStreamer Application Development Manual. 2013. https:\/\/gstreamer.freedesktop.org\/data\/doc\/gstreamer\/head\/manual\/manual.pdf","key":"e_1_2_2_40_1"},{"doi-asserted-by":"publisher","key":"e_1_2_2_41_1","DOI":"10.1145\/1993498.1993514"},{"unstructured":"Martin P. Ward. Language Oriented Programming. Software\u2014Concepts and Tools 15 pp. 147\u2013161 1994.  Martin P. Ward. Language Oriented Programming. Software\u2014Concepts and Tools 15 pp. 147\u2013161 1994.","key":"e_1_2_2_42_1"},{"doi-asserted-by":"publisher","key":"e_1_2_2_43_1","DOI":"10.1145\/604131.604150"},{"doi-asserted-by":"publisher","key":"e_1_2_2_44_1","DOI":"10.1145\/277650.277732"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3110274","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3110274","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:44Z","timestamp":1750221524000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3110274"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,29]]},"references-count":44,"journal-issue":{"issue":"ICFP","published-print":{"date-parts":[[2017,8,29]]}},"alternative-id":["10.1145\/3110274"],"URL":"https:\/\/doi.org\/10.1145\/3110274","relation":{},"ISSN":["2475-1421"],"issn-type":[{"type":"electronic","value":"2475-1421"}],"subject":[],"published":{"date-parts":[[2017,8,29]]},"assertion":[{"value":"2017-08-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}