Metalinguistic abstraction

In computer science, metalinguistic abstraction is the process of solving complex problems by creating a new language or vocabulary to better understand the problem space. More generally, it also encompasses the ability or skill of a programmer to think outside of the pre-conceived notions of a specific language in order to exploratorily investigate a problem space in search of the kind of solutions which are most natural or cognitively ergonomic to it. It is a recurring theme in the seminal MIT textbook Structure and Interpretation of Computer Programs, which uses Scheme, a dialect of Lisp, as a framework for constructing new languages.

Explanation

For example, consider modelling an airport inside a computer. The airport has elements like passengers, bookings, employees, budgets, planes, luggage, arrivals and departures, and transit services.

A procedural (e.g. C) programmer might create data structures to represent these elements of an airport and procedures or routines to operate on those data structures and update them, modelling the airport as a series of processes undergone by its various elements. E.g., bookings is a database used to keep passengers and planes synchronised via updates logged as arrivals and departures, budgets are similar but for money: airports are a lot of things that need to get done in the right order to see that passengers get where they're going.

An object-oriented (e.g. Java) programmer might create objects to represent the elements of the airport with methods which represent their behaviors, modelling the airport as a collection of possibly related things which characteristically interact with each other. E.g., passengers, employees, and planes possess location attributes which can be modified via applicable transit methods: transit services have methods to bring employees and passengers to and from airports, planes have methods to bring passengers along with themselves between different airports: airports are a grouping of things working together as intended.

A functional (e.g. Scheme) programmer might create higher-order functions representing both the elements and behaviors or processes of the airport, modelling the airport as a map of relations between elements in its various domains and those in their assorted codomains. E.g., airports map budgets to bookings schedules, each of which is itself a map of elements to elements: balances of income and expenditure, and balances of arrivals and departures, each of which is, recursively, its own mapping of elements and their own mappings in kind, collectively comprising a set of morphisms: airports are, transitively, the evaluative transformation of a certain spacetime economy.

Finally, a metalinguistic programmer might abstract the problem by creating new domain-specific languages for modelling airports, with peculiar primitives and types for doing so. The new language could encompass any or all of the above approaches where most suitable,[1] potentially enabling the programmer to retain both the abstract generality of the functional model, the intuitive sensibility of the object model, and the detail-driven pragmatism of the procedural model.

Because the creation of functional metalinguistic abstractions in non-functional languages can be cumbersome while the reverse is usually trivial (e.g. it is generally much easier to take a side-effect-free programming abstraction and simply add effects to it than it is to take a stateful abstraction and work around or encapsulate its propagation of state), and because of the syntactic flexibility and referential safety of functional macros, metalinguistic programming is mostly idiomatic of functional programming languages.

See also

References

  1. ^ Structure and Interpretation of Computer Programs, Part 4 — Metalinguistic Abstraction

Read other articles:

Hormone of the gastrointestinal system CCKIdentifiersAliasesCCK, cholecystokininExternal IDsOMIM: 118440 MGI: 88297 HomoloGene: 583 GeneCards: CCK Gene location (Human)Chr.Chromosome 3 (human)[1]Band3p22.1Start42,257,825 bp[1]End42,266,185 bp[1]Gene location (Mouse)Chr.Chromosome 9 (mouse)[2]Band9 72.43 cM|9 F4Start121,318,890 bp[2]End121,324,760 bp[2]RNA expression patternBgeeHumanMouse (ortholog)Top expressed infrontal poleBrodmann area 1...

 

 

HayuꦲꦪꦸGusti Kanjeng RatuFoto resmi GKR HayuKelahiranRaden Ajeng Nurabra Juwita24 Desember 1982 (umur 41)Yogyakarta, IndonesiaWangsaHamengkubuwonoNama lengkapGusti Kanjeng Ratu HayuAyahHamengkubuwana XIbuRatu HemasPasanganPangeran Notonegoro ​(m. 2013)​AnakRaden Mas Manteyyo Kuncoro SuryonegoroKerabat GKR Mangkubumi (kakak) GKR Condrokirono (kakak) GKR Maduretno (kakak) GKR Bendara (adik) AgamaIslamPendidikan Stevens Institute Of Technology Bournemouth ...

 

 

Dynamic mechanical properties of pneumatic tires This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Tire uniformity – news · newspapers · books · scholar · JSTOR (February 2007) (Learn how and when to remove this template message) Tire uniformity refers to the dynamic mechanical properties of pneumatic tires as...

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Januari 2023. MTsN 1 Kota MalangInformasiDidirikan1992JenisNegeriAkreditasiANomor Pokok Sekolah Nasional20583813Kepala SekolahErni Qomaria RidaJumlah kelas68Rentang kelasKelas VII, Kelas VIII, Kelas IXJumlah siswa1000+AlamatLokasiJl. Bandung No.7, Pen...

 

 

Parties to a transaction are on an equal footing Arm's length redirects here. For the physical measurement of arms, see Arm span. For the band, see Arm's Length. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Arm's length principle – news · newspapers · books · scholar · JSTOR (March 2016) (Learn how and wh...

 

 

Parnall was a British aircraft manufacturer that evolved from a wood-working company before the First World War to a significant designer of military and civil aircraft into the 1940s.[citation needed][1][2] It was based in the west of England and was originally known as George Parnall & Co. Ltd.[3] History Memorial to the 52 killed in German air raids on 27 February 1941 at Parnall Aircraft in Yate In 1916, the Bristol based Parnall & Sons shopfitters...

Australian activist and politician SenatorJacinta Nampijinpa PriceSenator for the Northern TerritoryIncumbentAssumed office 21 May 2022Preceded bySam McMahonDeputy Mayor of Alice SpringsIn office29 September 2020 – 28 August 2021Succeeded byEli MelkyCouncillor for the Town of Alice SpringsIn officeSeptember 2015 – 28 August 2021Preceded byLiz MartinSucceeded byMichael Liddle Personal detailsBornJacinta Yangapi Nampijinpa Price (1981-05-12) 12 May 1981 (age 42)D...

 

 

Saunders-Roe SR.45 PrincessIl Saunders-Roe SR.45 Princess G-ALUN in volo all'Airshow di Farnborough del 1953, si notano i galleggianti stabilizzatori laterali in posizione retrattaDescrizioneTipoIdrovolante di linea Equipaggio4(2 piloti, 2 ingegneri di bordo, navigatore e operatore radio) ProgettistaArthur Gouge Costruttore Saunders-Roe Data ordinemaggio 1946 Data primo volo22 agosto 1952 Data ritiro dal servizioradiati nel 1967 Esemplari3 Dimensioni e pesiLunghezza42,1 m (148 ft 0 in) Apertu...

 

 

American baseball player (born 1983) Baseball player Brandon LeagueLeague with the Los Angeles DodgersPitcherBorn: (1983-03-16) March 16, 1983 (age 41)Sacramento, California, U.S.Batted: RightThrew: RightMLB debutSeptember 21, 2004, for the Toronto Blue JaysLast MLB appearanceSeptember 27, 2014, for the Los Angeles DodgersMLB statisticsWin–loss record27–35Earned run average3.65Strikeouts375Saves74 Teams Toronto Blue Jays (2004–2009) Seattle Mariners (2...

Politics of China Leadership Leadership generations Succession of power Hu–Wen Administration (2002–2012) Xi–Li Administration (2012–2017) Xi Administration (since 2017) 4th Leadership Core: Xi Jinping 20th Party Politburo: Xi Jinping 14th State Council: Li Qiang Current state leaders Current provincial leaders National leaders Orders of precedence Paramount leader: Xi Jinping First lady: Peng Liyuan Communist Party leader: Xi Jinping State representative: Xi Jinping Head of g...

 

 

Japanese comics genre Part of a series onAnime and manga Anime History Voice acting Companies Studios Original video animation Original net animation Fansub Fandub Lists Longest series Longest franchises Manga History Publishers International market Manga artist Doujinshi Alternative Gekiga Yonkoma Iconography Scanlation Lists Best-selling series Longest series Demographic groups Children Shōnen Shōjo Seinen Josei Genres Bara Cooking Harem Isekai Iyashikei Lolicon Magical girl Mecha Otomech...

 

 

Savitskaya (bawah) dan kru Soyuz T-7 lainnya dalam perangko Soviet keluaran tahun 1983. Svetlana Yevgenyevna Savitskaya (Rusia: Светлана Евгеньевна Савицкая; kelahiran 8 Agustus 1948) adalah mantan penerbang Soviet dan kosmonaut yang terbang di atas kapal Soyuz T-7 pada tahun 1982, menjadi wanita kedua dalam ruang angkasa sekitar 19 tahun setelah Valentina Tereshkova. Dia menjadi wanita pertama yang melakukan spacewalk pada tanggal 25 Juli 1984. Dia berada di luar st...

French fencer Julien MertinePersonal informationBorn (1988-06-25) 25 June 1988 (age 35)Saint-Germain-en-Laye, FranceHeight1.85 m (6 ft 1 in)Weight80 kg (176 lb)SportCountryFranceSportFencingWeaponFoilHandright-handedNational coachFranck BoidinClubCE Rueil-Malmaison / PF INSEPFIE rankingcurrent ranking Medal record Olympic Games 2020 Tokyo Team World Championships 2014 Kazan Team foil 2019 Budapest Team foil 2017 Leipzig Team foil European Championships ...

 

 

Portal Geschichte | Portal Biografien | Aktuelle Ereignisse | Jahreskalender | Tagesartikel ◄ | 16. Jahrhundert | 17. Jahrhundert | 18. Jahrhundert | ► ◄ | 1580er | 1590er | 1600er | 1610er | 1620er | 1630er | 1640er | ► ◄◄ | ◄ | 1611 | 1612 | 1613 | 1614 | 1615 | 1616 | 1617 | 1618 | 1619 | ► | ►► Staatsoberhäupter · Nekrolog · Musikjahr Kalenderübersicht 1615 Januar Kw Mo Di Mi Do Fr Sa So 1       1 2 3 4 2...

 

 

Cultivation of crops in space This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (January 2013) (Learn how and when to remove this message) Lada plant growth experiment Space farming refers to the cultivation of crops for food and other materials in space or on off-Earth celestial objects – equivalent to agriculture on Moon. Farming on celestial bodies, such as...

Perayaan Hari Anak di Rusia pada 1 Juni 2010 Prangko peringatan Hari Anak Nasional Hari Anak adalah acara yang diselenggarakan pada tanggal yang berbeda-beda di berbagai tempat di seluruh dunia. Hari Anak Internasional diperingati setiap tanggal 1 Juni dan Hari Anak Universal diperingati setiap tanggal 20 November. Negara lainnya merayakan Hari Anak pada tanggal yang lain. Perayaan ini bertujuan menghormati hak-hak anak di seluruh dunia. Di Indonesia, Hari Anak Nasional diperingati setiap 23 ...

 

 

This article's lead section may be too short to adequately summarize the key points. Please consider expanding the lead to provide an accessible overview of all important aspects of the article. (April 2018) Aabid SurtiAabid Surti of Cartoon Kona Dabbuji Fame DharamyugBorn (1935-05-05) 5 May 1935 (age 89)Vavera, British IndiaNationalityIndianEducationDiploma in ArtsAlma materJ. J. School of ArtOccupationsAuthorcartoonistpainterenvironmentalistNotable workBahadur, Teesri Aankh, The B...

 

 

Railway Bridge in West Bengal Sevoke Railway Bridge is the railway bridge on River Teesta near Mahananda Wildlife Sanctuary at Sevoke, West Bengal, India. The railway bridge is about 396.1 metres long and connects Darjeeling district with Jalpaiguri district of West Bengal.[1] The bridge lies on New Jalpaiguri–Alipurduar–Samuktala Road line of Northeast Frontier Railway, Alipurduar Division. It connects Siliguri - Sevoke to the Doars region of North Bengal. Sevoke Railway Bridge r...

Demansia TaksonomiKerajaanAnimaliaFilumChordataKelasReptiliaOrdoSquamataFamiliElapidaeGenusDemansia Gray, 1842 lbs Demansia adalah nama genus yang terdiri dari 14 spesies ular Elapidae. Ular-ular ini terdapat di Australia, Pulau Papua, dan pulau-pulau di sekitarnya. Klasifikasi Demansia angusticeps (MACLEAY, 1888) Demansia calodera STORR, 1978 Demansia flagellatio WELLS & WELLINGTON, 1985 Demansia olivacea (GRAY, 1842) Demansia papuensis (MACLEAY, 1877) Demansia psammophis (SCHLEGEL, 1837...

 

 

Juggernaut BooksDidirikanSeptember 2015PendiriChiki Sarkar, Durga RaghunathNegara asalIndiaKantor pusatNew Delhi, IndiaDistribusiDaring dan fisikTokoh kunciSimran Khara, Nandan Nilekani, Aveek Sarkar, Pratap Bhanu Mehta, Neeraj Aggarwal, Gavin Morris, Jaishree Ram Mohan, Nandini MehtaJenis terbitanPenerbitan daring, cerita pendek, otobiografi, buku elektronikSitus resmiwww.juggernaut.in Juggernaut Books (secara informal Juggernaut) adalah rumah penerbitan buku digital yang berkantorpusatkan d...