İçeriğe atla

Lazy Evaluation

Lazy Evaluation, bir programlama terimi olarak, kesin (strict) değerlendirme teriminin karşıtı olarak kullanılır. Tembel değerlendirmeli dillerde değerler, ihtiyaç duyulduğu anda üretilir, daha önce değil. Bu işlemin, son ana kadar ertelenmesinden dolayı tembel terimi kullanılmıştır.

Geçmişi

Lazy Evaluation, lambda calculus için Christopher Wadsworth tarafından tanıtılmış ve Plessey System 250 tarafından bir Lambda-Calculus Meta-Machine'in kritik bir parçası olarak kullanılmış, yetenekle sınırlı bir adres alanındaki nesnelere erişim için çözümleme ek yükünü azaltmıştır.[1] Programlama dilleri için, bağımsız olarak Peter Henderson ve James H. Morris[2] ve Daniel P. Friedman ve David S. Wise tarafından tanıtılmıştır.[3]

Uygulama

Kesin değerlendirmeli dillerde, bunun tersine değerler, ihtiyaç duyulacak olsun ya da olmasın hemen üretilir ve saklanır.

Tembel değerlendirmeye verilen bir diğer ad da 'isimle çağrılan'dır (call by name). Bunun karşıtı ve dolayısıyla kesin değerlendirmenin eş anlamlısı olan terim ise değer ile çağrılan'dır (call by value).

Bir eşitlikte, bir değer/değişken kullanıldığında, kesin değerlendirmeli yani değer ile çağrılan dillerde, daha önceden üretilmiş ve saklanmakta olan değer konulur. Tembel değerlendirmeli yani isim ile çağrılan dillerde ise değerin elde edilmesi için gereken bilgi konulur ve ihtiyaç duyulacağı ana kadar değerin hesaplanması ertelenir.

Bu özellik, tembel değerlendirmeli dillerde farklı bir yaklaşımı kullanabilmeye imkân şağlar. Kesin değerlendirmeli dillerde, ihtiyaç duyulsun ya da duyulmasın sonucun hemen elde edilmeye çalışılacak olması, kendi kendini sonsuza kadar çağıracak bir işlevin (function) yazılmasına, hafıza taşmasına yol açacağından dolayı, imkân tanımazken böyle bir işlev, tembel değerlendirmeli dillerde yazılabilir.

Tembel dillere örnek olarak Haskell verilebilir.

Kaynakça

  1. ^ Civilizing Cyberspace: The Fight For Digital Democracy. Kenneth Hamer-Hodges (İngilizce). Book Writing Inc. 31 Aralık 2019. s. 410. Erişim tarihi: 30 Ağustos 2023. 
  2. ^ Henderson, Peter; Morris, James H. (1976). "A lazy evaluator" (İngilizce). ACM Press: 95-103. doi:10.1145/800168.811543. 
  3. ^ "CONS should not evaluate its arguments" (PDF). Daniel P. Friedman ile David S. Wise. Edinburg University Press. 20 Temmuz 1976. 30 Ağustos 2023 tarihinde kaynağından (PDF) arşivlendi. Erişim tarihi: 30 Ağustos 2023. 

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Bilgisayar bilimi</span> belirli evren kurallarına dayalı, sistematik çalışan ve elementlerin ya da ağların birbirleriyle olan ilişkisi

Bilgisayar bilimi, bilgisayarların tasarımı ve kullanımı için temel oluşturan teori, deney ve mühendislik çalışmasıdır. Hesaplamaya ve uygulamalarına bilimsel ve pratik bir yaklaşımdır. Bilgisayar bilimi; edinim, temsil, işleme, depolama, iletişim ve erişimin altında yatan yönteme dayalı prosedürlerin veya algoritmaların fizibilitesi, yapısı, ifadesi ve mekanizasyonunun sistematik çalışmasıdır. Bilgisayar biliminin alternatif, daha özlü tanımı "büyük, orta veya küçük ölçekli algoritmik işlemleri otomatikleştirme çalışması" olarak nitelendirilebilir. Bir bilgisayar bilimcisi, hesaplama teorisi ve hesaplama sistemlerinin tasarımı konusunda uzmanlaşmıştır.

<span class="mw-page-title-main">Adam Smith</span> İskoç filozof ve ekonomist (1723–1790)

Adam Smith FRSA, "Ekonominin Babası" ve "Kapitalizmin Babası" olarak anılan İskoç ekonomist, ahlak filozofu, politik ekonominin öncüsü ve İskoç Aydınlanması sırasındaki önemli bir figürdü.

<span class="mw-page-title-main">JavaScript</span> programlama dili

JavaScript, HTML ve CSS ile birlikte World Wide Web'in temel teknolojilerinden biri olan programlama dilidir. Web sitelerinin %97'sinden fazlası, web sayfası hareketleri için istemci tarafında JavaScript kullanırlar ve kullanılan kodlar genellikle üçüncü taraf kitaplıkları içerir. Tüm büyük web tarayıcılarında, kaynak kodunu kullanıcıların cihazlarında yürütebilmek için özel bir JavaScript motoru bulunur.

Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.

Bilgisayar virüsü, kullanıcının izni ya da bilgisi dahilinde olmadan bilgisayarın çalışma şeklini değiştiren ve kendini diğer dosyaların içerisinde gizlemeye çalışan aslında bir tür bilgisayar programıdır.

<span class="mw-page-title-main">Elektrik</span> elektrik yükünün varlığı ve akışı ile ilgili fiziksel olaylar

Elektrik, elektrik yüklerinin akışına dayanan bir dizi fiziksel olaya verilen isimdir. Elektrik sözcüğü Türkçeye Fransızcadan geçmiştir. Elektriğin Türkçe eş anlamlısı çıngı sözcüğüdür. Ayrıca Anadolu ağızlarında elektrik anlamında yaldırayık sözcüğü tespit edilmiştir. Elektrik, pek çok farklı şekillerde var olabilir. Örneğin, yıldırımlar, durgun elektrik, elektromanyetik indüksiyon ve elektrik akımı gibi. Ek olarak, elektriğin elektromanyetik radyasyon, radyo dalgaları gibi oluşumları olduğu bilinmektedir.

<span class="mw-page-title-main">Web sunucusu</span> Web site içeriklerini kullanıcıya sunan sunucu

Web sunucusu, Hosting ya da "barındırma" işlemini İnternet protokolü üzerinden sunan bir sunucudur. Barındırma ya da hosting, Web sayfalarını İnternet'te yayınlamak için gerekli alanın kiralanmasıdır. Diğer bir ifade ile hosting, bir Web sitesinde yayınlanmak istenen sayfaların, resimlerin veya dokümanların İnternet kullanıcıları tarafından erişebileceği bir bilgisayarda tutulmasıdır.

Nihilizm, evrenin ve insan yaşamının özünde herhangi bir anlam taşımadığını savunan bir felsefi yaklaşımdır. Ancak bu, her türlü anlam ve değerin tamamen reddi gerektiği anlamına gelmez. Nihilizme göre, toplumsal, ahlaki ve kültürel değerler insan yapımıdır ve mutlak bir gerçeklik taşımaz.

Kült veya tarikat, popüler kültür ve akademide çok çeşitli tanımları olan, tartışmalı bir terim olup birçok disiplinden bilim insanı arasında devam eden bir tartışma konusudur. Dini hareketlerin sosyolojik sınıflandırılmasına göre kült, sosyal olarak sapkın, yeni inanç ve uygulamalara sahip dini veya sosyal bir grup olarak tanımlanmaktadır. Ancak bir grubun inanç ve uygulamalarının yeteri derecede sapkın ya da yeni olup olmadığı genelde net olmayan bir konudur. “Kült” kelimesi her zaman tartışmalı olmuştur. Zira net ve herkesçe kabul gören bir tanımı olmadığı için bu tabir, farklı doktrin ve uygulamalara sahip gruplara karşı şahsi saldırılarda kullanılan öznel bir adlandırma görevi görebilmektedir.

<span class="mw-page-title-main">Jacques Lacan</span> Fransız ruh hekimi (1901-1981)

Jacques Marie Émile Lacan, "Freud'dan bu yana en tartışmalı psikanalist" olarak anılan Fransız psikanalist ve psikiyatr.

Neoliberalizm veya neo-liberalizm, İkinci Dünya Savaşı'ndan sonra gerileme yaşayan serbest piyasa kapitalizmiyle ilişkilendirilen 19. yüzyıl fikirlerinin 20. yüzyılın sonlarında yeniden ortaya çıkması için kullanılan bir terimdir. Muhafazakar ve liberteryen örgütlerin, siyasi partilerin ve düşünce kuruluşlarının yükselişinde önemli bir faktör olan neoliberalizm, genellikle ekonomik liberalleşme politikalarıyla ilişkilendirilir. Bu politikalar arasında özelleştirme, düzenlemelerin kaldırılması, küreselleşme, serbest ticaret, para politikası, kemer sıkma politikaları ve devlet harcamalarının azaltılması gibi unsurlar yer alır. Bu politikalarla ekonomi ve toplumda özel sektörün rolünün artırılması amaçlanır. Neoliberal proje aynı zamanda kurumların tasarlanmasına odaklanmakta ve bir siyasi boyutu bulunmaktadır. Neoliberalizmin düşünce ve pratikte belirleyici özellikleri, büyük ölçüde akademik tartışmanın konusu olmuştur.

<span class="mw-page-title-main">Aşk</span> aşırı sevgi ve bağlılık duygusu

Aşk, kişilerarası ilişki veya bir başka varlığa duyulan derin sevgidir. Bunun daha derini ise TDK sözlüğüne göre "güçlü sevgi, güçlü aşk" veya aşırı ve güçlü tutku, istek anlamına gelen hem ruhen hem de bedenen aşık olmayı kapsadığı düşünülen "sevda"dır. Bunun umutsuz, güçlü ve insanı hasta edecek derecede saplantılı haline ise "kara sevda" adı verilmektedir. Çeşitli kültürlerde aşk, en yüce erdem veya iyi alışkanlıktan, en derin kişiler arası sevgiden en basit zevke kadar bir dizi güçlü, olumlu duygusal ve zihinsel durumları kapsar. Cinsel veya romantik bir ilişki olursa, partnerlere aşıklar/sevgililer de denir. Bununla birlikte aşk ile ilgili tam bir evrensel tanıma kültürel farklılıklar nedeniyle ulaşılamakta zorlanılmaktadır. En yaygın olarak aşk, güçlü bir çekim ve duygusal bağlanma hissi anlamına gelir.

Risk veya riziko, bir olayın gerçekleşme olasılığı ve olaydan etkilenme olanağı. Değerler, fiziksel sağlık, toplumsal statü, duygusal durum ya da görülemeyen belirli bir eylem, aksiyon ya da eylemsizlik sonucu risk alındığında kazanılabilir ya da kaybedilebilir. Risk aynı zamanda belirsizlikle kasıtlı etkileşim olarak da tanımlanabilir. Belirsizlik olası, tahmin edilemeyen, ölçülemeyen ve kontrol edilemeyen sonuç olup; risk bu sonuca rağmen karar almanın bir neticesidir.

Matematiksel model, bir sistemin matematiksel kavramlar ve dil kullanılarak tanımlanmasıdır. Matematiksel model geliştirme süreci, matematiksel modelleme olarak adlandırılır. Matematiksel modeller, doğa bilimlerinde ve mühendislik disiplinlerinde bunun yanı sıra sosyal bilimlerde kullanılır. Matematiksel modelleri daha çok fizikçiler, mühendisler, istatistikçiler, operasyon araştırma analistleri ve ekonomistler kullanır. Model, bir sistemi açıklamaya, farklı bileşenlerin etkilerini incelemeye ve bir davranış hakkında öngörüde bulunmak için yardımcı olabilir.

Kendini tanıma psikolojide kullanılan bir terimdir ve bireyin “Ben neye benziyorum?” sorusuna cevap verirken kullandığı bilgiyi tanımlar. Bu sorunun cevabına yönelik kendini tanıma süreci, öz farkındalık ve öz bilinç gerektirir.
Kendini tanıma benliğin, daha doğrusu benlik kavramının, bir bileşenidir. Kişinin kendisinin veya özelliklerinin bir bilgisidir ve benlik kavramının gelişimine rehberlik eden bilgiyi aramak için bir arzudur. Kendini tanıma, benzersiz şekilde bizi kendimizle eşleştiren nitelikleri ve bu niteliklerin dinamik olup olmadığı üzerine teorileri içeren şekilde, zihinsel temsillerimiz hakkında bizi bilgilendirir.
Benlik kavramının üç ana yönü olduğu düşünülmektedir:

Carbon, Macintosh bilgisayarları çalıştıran işletim sistemi olan Mac OS X için Apple'ın C tabanlı uygulama programlama arayüzlerinden (API) biridir. Carbon, Mac OS 8 ve Mac OS 9 işletim sistemlerinde çalışan programlar için iyi bir geriye dönük uyumluluk sağlamıştır. Geliştiriciler, “klasik” Mac OS ve Macintosh işletim sistemleri yazılımlarını OS X platformuna taşımak için uygulamayı azami çaba harcayarak çok az bir çaba ile kullanabilirler. OpenStep'te ortaya çıkan tamamen farklı Cocoa API sistemidir.

<span class="mw-page-title-main">Matematik tarihi</span> matematik biliminin tarihi

Matematik tarihi, öncelikle matematikteki keşiflerin kökenini araştıran ve daha az ölçüde ise matematiksel yöntemleri ve geçmişin notasyonunu araştıran bir bilimsel çalışma alanıdır. Modern çağdan ve dünya çapında bilginin yayılmasından önce, yeni matematiksel gelişmelerin yazılı örnekleri yalnızca birkaç yerde gün ışığına çıktı. MÖ 3000'den itibaren Mezopotamya eyaletleri Sümer, Akad, Asur, Eski Mısır ve Ebla ile birlikte vergilendirmede, ticarette, doğayı anlamada, astronomide ve zamanı kaydetmede/takvimleri formüle etmede aritmetik, cebir ve geometri kullanmaya başladı.

<span class="mw-page-title-main">Kamu sosyolojisi</span>

Kamu sosyolojisi, akademik olmayan izleyicilerle etkileşim kurmak için sosyolojinin disiplin sınırlarını genişletmeyi vurgulayan daha geniş sosyoloji disiplininin bir alt alanıdır. Belki de en iyi, belirli bir bilimsel yöntem, teori veya bir dizi politik değerden ziyade bir sosyoloji tarzı olarak anlaşılması daha makul bir yoldur. Yirmi birinci yüzyıldan beri bu terim, 2004 Amerikan Sosyoloji Derneği (ASA) başkanlık konuşmasında kamu sosyolojisinin disipline edilmesi için ateşli bir çağrıda bulunan Berkeley sosyologu Michael Burawoy ile geniş çapta ilişkilendirilmiştir. Burawoy konuşmasında, halk sosyolojisini, öncelikle diğer akademik sosyologlara hitap etmekle ilgilenen bir sosyoloji biçimi olan "profesyonel sosyoloji" olarak adlandırdığı olguyla karşılaştırır.

<span class="mw-page-title-main">Bilgelik</span> bilgi, deneyim, anlayış, sağduyu ve içgörü kullanarak düşünme ve hareket etme yeteneği

Bilgelik; bilgi edinme, idrak, görgü, sağduyu ve sezgisel anlayış ile birlikte bu hususiyetleri özümseyebilme ve uygulayabilme kapasitesidir. Aynı zamanda akıl ya da sağgörü; bilgi, deneyim, anlayış, sağduyu ve içgörü kullanarak düşünme ve hareket etme yeteneği olarak da tanımlanır. Bilgelik, tarafsız yargılama, merhamet, deneyimsel öz-bilgi, kendini aşma ve bağlanmama gibi öz niteliklerle ve etik ve iyilik gibi erdemlerle ilişkilidir. Bu vasıfları taşıyan kişiye bilge denir.

Kaynak eleştirisi, bir belge, kişi, konuşma, parmak izi, fotoğraf, gözlem veya bilgi edinmek için kullanılan herhangi bir şey den oluşan bilgi kaynağını değerlendirme sürecidir. Bir amaçla ilgili bilgi kaynağı az çok geçerli, güvenilir veya ilgili olabilir. Genel olarak "kaynak eleştirisi", bilgi kaynaklarının değerlendirildiği disiplinler arası çalışmadır.