type-families

11ısı

1cevap

yazmak için bir yol yoktur ben T type family T a = b | b -> a ilk sorum bir injective tip aile var Diyelim: type family T' = the inverse of T T tüm örneklerini tekrarlamak zorunda kalmadan ama ger

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

12ısı

1cevap

GHC 8.0.1 kilitleniyor. Açıklama veya derleyici hatası?

Birisi, aşağıdaki kodun neden GHC 8.0.1'in neden derlenmesinde döngü oluşturduğunu açıklayabilir mi, yoksa bu bir hata mıdır? {-# LANGUAGE TypeFamilyDependencies #-} {-# LANGUAGE FlexibleInstances #-

2ısı

1cevap

Türü aileler belirsiz değişken hatasına neden olur

Kullanım durumu: Oyunun kurallarını her iki tarafta kodlayabilmem ve durum değişiklikleriyle iletişim kurabilmem için bir ghcjs ön ucunda ve temelde aynı durumu kullanan bir arka uçta bir oyun yazıyor

8ısı

1cevap

Tip Aile Polimorfizmi

Bu yüzden, bir tür ailesini taşımayı amaçlayan bir Proxy alan ve ikinci bağımsız değişken ve dönüş değeri türünü belirlemek için bu tür aileye Int uygulayan bir işlevi olan apply :: proxy tf -> tf Int

7ısı

1cevap

Bir tür uygulamaya kısıtlamaları uygulamak için genel bir yol var mı?

Bir kullanıcı 2426021684 tarafından comment o göstermektedir F böyle F c1 c2 fa bir tip fonksiyonu ile gelip mümkün olup olmadığını araştırmak için götürdü bazı f ve a için: fa ~ f a c1 f c2 a En basi

7ısı

1cevap

Tip aile örneklerindeki kısıtlamalar

Haskell'deki tür aileleri araştırıyorum, tanımlayabileceğim tip düzeyindeki işlevlerin karmaşıklığını oluşturmaya çalışıyorum. Ben şöyle bir şey mod kapalı tip düzeyindeki sürümü tanımlamak istiyorum:

8ısı

2cevap

Tip azaltma sonsuz döngü

Amacım bu gibi terimlerden () ortadan kaldırmaktır: (a, b) -> (a, b) ((), b) -> b (a, ((), b)) -> (a, b) ... Ve bu kod şudur: bunu deneyerek, Ancak {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE T

15ısı

1cevap

Haskell'in (Geri (Geri xs)) xs`

'a bildirilmesi Reverse :: [k] -> [k] türünde bir aile ise, Haskell bunu (Reverse (Reverse xs)) ~ xs numaralı telefondan söyleyemez. Türü sistemin herhangi bir çalışma zamanı maliyeti olmadan bunu bil

6ısı

1cevap

Türü aileleri anlama

Tip Aileleri öğreniyorum ve neden belirli bir durumda bir derleme zamanı hatası almıyor anlamaya çalışıyorum. My tipi ailesi aşağıdaki gibi tanımlanır: func1 :: (Typ (Label "la") (Label "lb")) => Labe