20 haber bu etiketle işaretlenmiş
Coalton, Common Lisp içinde yer alan, statik tipli bir fonksiyonel programlama dilidir. Endüstriyel projelerde başarıyla kullanılan bu dil, geliştiricilerin geri bildirimleri doğrultusunda önemli iyil...
K programlama dili, veri analizi ve manipülasyonu için tasarlanmış güçlü ve özlü bir dildir. Özellikle APL ve J gibi dillerden ilham alan K, fonksiyonel programlama paradigmalarını benimser. Bu yaklaş...
Loon, modern programlama yaklaşımlarını bir araya getiren, tarayıcıda çalışan yenilikçi bir fonksiyonel programlama dilidir. JavaScript altyapısını kullanarak doğrudan web tarayıcılarında çalışabilmes...
Jane Street'te Hardcaml simülasyonları için kullanılan Hardcamlsteptestbench kütüphanesi, OCaml 5'in yeni bir özelliği olan cebirsel efektleri kullanmak üzere monadlardan taşındı. Bu geçiş, cebirsel e...
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...