16 haber bu etiketle işaretlenmiş
Makale, fonksiyonel programlama (FP) geleneğinin statik tipler, cebirsel veri tipleri gibi programları analiz etmek için olağanüstü araçlar geliştirdiğini ancak bu araçların sistemleri anlama konusund...
LispE, NAVER tarafından geliştirilen, hem kompakt hem de fonksiyonel ve dizi tabanlı dil özelliklerini bir araya getiren bir Lisp yorumlayıcısıdır. Temel amacı, Lisp'in basit ama inanılmaz derecede ço...
Free monad, fonksiyonel programlamada, özellikle Haskell gibi dillerde önemli bir yapıdır. Temel olarak bir functor'ı bir monad'a dönüştürmek için kullanılan bir araçtır. Makale, Free monad'ın sadece ...
Kombinatoryal mantığın temel taşlarından biri olan S kombinatörü, fonksiyonel programlama ve lambda-kalkülüs gibi teorik bilgisayar bilimlerinin önemli alanlarında merkezi bir rol oynar. Bu kombinatör...
Futhark, diğer birçok fonksiyonel programlama dilinin aksine, fonksiyonların özyinelemeli olmasına izin vermemesiyle dikkat çekiyor. Bu durum, Futhark'ın paralel bir dil olması ve özyinelemeli döngüle...
Haskell dokümantasyonunda dizilerin, etki alanları tam sayıların bitişik alt kümelerine izomorfik olan fonksiyonlar olarak tanımlanması, başlangıçta karmaşık ve gereksiz formalist bir ifade gibi görün...
Gleam, güçlü bir tip sistemini, fonksiyonel programlamanın ifade gücünü ve Erlang runtime'ının güvenilirliğini modern bir sözdizimiyle birleştiren yeni nesil bir programlama dilidir. WhatsApp ve Erics...
Selective Applicative Functor'lar, fonksiyonel programlamada önemli bir yere sahip olsalar da, teorik temelleri uzun süredir eksikti. 2019'da Andrey Mokhov ve ekibi tarafından tanıtılan bu yapı, selec...
Fonksiyonel programlama dünyasında sıkça karşılaşılan ve geliştiriciler arasında korkutucu bir üne sahip olan Functor, Applicative ve Monad terimleri, aslında günlük kodlama pratiklerimizde kullandığı...
Jank Lang, LLVM üzerinde çalışan ve C++ ile sorunsuz etkileşim kurabilen yeni bir Clojure diyalektidir. Genel amaçlı bir programlama dili olarak tasarlanan Jank, Clojure'un etkileşimli, fonksiyonel ve...
Bankacılık, telekomünikasyon ve ödeme sistemleri gibi kritik altyapılarda güvenilirlik, vazgeçilmez bir gerekliliktir. Bu tür sistemlerde yaşanan birçok üretim hatası, kodun asla ulaşmaması gereken ge...
Datafun, Neel Krishnaswami ile birlikte geliştirilen yeni bir dildir. Datalog'u genelleştiren basit, saf ve tam fonksiyonel bir dil olarak tanımlanır. Datafun'ın en güçlü özelliği, yarı kafesler üzeri...