HaskellDB ile ilgili son mesajlar, tekrar HList içine bakmak için motive oldum. Halihazırda heterojen listelerin bir örneğine sahip olan GHC'de -XDataKinds'a sahip olduğumuz için, HList'lerin DataKind
Biçimsiz anlamaya çalışıyorum ve bu geldi: // Base trait for type level natural numbers.
trait Nat {
type N <: Nat
}
// Encoding of successor.
case class Succ[P <: Nat]() extends Nat {
Şu anda XML-RPC iletilerine serileştirmek ve serileştirmek için bir kitaplık uyguluyorum. Neredeyse bitti ama şimdi şekilsiz kullanarak benim şimdiki asProduct yöntemin klişe çıkarmak için çalışıyorum