Haskell içinde FRP okumak istiyorum, ama bir bit kullanmak için bir kütüphane karar vermek zor. Birçok ölü çalışır gibi görünüyor, biraz dirilmiş gibi görünüyor (Yampa son etkinliği gibi).

Ne okudum, öyle görünüyor ki bu iki "tür" FRP: itme-çekme FRP (gibi Reaktif-muz) bir yan ve arrowized FRP (gibi Yampa) diğer tarafta. Ayrıca bazı "" Fran ve FrTime zamanında, ama bu herhangi bir son etkinliği fark var değil klasik FRP vardı gibi görünüyor

• Bu iki (veya üç) gerçekten temelde FRP farklı yaklaşımlar vardır?

• Diğeri olurdu oysa onları eski teorisi "geleceğin şeyler"?

• Ya paralel olarak, farklı amaçlara hitap gelişmeye var mı?

• Her kategorinin en önemli kütüphane adı, ya da orada diğer seçenekler için (Sodyum, Netwire, et al) mi yaptım?

Sonunda talk from Evan Czaplicki J. Abrahamson tarafından yorum tavsiye izledi. Çok ilginç ve benim için bazı şeyler açıklığa kadar yardım ettin.

Ben çok bu soru ilginç bulan herkese tavsiye ederim.

Haskell.org bir Seyahat daha fazla araştırma için okumalısın iki önemli evraklar Ne buldum senin sorunu araştırmak için aldım, ve bu bilimsel gazetelerden sorunuza cevabım yapıyorum.

Push-Pull FRP by Conal Elliott

Generalising Monads to Arrows by John Hughes

1. Evet, ama aynı zamanda hayır. Elliot göreitinveriye dayalı Değerlendirme ve FRPçekin"talep" tahrik değerlendirme. ne denir ile ilgilidir Yazar push veri girişi arasındaki bekleme eğilimindedir çünkü çekme önerir. İşte püf noktası:itme-çekmebirleştiriyor ve denge şef amaçlı davranışlar bunlaryeniden ihtiyacını en aza indirir değerleri.Basit; itme-çekme ile CTP işletim reaksiyon yeteneğini hızlandırır.Okbağlantı değerleri ve onları değerlendirmek için soyut tipleri kullanmak için farklı bir teknik, aynı anda. Tüm bu kavramlar temelde farklıdır. Ama bunun için benim sözüme yok:

   Ok arayüzü doğasını yeniden değerlendirme minimal amacı için sorunludur. Giriş olayları ve davranışları daha sonra herhangi bir bileşeni değişse bile, tek bir giriş, (Elliott) birleştirilir.

   Böylece, Ok itme-çekme amacı ile çelişir. O tüm bunların aynı anda kullanamazsın, sadece karmaşık olacağı anlamına gelmez ve soyut Ok türleri olmadan hesaplamak olamaz bazı şeyler vardır.

2. "Geleceğe giden yol." hangi bilimsel görüş bulamadım Oklar Eş zamanlılık özellikle de işleyebilir unutmayın. Eğer okları kullanın ve itme-çekme hesaplamaları en aza indirmek için uygulamak olabilir, geleceğe giden yol olacaktır.

3. Evet, ayrı amaçlara hitap ederler. Dediğim gibi, birlikte formüle edilebilir ancak uygulanması zordur ve eğer işe yararsa bile, muhtemelen reaktif itme-çekme faydaları hızlı sağlanabilecektir.

4. Bu öznel bir şey, ama etkili ve Yampa FRP için çok anılan en çok dil kitaplıkları gibi görünüyor. Reaktif Elliott derin kökleri olduğunu söyleyebilirim, ve Yampa de kuruldu. Netwire gibi diğer projelerde de yedek olarak ortaya çıktı, ama giants onlar yerine daha önce bir süre olabilir.

Bu yardımcı olur umarım! Gibi belirttim makaleler okuma ok, itme ve çekme arasındaki anlamsal mesafeyi daha iyi bir fikir verecektir dedim.