Transparencia referencial

La transparencia referencial es un término utilizado en la programación funcional que se refiere a la propiedad por la cual "en un programa, una expresión E del lenguaje puede ser sustituida por otra de igual valor V, resultando en un programa cuya semántica no va a diferir de la del original".

En otras palabras, el resultado de evaluar una expresión compuesta depende únicamente del resultado de evaluar las subexpresiones que la componen y de nada más; no depende de la historia del programa en ejecución ni del orden de evaluación de las subexpresiones que la componen.

Esta propiedad no se da en lenguajes imperativos, donde abundan los efectos colaterales por asignaciones destructivas. Por ejemplo, en esta clase escrita en lenguaje Java: 

class Clase{
    static int m = 1;
    static int dame() { m++; return m-1;}
    static int hola() { return dame();}
    static int a1()   { return m + dame();}
    static int a2()   { return dame() + m;}
}

No podemos sustituir dame() por su valor, en el método hola(), pues suprimiríamos el efecto lateral de incremento dando un estado del programa diferente al original. La sustitución de una expresión por su valor genera un estado diferente.

Como ya se ha dicho, otra complicación de los lenguajes sin transparencia referencial es que dificultan el razonamiento ecuacional: los métodos a1(),a2() no devuelven los mismos resultados con un mismo valor inicial de m. Por ejemplo: para m=0, a1() devolverá 0 la primera vez que se ejecute, mientras que a2() devolverá 1 la primera vez que se ejecute.


La transparencia referencial es muy útil a la hora de modificar un programa, ya que no tenemos que preocuparnos de que las modificaciones que hagamos en una parte del mismo afecten los cálculos que se hacen en otras. También es muy poderosa a la hora de verificar un programa (demostrar matemáticamente que cumple la especificación), ya que podemos utilizar propiedades ya demostradas de todas las subexpresiones que constituyen una expresión y que son válidas en cualquier contexto.


Read other articles:

Сим (Библия)

У этого термина существуют и другие значения, см. Сим. Симдр.-евр. ‏‏‎и ивр. שֵׁם‎Шем бен Но́ах Портрет из сборника биографийPromptuarium iconum insigniorum (1553) Пол мужской Период жизни По иудейской традиции: 2205—1605 до н. э.по православной: 3345—2745 до н. э. Толкование имени имя, на�...

 

Dewan Perwakilan Rakyat Papua

Dewan Perwakilan Rakyat PapuaPeriode 2019-2024JenisJenisUnikameral Jangka waktu5 tahunSejarahDidirikan1963Sesi baru dimulai31 Oktober 2019PimpinanKetuaJohny Banua Rouw (NasDem) sejak 17 Desember 2019 Wakil Ketua IYunus Wonda (Demokrat) sejak 17 Desember 2019 Wakil Ketua IIEdoardus Kaize (PDI-P) sejak 17 Desember 2019 Wakil Ketua IIIYulianus Rumbairusy (PAN) sejak 17 Desember 2019 KomposisiAnggota69Partai & kursiPemerintah (38)   Demokrat (8)   NasDem (8...

 

Butik dukomsel

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 Juni 2016. Butik Dukomsel adalah Toko multi retail yang berlokasi di Jl. Ir. H. Juanda (Dago) No. 52 Bandung. Perusahaan yang mendirikan Butik Dukomsel sejak Tahun 1994 adalah PT. Tjipta Widjaya Sejahtera. Pada Tahun 2012 mulai menghadirkan website E-commerce ButikD...

Kegubernuran Dahuk

Kegubernuran Dahuk Ibu kota Dahuk Kota terbesar Kepala pemerintah Luas (km²) 6.553 Populasi (jiwa) 510.000 Kepadatan (/km²) 77 Bahasa Kurdi, Assyria Komposisi etnis Kegubernuran Dahuk (Arab: دهوك, Kurdi: دهۆك, Assyria: ܢܘܗܕܪܐ) merupakan sebuah kegubernuran di Irak. Letaknya di bagian utara di negara itu. Kegubernuran ini memiliki luas wilayah 6.553 km² dengan memiliki jumlah penduduk 510.000 jiwa (2006). Ibu kotanya ialah Dahuk. Kegubernuran ini terletak di dekat perbat...

 

Komune di departemen Puy-de-Dôme

Berikut merupakan daftar 470 komune di département Puy-de-Dôme, di Prancis. (CAC) Communauté d'agglomération Clermont Communauté, dibentuk pada tahun 2000. (CCHL) Communauté de communes Haut-Livradois. Kode INSEE Kode pos Komune 63001 63260 Aigueperse 63002 63980 Aix-la-Fayette (CCHL) 63003 63600 Ambert 63004 63770 Les Ancizes-Comps 63005 63340 Antoingt 63006 63420 Anzat-le-Luguet 63007 63420 Apchat 63008 63250 Arconsat 63009 63420 Ardes 63010 63220 Arlanc 63011 63700 Ars-les-Favets 63...

 

Zéramdine

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: Zéramdine – news · newspapers · books · scholar · JSTOR (December 2016) (Learn how and when to remove this template message) Zeramdine's city hall.Zéramdine is a Tunisian city located in the Sahel, Tunisia region about twenty kilometers southwest of Monastir....

KKCB

Radio station in Duluth, MinnesotaKKCBDuluth, MinnesotaBroadcast areaDuluth-SuperiorFrequency105.1 MHzBrandingB105ProgrammingFormatCountryAffiliationsCompass Media NetworksOwnershipOwnerTownsquare Media(Townsquare License, LLC)Sister stationsKBMX, KLDJ, WEBC, WWPE-FMHistoryFirst air date1966 (1966) (as WWJC)Former call signsWWJC (1966-1971)WGGR (1971-1983)WAVC (1983-1996)Call sign meaningB105Technical informationFacility ID49686ClassC1ERP100,000 wattsHAAT241 m (791 ft)LinksWebc...

 

Relations entre la Géorgie et l'OTAN

Membres de l'OTAN Géorgie Les relations entre la Géorgie et l'Organisation du Traité de l'Atlantique Nord (OTAN) ont officiellement commencé en 1994 lorsque la Géorgie a rejoint le Partenariat pour la paix géré par l'OTAN. La Géorgie a réagi rapidement après la révolution des roses en 2003 pour rechercher des liens plus étroits et une éventuelle adhésion à l'OTAN. Le puissant voisin nordique de la Géorgie, la Russie, s'est opposé à ces liens plus étroits, y compris ceux exp...

 

Minister for Public Expenditure, National Development Plan Delivery and Reform

Irish government cabinet minister Minister for Public Expenditure, National Development Plan Delivery and ReformIncumbentPaschal Donohoesince 17 December 2022Department of Public Expenditure, National Development Plan Delivery and ReformMember ofGovernment of IrelandDáil ÉireannReports toTaoiseachSeatDublin, IrelandAppointerPresident of Ireland on the nomination of the TaoiseachInaugural holderBrendan HowlinFormation6 July 2011WebsiteDepartment of Public Expenditure, National Developme...

دراسة العقائد الدينية

دراسة العقائد الدينيةصنف فرعي من علوم اجتماعية جزء من theology and religious studies (en) يمتهنه باحث في الأديان الموضوع دين تعديل - تعديل مصدري - تعديل ويكي بياناتتحتاج هذه المقالة إلى تهذيب لتتناسب مع دليل الأسلوب في ويكيبيديا. فضلاً، ساهم في تهذيب هذه المقالة من خلال معالجة مشكلات الأس�...

 

KHUB

Radio station in Fremont, NebraskaKHUBFremont, NebraskaBroadcast areaFremont, NebraskaFrequency1340 kHzBrandingThe Big DogProgrammingFormatCountryAffiliationsABC Radio, Salem Communications, Westwood OneOwnershipOwnerSteven W. Seline(Walnut Radio, LLC)Sister stationsKFMTHistoryFirst air dateDecember 22, 1939[1]Former call signsKORN (1939–1949)KFGT (1949–1958)Technical informationFacility ID34550ClassCPower500 watts (day)250 watts (night)Transmitter coordinates41°25′58.00″N 96...

 

Metropolitan Water Board

Public utility supplying water to London 1903–1974 Metropolitan Water BoardCrest of the Metropolitan Water BoardBoard overviewFormed1903Dissolved1 April 1974Superseding agencyThames Water Authority The Metropolitan Water Board was a municipal body formed in 1903 to manage the water supply in London, UK. The members of the board were nominated by the local authorities within its area of supply. In 1904 it took over the water supply functions from the eight private water companies which had p...

西遊記大結局之仙履奇緣

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。 此條目需要編修，以確保文法、用詞、语气、格式、標點等使用恰当。 (2013年8月6日)請按照校對指引，幫助编辑這個條目。（幫助、討論） 此條目剧情、虛構用語或人物介紹过长过细，需清理无关故事主轴的细节、用語和角色介紹。 (2020年10月6日)劇情、用語和人物介紹都只是用於了解故事主軸，輔助�...

 

System 7

Seventh major release of the classic Mac OS This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) 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: System 7 – news · newspapers · books · scholar · JSTOR (Decembe...

 

Rose Atoll

Atoll in American Samoa Not to be confused with Rose Island (disambiguation). Atoll in American SamoaRose AtollAtollRose AtollNASA satellite imageryRose AtollShow map of OceaniaRose AtollShow map of Pacific OceanCoordinates: 14°32′48″S 168°09′07″W / 14.54667°S 168.15194°W / -14.54667; -168.15194TerritoryAmerican SamoaArea • Land0.02 sq mi (0.05 km2)Population • Total0 • Density0/sq mi (0/km2) Rose Atol...

Empis rustica

Empis rustica Klasifikasi ilmiah Kerajaan: Animalia Filum: Arthropoda Kelas: Insecta Ordo: Diptera Famili: Empididae Genus: Empis Spesies: Empis rustica Nama binomial Empis rusticaFallén, 1816 Empis rustica adalah spesies lalat yang tergolong ke dalam famili Empididae. Spesies ini juga merupakan bagian dari genus Empis dan ordo Diptera.[1][2] Nama ilmiah dari spesies ini pertama kali diterbitkan pada tahun 1816 oleh Fallén. Referensi ^ Bisby F.A., Roskov Y.R., Orrell T.M., ...

 

Centro Espacial Lyndon B. Johnson

Centro Espacial Johnson Tipo NASA facility, instituto de investigación, centro de investigación y space centerFundación 1 de noviembre de 1961 y 1963Sede central Houston (Estados Unidos)Presidente Vanessa E. WycheEmpleados 3200Empresa matriz Administración Nacional de Aeronáutica y del EspacioFiliales Astromaterials Research and Exploration Science DirectorateCoordenadas 29°33′30″N 95°05′20″O / 29.558333333333, -95.088888888889Sitio web www.nasa.gov/centers/john...

 

نيوس مارماراس

نيوس مارماراس (باليونانية: Νέος Μαρμαράς)‏  تقسيم إداري البلد اليونان  [1] خصائص جغرافية إحداثيات 40°05′48″N 23°46′59″E / 40.09666667°N 23.78305556°E / 40.09666667; 23.78305556   الارتفاع 20 متر  السكان التعداد السكاني 2884 (resident population of Greece) (2021)2787 (resident population of Greece) (2001)2426 (resident pop...

Maile Flanagan

Maile FlanaganMaile in May 2012LahirMiley Maile Flanagan19 Mei 1965 (umur 59)Honolulu, HawaiiPekerjaanFilm, televisi, panggung, aktris suaraTahun aktif1998–presentSuami/istriLesa HammettSitus webhttp://www.maileflanagan.com Maile Flanagan (lahir 19 Mei 1965) adalah seorang aktris dan pengisi suara Amerika Serikat yang paling dikenal untuk menyuarakan Naruto Uzumaki dalam waralaba Naruto. Pranala luar Media terkait Category:Maile Flanagan di Wikimedia Commons Official site Diarsip...

 

Max Planck Institute for the Study of Religious and Ethnic Diversity

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: Max Planck Institute for the Study of Religious and Ethnic Diversity – news · newspapers · books · scholar · JSTOR (December 2021) (Learn how and when to remove this message) Max Planck Institute for the Study of Religious and Ethnic DiversityAbbreviationMPI-MM...