FP'nin yaptığı gibi, sonuçta tüm programlarımız yapılandırılmıştır. Yani, onları ne kadar saf ya da işlevsel yaptığımız önemli değil - her zaman meclise çevrilirler, bu yüzden aslında davlumbazların arkasında yatan şey talimatlar, durumlar ve döngülerdir. FP'yi taklit ediyoruz.
Bir donanım noob olarak, sorum şu: neden şeyleri işlevsel bir tarzda hesaplayan bilgisayar mimarilerini kullanmıyoruz? Örneğin, bir bilgisayar "concat", "map" ve "reduce" gibi ilkel "fonksiyonel yongalardan" oluşabilir ve bir program bilgisayara istenen sonucu hesaplamak için verileri yalnızca bu yongalar arasında nasıl aktıracağını söyler , birleştirilmiş diller gibi.
Bu gerçekten mantıklı değil ama ne düşündüğümü gösterebilir.
5
Bağlantıyı elden kaçırmayın, ancak bir Haskell çipi yapıldı, uzman sistemler de özel lisp donanımına sahipti. Haritaya daha yakın olabileceğinizi / donanımdaki paradigmayı azaltabileceğinizi düşünüyorum. FP'nin tek mükemmel yararı paralelliğe ölçeklenebilirliktir. Diğer tüm açılardan, fp daha düşük performans gösterir, çünkü daha yüksek bir soyutlama seviyesi nedeniyle talimatlarında daha az ince tanelidir. Metal seviyesinde performans kraldır ve matematiğin soyutlama düzeyinde bile, uygulamada her şey zorunludur. İki sıralı adım atmadan 2 * 3 + 5 hesaplayın. Her şey zorunlu
—
Jimmy Hoffa
Ayrıca , VHDL üzerinden statik donanıma zorunlu yerel etkileri olan daha yüksek dereceli ve afin özyineleme özellikli bir Call-by-Lambda hesabı için bir derleyici olan Verity ile de ilgilenebilirsiniz .
—
Dan D.
@Dokkat:
—
Mason Wheeler
if we could make a specialized chip for Filter, for example, it would need just a single clock for a Filter operation. Pek değil, çünkü Filtre "bir işlem" değil; bir listeye isteğe bağlı bir harici işlem uygulayan daha üst düzey bir işlevdir. Sen azaltamaz o tek saat döngüsü.
@Dokkat Girdi işlevi olarak aldığından daha yüksek bir sıra işlevidir. Saçma özgüllük, örneğinizi "tek bir işlemde" yapılabilecek bir şey yapan şeydir. Spesifik yüklem fonksiyonu sabittir ve bu nedenle gerçek bir filtre değildir. Rasgele bir yüklem işlevi alan bir filtre yapmak, giriş işlevinin kaç saat döngüsünün gerçekleşeceği konusunda hiçbir denetiminiz olmadığından tek bir saat döngüsüne indirgenemez.
—
Chewy Gumball