Haskell eşdeğeri Boost.Fusion

Question

Tam olarak güvenli bir AST için GADT'leri kullanarak Haskell'de tam yazılan bir DSEL oluşturmayla oynamaktayım ve doğru yazılmış bir derleyici yapmak, Haskell türünden haritalar gibi yapılar gerektirir. Hem türlere hem de değerlere (yazılan ortamlar) ve Haskell tipi sistem tarafından anlaşılabilir. C++, Boost.Fusion kütüphanesine bu gibi yapılara sahiptir (tip-> değer haritaları, yazılan değerlerin vektörleri, vb.). Data.Tuple dizileri ilgilenir, ancak Boost.Fusion map s gibi şeylerin Haskell sürümleri var mı?

Answer 1

dependent-map paketine bakın. Onu ben kullanmadım ama istediğin şeyi yapıyor gibi görünüyor. Eğer gerçekten tip (ve sadece yazın) eşitliği kullanmanız gerekiyorsa, o zaman bir varsayılan değer üzerinde anlaşmanız veya anahtar olarak bir TypeRep kullanmanız gerekebilir.

import Data.Typeable 
import Data.Map 

type TypeMap a = Map TypeRep a 

insertT :: Typeable k => k -> a -> Map k a -> Map k a 
insertT v = insert (typeOf k) 

lookupT :: Typeable k => k -> a -> Map k a -> Map k a 
lookupT v = lookup (typeOf k) 

Şimdi insertT (undefined :: Int) 5 gibi kod kullanabilirsiniz:

Answer 2

Data.Map ve listelerini mi arıyorsunuz? (ör. [Int]).

Answer 3

Öncelikle tüm çok açık cevap kolayca Typeable (baz kütüphanesinin parçası) kullanan bir "tip> değer haritası" yazabilmesidir öğeleri türe göre eklemek için.

Fakat Fusion'a baktığımızda, bu, sizin için daha sonra olabileceğiniz gibi görünmüyor. Rasgele veri yapıları üzerinde çalışan kod oluşturmanıza izin veriyor gibi görünüyor? Bu Haskell'de "Boilerplate'inizi" jenerik programlaması olarak bilinen bir şey. Ayrıntılar için papers veya hackage'a bakın, ancak isteğe bağlı veri yapılarını işleyen ve verilen türlerin değerlerini seçen kod yazmanıza izin verir.

Fusion'ı gördüğüm birkaç şey muhtemelen HList veya muhtemelen fclabels gibi kütüphaneler kullanılarak taklit edilebilir. Ama gerçekten ihtiyacınız olan şeylere bakmadan daha fazla söylemek zor olan gerçekten. Daha önce belirtildiği gibi

Answer 4

, dependent-map şeylerin haritası tarafı için doğru bir seçim gibi görünüyor, ama ben elle dizilerini hokkabazlık alternatif olarak hlist ait HArray arayüzüne bakarak tavsiye ederim.