Taraklayıcıları kullanarak kullanışlı bir kitaplığın nasıl tasarlanacağından emin değilsiniz

Question

Kombinatörleri okuyordum ve ne kadar yararlı olduklarını gördüm (örneğin, Haskell'in Parsec'inde). Benim problemim, onları pratikte nasıl kullanacağımı tam olarak bilmiyorum.

Sorunun ana hatları şöyledir: dağıtımlar oluşturulabilir, filtrelenebilir ve değiştirilebilir. Yeni dağıtımlar oluşturmak için dağılımlar birleştirilebilir.

temel arayüzleri bulunmaktadır (sözde Haskell tipi terminolojisinde):

combine::  generator -> generator -> generator 

filter::  generator -> selector -> generator 

modify::  generator -> modifier -> generator 

bunların aslında combinators Are:

generator::  parameters -> distribution 

selector::  parameters -> (distribution -> distribution) 

modifier::  parameters -> (distribution -> distribution) 

Şimdi, ben üç combinators bkz düşünüyorum? Kombinatorler mantıklı mı/eksik olduğum başka açık kombinatorler var mı?

Her türlü öneriniz için teşekkürler.

Answer 1

selector ve modifier işlevleri zaten mükemmel iyi kombinatorlerdir! generator ve combine ile birlikte size böyle şeyler yapabilir (ı somutluktan için istatistiksel dağılımları varsayar ve sadece şeyler yapacağım!):

modifier (Scale 3.0) $ generator StandardGaussian `combine` selector (LargerThan 10) . modifier (Shift 7) $ generator (Binomial 30 0.2) 

birleştirebilirsiniz önceliği ile biraz etrafında karışıklık gerekebilir Bu iş için sorunsuz bir şekilde çalışın :)

Genel olarak, A türünde değerler için bir birleştirici kitaplığı tasarlamaya çalıştığımda, A'un "sonunda" kalmamayı seviyorum, böylece kısmen uygulanmış kombinatorler (sizin selector ve modifier) flip yerine . ile birlikte zincirlenebilir çemberler aracılığıyla.

Kombinatörleri tasarlamanıza yardımcı olabilecek güzel bir blog makalesi, benim düşüncemi çok etkiledi: Semantic Editor Combinators.

DÜZENLEME: combine'un tip imzası düşünüldüğünde, sorunuzu yanlış okumuş olabilir. Belki bir şeyleri özlüyorum, ama dağıtımlar sizin birleştiricinizin üzerinde çalışması gereken daha doğal nesneler değil miydi?