gadt

5ısı

2cevap

kullanarak "güvenli liste" için kuyruk fonksiyonu a GADT walkthrough üzerinden okuyordum ve alıştırmalardan birine takılı kaldım. Belirli bir veri yapısı şöyledir: {-# LANGUAGE GADTs, EmptyDataDecls,

7ısı

1cevap

makeLenses (Haskell)

GADT'ler için makeLenses eşdeğeri var mı? Ben gibi basit GADT varsa: data D a b where D :: (Ord a, Ord b) => !a -> !b -> D a b yapıcı ve alan adlarına bir listede ileterek otomatik lensleri üre

9ısı

1cevap

benim GADTs

yılında belirsizliği çözmek için nasıl bir SQL EDSL modellemek için kullanıyorum iki GADTs var. İstemciyi temiz ve basit bir şekilde karşı karşıya bırakmak için Column Selection'a dize değişmezlerini

6ısı

1cevap

Haskell'de GADT'lerin numaralandırılması

Enum sınıfı için Haskell türetme mekanizmasının uzantıları olduğunu söyleyebilir misiniz? “Nullary constructors” davası dışında birçok makul durum var. Bu konuda herhangi bir eser var mı?

9ısı

2cevap

Tipik olarak GADT'leri yayınlama

Diyelim ki bir DSL yazıyor ve hem fantom desteği hem de yanlış yazılan ifadeler için destek istiyorum. Hem VNum ve VBool dışarı ing case tarafından Valunk değerleri üzerinde işlem ve hatta benim hayal

6ısı

1cevap

Genel bir sınıflandırma örneğini bir dizi küçükten mi ayırdınız?

Bu unvanın çok açıklayıcı olmadığını kabul etmekteyim, ancak bunun kısa bir başlıkta nasıl tanımlanacağını bilmiyorum. Önerileri takdir ediyorum! Benim konuyla :) çok basitleştirilmiş bir sürümünü sun

9ısı

1cevap

Haskell tipi aile uygulamaları değerlendirilmiyor

Tip aileleriyle veri türlerini kullanırken ilginç bir durum buldum. Derleyicinin hata iletisi No instance for (C (ID())) arising from a use of W. Doymuş olsa bile, bir tip aile uygulamasının tam olara

6ısı

1cevap

GHC neden tip ailemi azaltmıyor?

Şartları serbest değişkenleri tarafından endekslenen bir türlenmemiş lambda hesabı. Tür düzeyinde dizeleri tekil değerler için singletons kitaplığı kullanıyorum. Var, bir serbest değişken sunar. Bir l

13ısı

1cevap

bu GADT'nin aslında tür rol temsilciliği var

Bu veri türü, coerce öğesinin, listeye geçmeye gerek kalmadan öğelere uygulanan yeni türler eklemek veya kaldırmak için kullanılmasına olanak tanıyan type role HCons' representational representational

7ısı

1cevap

Kısıtlı GADT kayıtları

ile kayıt güncelleştirme sözdizimini kullanarak aşağıdaki küçük sorunla karşılaştım. {-# LANGUAGE GADTs #-} data Test a where Test :: {someString :: String, someData :: a} -> Test a Şimdi som