\u0130\u015flevsel programlama (FP), saf i\u015flevlerin, de\u011fi\u015fmez verilerin kullan\u0131m\u0131na ve payla\u015f\u0131lan durum veya yan etkilerden ka\u00e7\u0131nmaya odaklanan bir programlama paradigmas\u0131d\u0131r. FP matematiksel mant\u0131k ilkelerine dayan\u0131r ve programlamaya kod netli\u011fini, s\u00fcrd\u00fcr\u00fclebilirli\u011fini ve test edilebilirli\u011fini b\u00fcy\u00fck \u00f6l\u00e7\u00fcde art\u0131rabilecek metodik ve \u00f6ng\u00f6r\u00fclebilir bir yakla\u015f\u0131m getirir.<\/p>\n
\u0130\u015flevsel programlaman\u0131n k\u00f6kenleri 1930'lara ve Alonzo Kilisesi'nin hesaplamay\u0131 ifade etmek i\u00e7in matematiksel mant\u0131kta resmi bir sistem olan lambda hesab\u0131 \u00fczerindeki \u00e7al\u0131\u015fmas\u0131na kadar uzan\u0131r. Bununla birlikte, i\u015flevsel programlama, ilk i\u015flevsel programlama dili olan LISP'nin geli\u015ftirilmesiyle 1950'li ve 1960'l\u0131 y\u0131llara kadar hesaplamada ger\u00e7ek anlamda yerini bulamad\u0131.<\/p>\n
\u201cLISt Processing\u201d anlam\u0131na gelen LISP, MIT'den John McCarthy taraf\u0131ndan yapay zeka ara\u015ft\u0131rmalar\u0131 i\u00e7in tasarland\u0131. Dil, birinci s\u0131n\u0131f ve daha y\u00fcksek dereceli i\u015flevler, \u00f6zyineleme ve say\u0131sal veriler yerine sembollerin i\u015flenmesi gibi i\u015flevsel programlaman\u0131n temelini olu\u015fturan kavramlar\u0131n \u00e7o\u011funu tan\u0131tt\u0131.<\/p>\n
1970'lerde ML ve Scheme gibi daha \u00f6zel i\u015flevsel programlama dillerinin ortaya \u00e7\u0131k\u0131\u015f\u0131 g\u00f6r\u00fcld\u00fc ve 1980'lerde Miranda ve Haskell ortaya \u00e7\u0131kt\u0131; bunlardan ikincisi genellikle m\u00fckemmel i\u015flevsel programlama dili olarak kabul edilir.<\/p>\n
Fonksiyonel programlama, fonksiyonlara ve verilerin de\u011fi\u015fmezli\u011fine odaklan\u0131lmas\u0131yla karakterize edilir. FP'de i\u015flevler birinci s\u0131n\u0131f vatanda\u015flar olarak ele al\u0131n\u0131r; bu, di\u011fer i\u015flevlere arg\u00fcman olarak aktar\u0131labilece\u011fi, de\u011fer olarak d\u00f6nd\u00fcr\u00fclebilece\u011fi ve veri yap\u0131lar\u0131nda saklanabilece\u011fi anlam\u0131na gelir. \u0130\u015flevler genellikle "saft\u0131r", yani yan etkileri yoktur ve \u00e7\u0131kt\u0131lar\u0131 yaln\u0131zca girdileriyle belirlenir.<\/p>\n
De\u011fi\u015fmez verilerin kullan\u0131m\u0131, i\u015flevsel programlaman\u0131n bir ba\u015fka temel dire\u011fidir. Veriler olu\u015fturulduktan sonra de\u011fi\u015ftirilemez. Bunun yerine, herhangi bir d\u00f6n\u00fc\u015f\u00fcm yeni veriler \u00fcretir. Bu yakla\u015f\u0131m, yaz\u0131l\u0131m\u0131n \u00f6ng\u00f6r\u00fclebilirli\u011fine ve g\u00fcvenilirli\u011fine katk\u0131da bulunur.<\/p>\n
Fonksiyonel programlama dilleri ayr\u0131ca d\u00f6ng\u00fcler gibi tipik zorunlu kontrol yap\u0131lar\u0131n\u0131n bulunmamas\u0131 nedeniyle temel kontrol yap\u0131s\u0131 olarak \u00f6zyinelemeye b\u00fcy\u00fck \u00f6l\u00e7\u00fcde g\u00fcvenir. Bir\u00e7ok i\u015flevsel dil, ifadelerin sonu\u00e7lar\u0131na ihtiya\u00e7 duyulana kadar de\u011ferlendirilmedi\u011fi tembel de\u011ferlendirmeyi kullan\u0131r ve bu, potansiyel olarak sonsuz veri yap\u0131lar\u0131n\u0131n ve hesaplamalar\u0131n verimli bir \u015fekilde ifade edilmesine olanak tan\u0131r.<\/p>\n
\u0130\u015flevsel programlama, prosed\u00fcrel ve nesne y\u00f6nelimli programlama gibi di\u011fer ana ak\u0131m paradigmalardan temel olarak farkl\u0131d\u0131r.<\/p>\n
FP, durumu de\u011fi\u015ftiren ve de\u011fi\u015ftirilebilir veriler yerine, saf i\u015flevleri kullanarak ve payla\u015f\u0131lan durumdan ka\u00e7\u0131narak programlar\u0131n tutarl\u0131l\u0131\u011f\u0131n\u0131 ve \u00f6ng\u00f6r\u00fclebilirli\u011fini korumay\u0131 ama\u00e7lamaktad\u0131r. Saf bir i\u015flev, ayn\u0131 girdi i\u00e7in her zaman ayn\u0131 sonucu \u00fcretir ve i\u015flevin d\u00f6n\u00fc\u015f de\u011feriyle ilgili olmayan durum de\u011fi\u015fiklikleri olan herhangi bir yan etki \u00fcretmez.<\/p>\n
FP ayr\u0131ca ak\u0131\u015f\u0131 kontrol etmek i\u00e7in s\u0131kl\u0131kla \u00f6zyinelemeyi kullan\u0131r. \u00d6zyineleme, kendisini alt program olarak \u00e7a\u011f\u0131ran bir fonksiyonun i\u015flemidir. Bu, karma\u015f\u0131k veri yap\u0131lar\u0131n\u0131 i\u00e7eren veya tekrarl\u0131 hesaplama gerektiren sorunlar\u0131 \u00e7\u00f6zmek i\u00e7in g\u00fc\u00e7l\u00fc bir ara\u00e7 olabilir.<\/p>\n
\u0130\u015flevsel programlaman\u0131n \u00f6z\u00fc, basit olanlar\u0131 birle\u015ftirerek karma\u015f\u0131k i\u015flevler olu\u015fturmak anlam\u0131na gelen kompozisyondur. Bu, mod\u00fcler ve test edilmesi, anla\u015f\u0131lmas\u0131 ve hata ay\u0131klamas\u0131 kolay bir koda yol a\u00e7ar.<\/p>\n
Fonksiyonel programlaman\u0131n temel \u00f6zellikleri \u015funlard\u0131r:<\/p>\n
Saf Fonksiyonlar<\/strong>: Bir fonksiyonun d\u00f6n\u00fc\u015f de\u011feri ayn\u0131 arg\u00fcmanlar i\u00e7in ayn\u0131ysa ve hi\u00e7bir yan etki \u00fcretmiyorsa saf olarak kabul edilir.<\/p>\n<\/li>\n De\u011fi\u015fmez Veri<\/strong>: Bir veri yap\u0131s\u0131 i\u015flevsel bir dilde olu\u015fturulduktan sonra de\u011fi\u015ftirilemez.<\/p>\n<\/li>\n Birinci S\u0131n\u0131f ve Y\u00fcksek Dereceden Fonksiyonlar<\/strong>: FP'deki i\u015flevler di\u011fer de\u011fi\u015fkenler gibi kullan\u0131labilir. Herhangi bir kapsamda tan\u0131mlanabilirler, ba\u011f\u0131ms\u0131z de\u011fi\u015fken olarak iletilebilir ve di\u011fer i\u015flevlerden d\u00f6nd\u00fcr\u00fclebilirler.<\/p>\n<\/li>\n \u00d6zyineleme<\/strong>: Tekrarlama i\u00e7in birincil kontrol yap\u0131s\u0131 olarak \u00f6zyinelemenin kullan\u0131lmas\u0131.<\/p>\n<\/li>\n Referans \u015eeffafl\u0131\u011f\u0131<\/strong>: Bir ifadenin, program\u0131n davran\u0131\u015f\u0131n\u0131 de\u011fi\u015ftirmeden de\u011feriyle de\u011fi\u015ftirilebilmesi durumunda referans a\u00e7\u0131s\u0131ndan \u015feffaf oldu\u011fu s\u00f6ylenir.<\/p>\n<\/li>\n Tembel De\u011ferlendirme<\/strong>: \u0130fadelerin yaln\u0131zca program\u0131n ilerlemesi i\u00e7in de\u011ferleri gerekli oldu\u011funda de\u011ferlendirilmesi.<\/p>\n<\/li>\n<\/ol>\n T\u00fcm i\u015flevsel programlama dilleri yukar\u0131da \u00f6zetlenen temel ilkelere ba\u011fl\u0131 kalsa da, genellikle kat\u0131l\u0131k d\u00fczeyleri ve sunduklar\u0131 \u00f6zellikler bak\u0131m\u0131ndan farkl\u0131l\u0131k g\u00f6sterirler. \u0130\u015fte dikkate al\u0131nmas\u0131 gereken \u00fc\u00e7 kategori:<\/p>\n Saf Fonksiyonel Diller<\/strong>: Bu diller, i\u015flevsel programlama ilkelerini s\u0131k\u0131 bir \u015fekilde takip eder ve herhangi bir de\u011fi\u015fken duruma veya yan etkiye izin vermez. \u00d6rnekler Haskell ve Elm'i i\u00e7erir.<\/p>\n<\/li>\n Saf Olmayan \u0130\u015flevsel Diller<\/strong>: Bu diller \u00f6ncelikle i\u015flevseldir, ancak belirli d\u00fczeyde yan etkilere ve de\u011fi\u015fken durumlara izin verirler. \u00d6rnekler Lisp ve Scheme'dir.<\/p>\n<\/li>\n \u0130\u015flevsel \u00d6\u011felere Sahip \u00c7ok Paradigmal\u0131 Diller<\/strong>: Bir\u00e7ok modern dil \u00e7ok paradigmal\u0131d\u0131r, yani \u00e7e\u015fitli stillerde programlamaya izin verirler. Bu diller genellikle i\u015flevsel programlaman\u0131n unsurlar\u0131n\u0131 i\u00e7erir. \u00d6rnekler aras\u0131nda JavaScript, Python, Ruby ve Scala yer al\u0131r.<\/p>\n<\/li>\n<\/ol>\nFonksiyonel Programlama T\u00fcrleri<\/h2>\n
\n