Bu gün, katlanan gerçek zamanlı sistemleri programlamak için düşük düzeyde bir metodoloji var. Böyle bir metodolojiye FRP denir. Vaughn kendine bir tasarım şablonu aldı, başlıklar Spesterigach (Gözlemci) bir taraftan, diğer taraftan, işlevsel programlamanın ilkelerini tahmin etmek önemlidir. Bu yazıda, yoga uygulamasının kütüphanede uygulanması üzerine işlevsel olarak reaktif programlamayı görebiliriz. Sodyum film için Haskell.

teorik kısım

Geleneksel olarak, programlar üç sınıfa ayrılır:

• paket
• etkileşimli
• reaktif

Vіdminnostі mіzh tsim troma kryyutsya programları їhnої vzaєmodії svіtom zvnіshnіm türünde programlar.

Son program grubu dış dünyayla senkronize değil. Koku, veriler işlenecek ve sonuçtan uzaklaştırılacaksa, bir saatten önce bir noktada başlatılabilir ve sonra tamamlanabilir. Aynı zamanda paket etkileşimli ve reaktif programlar, çalışma anından ses anına kadar olan süreçte kesintisiz olarak dış dünyadan gelen verilerle değiş tokuş edilir.

Program reaktif, etkileşimli yüzeyde, sadece eski orta zeminle senkronize: şarap yapımı hızında hoş bir solma ile dış dünyanın dibine tepki vermek gerekiyor. Aynı zamanda, etkileşimli program chekat'ın ortasını zmushuvati zvnіshnіshnіshnіshnіshnє olabilir. Örneğin, Metin düzelticiє Etkileşimli program: Metinden af ​​düzeltme sürecini başlatan Koristuvach, düzenlemeye devam etmek için tamamlandığını kontrol etmek zorundadır. Bununla birlikte, otopilot bir jet programıdır, kırıklar, hatalı bir kayma durumunda, gerçek dünya kısa bir metin editörü gibi durdurulamasa bile, rotayı hızlandırmaktan, uçuş manevrasını yapmaktan suçludur.

Bilgisayarlar makinelerin yönetiminde kazanmaya başlasa bile, iki sınıf program üç kez ortaya çıktı ve arayüzler gelişmeye başladı. O saatten sonra, kişisel olmayan uygulama yöntemleri değişti, bazı çağrılar için cilt saldırısı ön kısmı biraz düzeltiyordu. Kafanın arkasında, programları takip etmeleri kolaydı: sistemde bir bakla çaçası gördüler, onlara tepki vermek gerekiyordu ve bu kapsüllerin örneklerini yarattılar. Obrobnik'ler, sanki dış dünyaya gitmişler gibi podії da üretebilirler. Tsya modeli boştu ve basit etkileşimli görevler hakkında virishuvala deake oldu.

Ancak bir saat sonra etkileşimli ve reaktif programlar katlanabilir hale geldi ve optimal olmayan programlama cehenneme döndü. Yeraltı seramik sistemlerinin sentezi için daha gelişmiş araçlar için vinil gereklidir. Bu metodolojinin iki ana yolu vardı:

• örtük değirmen
• nondeterminizm

Shchob vipravit tse, koçanı üzerinde bir şablon oluşturdu posterigach (gözlemci), değerleri saat içinde değişen değerlere dönüştürür. Programın bilindiği Nabіr tsikh znachen buv bariz kampı. Böylece, veri işleme değişikliği için, robotun veri içeren toplu programlarının adı geldi. Rozrobnik korktukları değeri anında değiştirir ve değerini değiştirmek için ombriki'yi imzalar. Verilen algoritmaya göre değiştirilen bayat değerleri, değerler değiştirildiğinde uygulamak mümkün oldu, bu tür kokular bayattı.

Aynı yere gidip gitmek istiyorsanız, ancak onlara olan ihtiyaç hala ortadan kalktı. Anlam değişikliğinin aktarımını beklemeyin. Örneğin, gerçek bir saatin sesi, saatteki bir artışı saniyeye iletir, bugün çalar saatin sesinin bir koruyucusu şarkı saati zovsіm uvazі zhodnogo znachennya'da değil. Zvichayno, anlamlarını po'yazati i tsyu podіyu s söyleyebilirsin, ama bu bir parça numarası olabilir. Örneğin, değerler girebiliriz: alarm_hour == partition_remainder (geçerli_saat, 24*60*60). Ale tse bizi ciyaklayanlar tarafından bilinmeyecek, bu değişimin parçaları ikinciye ve iki değişikliğin anlamına bağlı. Sob z'yasuvati, çalar saatin spratsyuvav olduğunu, ön ödeme yapanın anlamın doğru olduğunu ve chi'nin aynı olmadığını belirtebilir. Değer tam olarak bir saniye için doğru olacaktır ve kenelerin periyodunu saniyeden 100 milisaniyeye değiştirirsek, o zaman true değeri bir saniye değil, 100 milisaniye olacaktır.

İşlevsel reaktif programlama metodolojisinin ortaya çıkışı - şablonda kendi işlevselleştirme yolu posterigach. FRP fikirleri yeniden gözden geçirdi: olaylar (Olaylar) hiçbir yere gitmedi, korktukları proto-anlamlar da ortaya çıktı ve adlandırıldı. özellikler (Davranışlar). Podiya, bu metodolojide є ayrık olarak üretilen değeri ve üretilen --- bezupinno'nun karakteristik özelliğini ortadan kaldırır. Suçlar birbirine bağlanabilir: özellikler podії oluşturabilir ve podіі özellikler için bir dzherel gibi hareket edebilir.

Belirsizlik sorunu zengin bir biçimde çökertilebilir hale gelecektir. Vaughn, sistemin alt sertifikasının fiilen eşzamansız olduğu gerçeğinden çığlık atıyor. Bir nedenden dolayı kabul edilemez olabilecekleri için, sistemin ara istasyonlarının suçunu onun arkasına çekin. Bu sorunu çözmek için viniclo'ya senkron programlama denir.

pratik kısım

kütüphane Sodyum bir uygulama projesi olarak ortaya çıktı FRP farklı dil programlama ile küresel bir arayüzden. Metodolojinin tüm unsurlarına sahiptir: ilkeller (Olay, Davranış) ve şablonlar ve seslendirmeler.

Dış dünyadan ilkellikler ve karşılıklı ilişkiler

Pratik yapabileceğimiz iki ana ilkel, tse:

• Etkinlik a- değer türünün alt türü a
• Davranış a- karakteristik (veya değişim değeri) tipi a

Yeni alt ve değer fonksiyonları oluşturabiliriz yeni etkinlikі yeniDavranış:

NewEvent::Reactive(Event a, a -> Reactive()) NewBehavior::a -> Reactive(Behavior a, a -> Reactive())

Bir bachimo gibi, rahatsız edici işlevler bir monad'ı daha çok çağrıştırabilir reaktif, sonuç olarak, alt'ı etkinleştirmek veya değeri değiştirmek viklikana'nın hatası olduğu için, işlevin yanı sıra ilkel de döndürülür. Karakteristik yaratma işlevi, genel öneme sahip ilk argüman olarak alınır.

Jet programından gerçek ışığı göstermek için ana işlev senkronizasyon, ve programı dünyadan çıkarmak için ana işlev dinlemek:

Senkronizasyon:: Reaktif a -> IO a dinleme:: Event a -> (a -> IO ()) -> Reaktif (IO ())

Birinci fonksiyon, adından da anlaşılacağı gibi, reaktif kodu eşzamanlı olarak görür, içeriğe gitmenizi sağlar. reaktif konu dışı GÇ ve veri toplamaya ek olarak hizmet edecek bir arkadaş, bağlamda ne var reaktif, bağlam içinde olan GÇ. İşlev dinlemek işlevi çevir dinlememek, bir arama için gerekenler, böylece bir obrobnik görebilirsiniz.

Bu şekilde, belirli bir işlem mekanizması uygulanmaktadır. Reaktif monadın ortasında çalışırsak, kod, işlevin her saatinde aynı işlem arasında haftalık olarak gönderilir. senkronizasyon. Belirlemeler kampı artık işlemin bağlamına bağlı değildir.

Program yazmak için yeterli olan reaktif fonksiyonel programlamanın temeli budur. Sadece duyabileceğiniz gerçeği için biraz daha iyi olabilir. Kendisi de öyle ve olabilir, ancak, biz daha uzaktayken, podia ile aynı karşılıklı ilişkilerin özellikleri arasında.

Temel ilkeller üzerinde işlemler

Açıklık için, dahil edilen metodoloji Ek fonksyonlar, özelliklerin dönüştürülmesi. Bunlardan bazılarına bir göz atalım:

Podiya, asla görünmeyecek gibi -- (bir saplama olarak galip gelebilir) asla:: Olay a -- Aynı türdeki iki bölmeyi tek bir bölmede birleştir -- (el ile bölme_sınıfı için bir saplama atamak için) birleştirme:: Event a -> Event a -> Event a -- Belki bölmesinin değerini değiştirin -- (samandaki tanecikleri kaldırın) filterJust:: Event (Belki a) -> Event a -- Bölmeyi aşağıdaki karakteristiğe dönüştürün koçanı değerleri -- (göz kırpıyorsa değeri en aza indirin) tutun :: a -> Olay a -> Reaktif (Davranış a) -- Karakteristiği alt davranışa göre yeniden şekillendirin -- (değer değiştiğinde davranışı üretin) ) güncellemeler:: Davranış a -> Olay a -- Karakteristiği alt davranışa yeniden dönüştürün -- (cob değeri için alt da üretir) değer:: Davranış a -> Olay a -- Çoklu alt davranışta, karakteristik değeri alın, -- işlevi dondur ve alt görüntü oluştur: (a -> b -> c) -> Olay a -> Davranış b -> Olay c -- Karakteristik örneğin mevcut değerini alın:: Davranış a -> Reaktif a - - Tek bir birleşmede yedeklerin tekrarlarını çalıştırın:: (a -> a -> a) -> Olay a -> Olay a -- İlk sefer hariç tüm alt bölümleri yoksay:: Olay a -> Olay a -- Alt bölümü alt liste ayırma ile alt bölümlere ayır:: Olay [a] -> Olay a

Vakumda küresel izmaritler

Yazmaya çalışalım:

FRP.Sodium'u içe aktar ana = senkronizasyon yap $ do -- alt oluştur (e1, triggerE1)<- newEvent -- создаём характеристику с начальным значением 0 (v1, changeV1) <- newBehavior 0 -- определяем обработчик для события listen e1 $ \_ ->putStrLn $ "e1 tetiklendi" -- Listenin (v1 değeri) karakteristiğinin değerini değiştirmek için bir tutamaç ayarlayın $ \v -> putStrLn $ "v1 değeri: " ++ show v -- Bir değer tetikleyicisi olmayan bir podyum oluşturunE1 () -- Karakteristik değişikliğin değerini V1 onüç değiştirin

Paketi kuralım Sodyum yardım için kabal ve kıçını tercümanda çalıştırın:

# sandbox ortamında nasıl çalışmak istersiniz # do it > cabal sandbox init # kurulabilir > cabal install sodyum > cabal repl GHCi, sürüm 7.6. yardım için Paket yükleniyor ghc-prim... bağlama... tamamlandı. Integer-gmp paketi yükleniyor... bağlantı yapılıyor... tamamlandı. Paket tabanı yükleniyor... bağlantı yapılıyor... tamamlandı. # isteğe bağlı Prelude> :l Örnek.hs Ana Derleme (Örnek.hs, yorumlandı) Tamam, modüller yüklendi: Ana. # Popoya ihtiyacımız var *Ana>

Şimdi deneyelim. Satırı yorumlar, değerimizi değiştiririz (changeV1 13) ve kıçını yeniden başlatırız:

*Ana> :l Örnek.hs Ana Derleme (Örnek.hs, yorumlandı) Tamam, modüller yüklendi: Ana. *Ana> ana e1 tetiklenen v1 değeri: 0

Yak bachimo, şimdi daha önemli, işlevi bu değer karakteristiğinin koçanı değerleri ile ilk satırı oluşturur. fonksiyonu değiştirelim değerüzerinde güncellemeler ve ne olduğunu merak ediyorum:

*Ana> :l Örnek.hs Ana Derleme (Örnek.hs, yorumlandı) Tamam, modüller yüklendi: Ana. *Ana> ana e1 tetiklendi

Şimdi, değer başlangıçta gösterilmiyor, ancak değeri değiştirdiğimiz satıra yorum yapmak yerine, daha önce olduğu gibi değer değişecek. Her şeyi olduğu gibi çevirelim ve bir kapsül oluşturalım e1 dvіchі:

*Ana> :l Örnek.hs Ana Derleme (Örnek.hs, yorumlandı) Tamam, modüller yüklendi: Ana. *Ana> ana e1 tetiklemeli e1 tetiklemeli v1 değeri: 13

Bachimo gibi, podia da spratsyuval dvіchi. Göstermeye çalışalım, işlevi görelim dinlemek argümanı değiştir e1üzerinde (bir kez e1), Tim, sanki bir zamanlar spratsovuє gibi yeni bir podia yarattı:

*Ana> :l Örnek.hs Ana Derleme (Örnek.hs, yorumlandı) Tamam, modüller yüklendi: Ana. *Ana> ana e1 tetiklenen v1 değeri: 13

Kanıtlama için bir argüman yoksa, hafife alınanın barizliği veya mevcudiyeti gerçeği bizim için önemlidir, o zaman işlev bir Zamanlar sendika için doğru seçimi seçin. Prote, argüman varsa yürümelisin. Örneği şu şekilde yeniden yazalım:

<- newEvent (v1, changeV1) <- newBehavior 0 listen e1 $ \v ->putStrLn $ "e1 şununla tetiklenir: " ++ show v dinle (v1 değeri) $ \v -> putStrLn $ "v1 değeri: " ++ show v triggerE1 "a" triggerE1 "b" triggerE1 "c" changeV1 13

Her şeyi, kokunun üretildiği sıradaki değerlerle doğrulanmış olarak kabul ediyoruz:

*Ana> :l Örnek.hs Ana Derleme (Örnek.hs, yorumlandı) Tamam, modüller yüklendi: Ana. *Ana> ana e1 ile tetiklenir: "a" ile tetiklenir e1 ile tetiklenir: "b" ile tetiklenir e1 ile tetiklenir: "c" ile tetiklenir v1 değeri: 13

fonksiyon nasıl kazanılır bir Zamanlar H e1, o zaman sadece ilk adımı atarız, sonra işlevi kazanmaya çalışırız birleşmek, bunun için argümanı değiştiriyoruz e1 içinde dinlemek argüman (birleşme (\_ a -> a) e1):

*Ana> :l Örnek.hs Ana Derleme (Örnek.hs, yorumlandı) Tamam, modüller yüklendi: Ana. *Ana> ana e1 şu şekilde tetiklenir: "c" v1 değeri: 13

Ve bu doğru, podyumun geri kalanını biz aldık.

Daha fazla uygula

Katlamaya bir göz atalım:

FRP.Sodium'u içe aktar ana = senkronizasyon yap $do(e1,triggerE1)<- newEvent -- создаём характеристику, изменяемую событием e1 v1 <- hold 0 e1 listen e1 $ \v ->putStrLn $ "e1 şununla tetiklenir: " ++ show v dinle (v1 değeri) $ \v -> putStrLn $ "v1 değeri: " ++ show v -- triggerE1 1 triggerE1 2 triggerE1 3

Nelerin çıktı alınabileceğinin ekseni:

*Ana> :l Örnek.hs Ana Derleme (Örnek.hs, yorumlandı) Tamam, modüller yüklendi: Ana. *Ana> ana e1 tetiklenir: 1 e1 tetiklenir: 2 e1 tetiklenir: 3 v1 değeri: 3

Etiket oluşturulduysa, özelliğin değeri yalnızca bir kez görüntülenir. Neden senkron programlamanın tuhaflığını düşünüyorsunuz: haftalık senkronizasyonun özellikleri senkronizasyon. Göstermek için, trochs popomuzu yeniden inşa edebilir:

<- sync $ do (e1, triggerE1) <- newEvent v1 <- hold 0 e1 listen e1 $ \v ->putStrLn $ "e1 şununla tetiklendi: " ++ show v dinle (v1 değeri) $ \v -> putStrLn $ "v1 değeri: " ++ show v dönüşü

Tetiği dış dünyanın altına getirme ve farklı senkronizasyon aşamalarında yogayı çağırma olasılığımız daha düşüktü:

*Ana> :l Örnek.hs Ana Derleme (Örnek.hs, yorumlandı) Tamam, modüller yüklendi: Ana. *Ana> ana v1 değeri: 0 e1 ile tetiklenir: 1 v1 değeri: 1 e1 ile tetiklenir: 2 v1 değeri: 2 e1 ile tetiklenir: 3 v1 değeri: 3

Şimdi derinin arkasında yeni anlamlar gösteriliyor.

İlkellerle ilgili diğer işlemler

Bir grup temel işleve bir göz atalım:

Alt işlevleri birleştirme mergeWith:: (a -> a -> a) -> Event a -> Event a -> Event a -- Fonksiyonun doğru olduğu alt seçenekleri filtreler filterE:: (a -> Bool) -> Olay a -> Olay a - "vimikati" podії'ya izin ver - karakteristik iyiyse Yanlış kapı:: Olay a -> Behavior Bool -> Olay a - Bir geri dönüş düzenleyin - dahili bir sersemletme toplama ileE: : (a - > s -> (b, s)) -> s -> Olay a -> Tepkisel (B Olayı) -- İstatistiklerin elden geçirilmesini organize edin -- iç kamptan toplayın: (a -> s -> (b , s)) - > s -> Behavior a -> Reaktif (Davranış b) -- Birikim birikimi sonucunda bir özellik oluşturur:: a -> Event (a -> a) -> Reactive (Davranış a)

Açıkçası, kütüphanenin sağlayabileceği tüm işlevler değil. Є th kudi egzotik konuşmalar, yakі tsієї statti sınırlarının ötesine geçer.

Uygulamak

Diї'da bu fonksiyonları deneyelim. Geri kalanı için çeyrek hesaplayıcı için düzenleyeceğiz. Aritmetik fonksiyonları dondurmanın ve sonucu almanın mümkün olduğu bir değere sahip olalım:

FRP.Sodium main'i içe aktarın = triggerE1 yapın<- sync $ do (e1, triggerE1) <- newEvent -- пусть начальное значение будет равно 1 v1 <- accum (1:: Int) e1 listen (value v1) $ \v ->putStrLn $ "v1 değeri: " ++ show v return triggerE1 -- ​​1 sync ekleyin $ triggerE1 (+ 1) -- 2 ile çarpın sync $ triggerE1 (* 2) -- bakınız 3 sync $ triggerE1 (+ (- 3) ) - 5 sync $ triggerE1 (+ 5) ekleyin - 3. adıma derleyin sync $ triggerE1 (^ 3)

Çalıştırmak:

*Ana> :l Örnek.hs Ana Derleme (Örnek.hs, yorumlandı) Tamam, modüller yüklendi: Ana. *Ana> ana v1 değeri: 1 v1 değeri: 2 v1 değeri: 4 v1 değeri: 1 v1 değeri: 6 v1 değeri: 216

Kaçabilirsin, scho, yaramazlık yapma yeteneğini kazanmak için, ama gerçekte öyle değil. Daha da fazlası Haskell ile uygulamalı işlevler ve monadlar hiçbir yere gitmedi. Saf değerler dediğimiz gibi, operasyonlar olsun, bu podiaların özelliklerini kazanabiliriz. Bundan sonra, o alt bölümün yeni özellikleri ortaya çıkıyor. Uygulamaların özellikleri için, sınıf işlevcisi uygulamalı bir işlevdir, alt bölümler için bariz nedenlerden dolayı artık bir işlev değildir.

Örneğin:

<$>), (<*>)) FRP'yi içe aktar.Sodyum ana = do(setA, setB)<- sync $ do (a, setA) <- newBehavior 0 (b, setB) <- newBehavior 0 -- Новая характеристика a + b let a_add_b = (+) <$>a<*>b - Yeni özellik a * b let a_mul_b = (*)<$>a<*>b dinle (değer a) $ \v -> putStrLn $ "a = "++ göster v dinle (değer b) $ \v -> putStrLn $ "b = "++ göster v dinle (a_add_b değeri) $ \v - > putStrLn $ "a + b = "++ show v dinle (değer a_mul_b) $ \v -> putStrLn $ "a * b = "++ show v dönüş (setA, setB) senkronizasyon $ do setA 2 setB 3 senkronizasyon $ setA 3 senkronizasyon $setB 7

Yorumlayıcıda görüntülenecek eksen:

λ> ana a = 0 b = 0 a + b = 0 a * b = 0 a = 2 b = 3 a + b = 5 a * b = 6 a = 3 a + b = 6 a * b = 9 b = 7 a + b = 10 a * b = 21

Ve şimdi baklalarda bunun nasıl çalıştığını merak ediyoruz:

ImportControl.Application((<$>)) FRP'yi içe aktarın. Sodyum ana = sigA yapın<- sync $ do (a, sigA) <- newEvent let a_mul_2 = (* 2) <$>bir izin ver a_pow_2 = (^2)<$>a dinle a $ \v -> putStrLn $ "a = " ++ gösteri v dinle a_mul_2 $ \v -> putStrLn $ "a * 2 = "++ göster v dinle a_pow_2 $ \v -> putStrLn $ "a^2 = "++ show v sigA senkronizasyonunu döndür $sigA 2 senkronizasyonunu yapın $sigA 3 senkronizasyonunu $sigA 7

Görüntülenecek eksen:

λ> ana a = 2 a * 2 = 4 a ^ 2 = 4 a = 3 a * 2 = 6 a ^ 2 = 9 a = 7 a * 2 = 14 a ^ 2 = 49

Belgeler, aşağıdakiler için uygulanan sınıf örneklerinin bir kopyasına sahiptir: Davranışі Etkinlik, Ale, diğer sınıfların kopyalarını satmak umurumda değil.

Zvorotny bek reaktivite

İşlevsel olarak reaktif programlama, şüphesiz, katlama sistemlerinin gerçek zamanlı olarak geliştirilmesini basitleştirecektir, ancak yanlış yaklaşıma karşı korunmak gerektiğinden, kişisel olmayan yönler vardır. Bu nedenle, burada en yaygın olan sorunlara bakalım.

tutarsızlık

Sistemin istasyonlarının kararlılığını sağlayan, dolayısıyla aynı istasyonlardan birini değiştiren ve ayrıca istasyonların ara arızalarının varlığını sağlayan işlemlerin iletim mekanizmasının senkronize olarak programlanması. AT Sodyum işlemler için wiki vermeniz gerekir senkronizasyon. İşlemin ortası atanmamışsa, ortadaki her şeyin aynı anda işlendiği prote dikkate alınamaz. Değerler, sonucu etkileyen aynı sırayla değişir. Bu nedenle, örneğin, farklı özelliklerin bir kombinasyonu, etki eksikliğine neden olabilir. Örneğe bakalım:

ImportControl.Application((<$>)) FRP'yi içe aktarın. Sodyum ana = setVal yapın<- sync $ do (val, setVal) <- newBehavior 0 -- создаём булеву характеристику val >2 gt2 = (> 2) olsun<$>val -- alt değerler oluştur eğer > 2 let evt = geçit (val değeri) gt2 listen (val değeri) $ \v -> putStrLn $ "val > 2?" ++ show v dinle evt $ \v -> putStrLn $ "val > 2: " ++ show v return $setVal 0

kshtalt tsgogo'daki visnovok'a bir göz atın:

Değer = 0 değer > 2? Yanlış değer = 1 değer > 2? Yanlış değer = 2 değer > 2? Yanlış değer = 3 değer > 2? Gerçek değer > 2: 3 değer = 4 değer > 2? Gerçek değer > 2: 4 değer = 0 değer > 2? YANLIŞ

Arka arkaya protesto değer > 2: 3 bir gün olacak ve ülkede bir satır görünecek değer > 2: 0. Yani anlamı değiştiren o gibi görünüyor (değer değeri) nadas karakteristiği hesaplanmadan önce oluşturulan gt2, ve benzeri evt ayarlanan değer 3 için suçlu değil. Örneğin, tekrar 0 ayarlarsak, özelliklerin hesaplanması gt2 zaznyuetsya.

Zagalom, effekti zh, shcho, analog olarak dijital elektronіtsі: sinyal yarışları, bir tür dolaylı priyomi ile savaşmak için. Zocrema senkronizasyonu. Yani mi ve vchinimo, schob zmusit tsey kodu pratsyuvati usulüne uygun olarak sıralayın:

ImportControl.Application((<$>)) FRP'yi içe aktar.Sodyum ana = do(sigClk, setVal)<- sync $ do -- Мы ввели новое событие clk -- сигнал синхронизации -- прям как в цифровой электронике (clk, sigClk) <- newEvent (val, setVal) <- newBehavior 0 -- Также вы создали альтернативную функцию -- получения значения по сигналу синхронизации -- и заменили все вызовы value на value" let value" = snapshot (\_ v ->v) clk let gt2 = (> 2)<$>val let evt = geçit (değer" val) gt2 dinle (değer" val) $ \v -> putStrLn $ "val = "++ göster v dinle (değer" gt2) $ \v -> putStrLn $ "val > 2 ? ++ show v listen evt $ \v -> putStrLn $ "val > 2: " ++ show v return (sigClk, setVal) -- Yeni bir fonksiyon senkronizasyonu eklendi" -- senkronizasyon sinyalini çağırmak için -- sonunda dış görünüm işlemi - - Tüm wikileri değiştirdim sync let sync" a = sync $ a >> sigClk () sync" $ setVal 1 sync" $ setVal 2 sync" $ setVal 3 sync" $ setVal 4 sync" $ setVal 0

Şimdi visnovok'umuz şöyle oldu, temizlenmiş gibi:

λ> ana değer = 0 değer > 2? Yanlış değer = 1 değer > 2? Yanlış değer = 2 değer > 2? Yanlış değer = 3 değer > 2? Gerçek değer > 2: 3 değer = 4 değer > 2? Gerçek değer > 2: 4 değer = 0 değer > 2? YANLIŞ

doğrusallık

Tembel doğayla bağlantılı başka türden sorunlar Haskell. Kodu bir yorumlayıcıda denerken, örneğin böyle bir visnovka'nın günlük olarak görülebileceği noktaya getirmek yeterli değildir. Bu vipadka'da proponuvaty ne olabilir, örneğin kіntsi'de vikonati marny krok senkronizasyonu senkronizasyon$dönüş().

Visnovok

Şimdilik, sanırım, bu yeterli. Bir kerede kütüphanenin yazarlarından biri Sodyum hakkında bir kitap yaz FRP. Bu programlama odasındaki boşlukları doldurmayı ve kemikleşmiş zihinlerimizde ilerici yaklaşımları popülerleştirmeye hizmet etmeyi umalım.

OOP geliştirme dünyası yükseldi ve Java zocrema dili daha da aktif hayatlar yaşıyor. Kendi moda trendlerine sahip ve bugün sezonun ana trendlerinden biri olan ReactiveX çerçevesini seçeceğiz. Hastalıktan başka nasıl uzak durabilirsin - sana söz veriyorum, buna layıksın! Tse kesinlikle daha güzel, kıvırcık bir belden daha düşük kot pantolon :).

reaktif programlama

Eh, OOP filmleri kitlesel bir zastosuvannya haline geldi, perakendeciler öğrendi, bazen C benzeri hareketin olanaklarını görmüyorlar. İşlevsel programlama tarzında kod yazma parçaları, OOP kodunun kalitesini ciddi şekilde bozar ve ayrıca projeyi destekler ve bir melez bulur. reaktif programlama.

Reaktif gelişim paradigması, nesnede kalıcı bir değişiklik fikri olacaktır. Bu tür değişiklikler yapıldıysa, tüm gizlenmiş nesneler zaten güncellenmiş verileri alabilir ve eskileri unutarak yalnızca onlarla çalışabilir.

Reaktif programlama fikrine iyi bir örnek, bir Excel elektronik tablosu olabilir. Bir formülle ortaya bir kіlka eklerseniz, bu ortalardaki veriler değişirse, hesaplamanın sonucu biraz değişecektir. Muhasebe için, böyle dinamik bir veri değişikliği sağdadır, ancak programcılar için suçlamak daha hızlıdır.

A=3; b = 4; c = a + b; F1(c); a=1; F2(c);

Her uygulama için, F1 ve F2 işlevleri, C değişikliğinin farklı değerleriyle çalışacaktır. Her iki işlevin de en alakalı verilerden daha fazlasına sahip olması genellikle gereklidir, - işlevlerin mantığını değiştirmeden reaktif programlamaya izin verilir. F1 ile birlikte yeni parametrelerle birlikte. Böyle bir yönlendirme kodu bana, değişip değişmediğinize anında tepki verme, yogayı İsveççe, gnuchky ve chuynim ile ezme yeteneği veriyor.

reaktifX

Sıfırdan başlayarak reaktif programlama fikirleri bol su ile yapılabilir - bir süre için buna değer. Bu nedenle, zengin perakendeciler için paradigma geride kaldı teorik malzeme rıhtımlar ReactiveX için görünmüyor.

ReactiveX çerçevesi, en popüler OOP dilleriyle çalışan reaktif programlama için bir araçtır. Yaratıcıların kendileri, “Sposterigach” (Gözlemci) modeline dayalı olarak, eşzamansız dağıtım için yogaya çok platformlu bir API diyorlar.

"Reaktif programlama" terimi kendi başına teorik bir model olduğu gibi, "Sposterigach" modeli de programdaki değişiklikleri değiştirmek için hazır bir mekanizmadır. Ve bunları sık sık rapor etmeniz gerekiyor: İlgi, verilerin güncellenmesine yöneliktir, teşebbüslerle ilgili bildirimler çok kısadır.

"Sposterigach" deseni, yaklaşık olarak OOP ile aynı tarzda kullanılır. Değiştirilebilen bir nesneye vizyoner (Gözlenebilir teriminin popüler bir çevirisi) denir. Reshta katılımcıları, yakim tsikavі zmіni, - ön ödeme yapanlar (Gözlemci, Abone). Hatırlatmak amacıyla, ön ödeyiciler, kimliklerini açıkça belirten kişi ile kayıt altına alınır. Her saat, kayıtlı ödeme yapanlar listesine gönderildikleri için bildirimler oluşturuyoruz.

ReactiveX'in yaratıcıları devrim niteliğinde bir şey öngörmediler, sadece kalıbı elle fark ettiler. І zengin OOP hamleleri istiyorum, і Java zokrema'da, є kalıbı uygulamaya hazır, hangi çerçeve için є “Sposterigach”ı daha da zor bir araca dönüştürdüğüm ek “ayar”.

RxAndroid

Android dünyası için ReactiveX kitaplığının bağlantı noktası rxAndroid olarak adlandırılır ve Gradle aracılığıyla olduğu gibi bağlanır.

"io.reactivex:rxandroid:1.1.0" derleyin

Görüyorsunuz, ne bilgi üreticisi, burada Gözlemlenebilir sınıfından yardım istiyorsunuz. Ön ödeme yapanların annelerini görebilirsiniz, uygulamaları için Abone sınıfını hızlandırıyoruz. Observable'ın standart davranışı, ön ödeme yapanlara bir veya küçük bir hatırlatma göndermek ve ardından işinizi tamamlamak veya af hakkında bir hatırlatma görmektir. Bir hatırlatma olarak, ancak bir değişiklik olarak ve nesnelerin bir sonucu olarak yapabilirsiniz.

Rx.Observable myObserv = rx.Observable.create(yeni rx.Observable.OnSubscribe