gadt

    5ısı

    2cevap

    GADTs

    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,
    haskell gadt 2013-10-31

    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
    haskell gadt lenses 2015-01-26

    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
    haskell types dsl gadt 2016-03-02

    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ı?
    haskell combinatorics gadt 2013-04-24

    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
    haskell existential-type gadt 2013-08-07

    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
    haskell typeclass dependent-type gadt 2015-12-04

    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
    haskell gadt type-families data-kinds 2014-09-16

    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
    haskell lambda-calculus gadt type-families 2015-07-16

    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
    haskell gadt 2014-06-14

    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
    haskell record typeclass gadt 2015-09-07
Son soru