Haskell üretim kodunda seq hangi sıklıkla kullanılır?

Haskell'de küçük aletler yazma konusunda bazı deneyimlerim var ve özellikle interactstandart girişlerini işleyen ve standart çıkışa yönlendiren filtreler yazmak için kullanmayı çok sezgisel buluyorum .

Geçenlerde böyle bir filtreyi normalden 10 kat daha büyük bir dosyada kullanmaya çalıştım ve bir Stack space overflowhata aldım .

Biraz okuma yaptıktan sonra (örneğin burada ve burada ) Yığın alanından tasarruf etmek için iki kılavuz belirledim (deneyimli Haskellers, lütfen doğru olmayan bir şey yazarsam düzeltin):

1. Özyinelemeli özyinelemeli olmayan özyinelemeli işlev çağrıları kullanmaktan kaçının (bu, özyönelti optimizasyonunu destekleyen tüm işlevsel diller için geçerlidir).
2. seqAlt ifadelerin erken değerlendirmesini zorlamak için tanıtın , böylece ifadeler azaltılmadan çok fazla büyümez (Haskell'e veya en azından tembel değerlendirme kullanan dillere özgüdür).

Koduma beş veya altı seqçağrı yaptıktan sonra , aracım tekrar sorunsuz çalışıyor (ayrıca daha büyük verilerde). Ancak, orijinal kodun biraz daha okunaklı olduğunu gördüm.

Tecrübeli bir Haskell programcısı olmadığımdan seq, bu şekilde tanıtmanın yaygın bir uygulama olup olmadığını ve seqHaskell üretim kodunda ne sıklıkta göreceğini sormak istedim . Yoksa seqçok sık kullanmamaya ve çok az yığın alanı kullanmaya izin veren herhangi bir teknik var mı?

Ne yazık ki seq, büyük veriler için verimli / iyi çalışan bir program elde etmek için birinin kullanılması gereken durumlar vardır . Bu yüzden birçok durumda, üretim kodunda onsuz yapamazsınız. Daha fazla bilgiyi Real World Haskell, Bölüm 25'te bulabilirsiniz . Profil oluşturma ve optimizasyon .

Bununla birlikte, seqdoğrudan kullanmaktan nasıl kaçınabileceği olasılıkları vardır . Bu, kodu daha temiz ve daha güçlü hale getirebilir. Bazı fikirler:

1. Kullanım kanalı , boru veya iteratees yerine interact. Tembel IO'nun kaynakları yönetmede sorun yaşadığı bilinmektedir (sadece hafıza değil) ve yinelemeler de tam olarak bunun üstesinden gelmek için tasarlanmıştır. (Verilerinizin büyüklüğü ne olursa olsun, tembel IO’yu tamamen önlemenizi öneririm - bkz . Tembel I / O’da sorun .)
2. seqDoğrudan kullanmak (veya kendi tasarımınızı kullanmak) yerine, foldl ' veya foldr' gibi birleştiricileri veya katı hesaplamalar için tasarlanmış kitaplıkların ( Data.Map.Strict veya Control.Monad.State.Strict gibi ) katı sürümlerini kullanın .
3. BangPatterns uzantısını kullanın . seqSıkı desen eşleştirmesi ile değiştirilmesine izin verir . Bildirilmesi sıkı yapıcı alanlarını da bazı durumlarda yararlı olabilir.
4. Değerlendirmeye zorlamak için Stratejiler kullanmak da mümkündür . Stratejiler kütüphanesi çoğunlukla paralel hesaplamalara yöneliktir, ancak WHNF ( rseq) veya full NF ( rdeepseq) değerine zorlama yöntemleri de vardır. Koleksiyonlarla çalışmak, stratejileri birleştirmek vb. İçin birçok faydalı yöntem vardır.