type-level-computation

11Ciepło

1Odpowiedz

Scala bezkształtny kod dla projektu Euler # 1

Jestem nowy, bezkształtny i próbowałem ćwiczyć niektóre poziomy programowania. Zrobiłem Problem #1 from Project Euler jako moje pierwsze wyzwanie. zacząłem pisząc regularne kod scala: object ProjectEu

5Ciepło

1Odpowiedz

Scala Shapeless Code for Project Euler # 2

Zacząłem od mojego Shapeless rozwiązania do Project Euler Problem #2. mogę podsumować wspólnie wszystkie parzyste FIBS do Nth choćby jednego z tym kodem: import shapeless._, nat._, ops.nat.Sum trait

7Ciepło

1Odpowiedz

Rodzaj bezpieczne wyszukiwanie na heterogenicznych list w Haskell

Chcę rozwijać funkcję typu bezpieczny odnośników dla następującego typu danych: data Attr (xs :: [(Symbol,*)]) where Nil :: Attr '[] (:*) :: KnownSymbol s => (Proxy s, t) -> Attr xs -> Attr

8Ciepło

2Odpowiedz

Jak wyzwolić błąd dopasowania wzorca rodziny typów w programie Haskell?

Czy Haskell jest w stanie wskazać błąd dopasowania rodziny typów? Na przykład za pomocą zamkniętego rodzinę typ: type family Testf a where Testf Char = IO() Testf String = IO() Rodzaj Test

10Ciepło

1Odpowiedz

Jak udowodnić podwójną negację dla wartości typu booleans?

Mam następujący moduł: {-# LANGUAGE DataKinds, KindSignatures, TypeFamilies, RoleAnnotations #-} module Main where import Data.Coerce (coerce) -- logical negation for type level booleans type fa

7Ciepło

1Odpowiedz

Błąd w niejawnej rozdzielczości?

Pracuję nad implementacją "bezkształtnego stylu" Okasaki's dense binary number system. Jest to po prostu połączona lista bitów na poziomie typu; rodzaj HList binarnych Digit s. Ukończyłem pierwszy szk

40Ciepło

1Odpowiedz

Dlaczego technika Aux jest wymagana do obliczeń na poziomie typu?

Jestem prawie pewna, że czegoś tutaj brakuje, ponieważ jestem całkiem nowy w Shapeless i uczę się, ale kiedy jest technika Aux faktycznie wymagana ? Widzę, że jest używany do ujawnienia oświadczenia

19Ciepło

2Odpowiedz

Tworzenie fałd, który pozwala typ zmieniać po każdym wielokrotnego wywołania funkcji w celu wywołania funkcji n razy bez rekursji

Próbuję użyć dfold zdefiniowane here dfold :: KnownNat k => Proxy (p :: TyFun Nat * -> *) -> (forall l. SNat l -> a -> (p @@ l) -> p @@ (l + 1)) -> (p @@ 0) -> Vec k a

5Ciepło

1Odpowiedz

Mnożenie poziomu rdzy

Próbuję wprowadzić mnożenie na poziomie typu w Rust. Dodawanie już działa, ale mam problemy z "tymczasową" zmienną typu. Kod: use std::marker::PhantomData; //Trait for the type level naturals trait

8Ciepło

1Odpowiedz

Dlaczego ten kod nie narusza "wymagań dotyczących nasycenia rodzin typów"?

mam ten minimalny przykład roboczy (zaczerpnięte z biblioteki singletons) mapowania rodzinę typ na liście Typ szczebla: {-# language PolyKinds #-} {-# language DataKinds #-} {-# language TypeFamilie