type-systems

7Ciepło

2Odpowiedz

Scala: czy istnieje sposób tworzenia typów wbudowanych?

Zasadniczo chciałbym być w stanie napisać coś takiego: val x :('k1.type, Int) = 'k1 -> 1 val y :('k2.type, Int) = 'k2 -> 2 Gdzie typów X i Y nie są kompatybilne, ale też dzielić się super typ lub m

6Ciepło

1Odpowiedz

uogólnione Typ-zalegających zasady

Haskell's type-defaulting rules wartości domyślne typu zmiennej z ograniczeniami (C1 a, ..., Cn a) jeżeli: Typem zmiennej pojawia się w żadnych innych ograniczeń Wszystkie klasy Ci są standardowe. Prz

7Ciepło

2Odpowiedz

Scala: Zamawianie kontrawariancji

Czy jest jakikolwiek powód, dla którego cecha Scali Ordering nie jest sprzeczna? Następujący motywacyjny przykład. Załóżmy, że chcę wykonać zamówioną wkładkę. I może mieć funkcję z podpisem def insert

5Ciepło

1Odpowiedz

Scala seq - przyjmować tylko elementów tego samego podtypu

Zakładając Mam hierarchii typu jak poniżej: trait Color case class Red(r: String) extends Color case class Green(g: String) extends Color Czy jest możliwe aby utworzyć metodę, która akceptuje Seq[

10Ciepło

1Odpowiedz

Jakie są typy rozmiarów w Agdzie?

Jakie są typy rozmiarów w Agdzie? Próbowałem czytać gazetę o MiniAgda, ale nie udało się przejść ze względu na następujące punkty: Dlaczego są typy danych generic nad ich wielkości? O ile mi wiadomo,

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

13Ciepło

1Odpowiedz

Zrozumienie Scala _ vs Wszelkie/Nothing

Jeśli klasa ma convariant parametr typu takiego jak Iterable[+A], jest jakaś różnica między deklarowania def foo(bar: Iterable[_]) i def foo(bar: Iterable[Any]) ? Jeśli klasa ma kontrawariantny pa

5Ciepło

2Odpowiedz

Chcę napisać funkcję podobną do `flip` w Haskell, aby pozbyć się wyrażeń lambda. Ale nie mogę sobie poradzić z tym typem:

Chcę napisać funkcję Haskella, która działa jak flip, ale jest znacznie bardziej ogólna i może uczynić dowolny parametr funkcji ostatnim parametrem. Dla wygody używamy pull, aby go reprezentować. Łatw

5Ciepło

1Odpowiedz

Jaki jest najlepszy typ w języku Hack?

W systemie typu the Hack language istnieje typ "top", znany również jako typ "any" lub uniwersalny typ "Object"? Oznacza to, że wszystkie typy są podklasami? The manual mentions "mixed" types, które m

19Ciepło

2Odpowiedz

Zrozumienie wielościpów w Hindley-Milner Typ Wnioskowanie

Czytam artykuł z Wikipedii na temat Hindley–Milner Type Inference próbując zrozumieć. Do tej pory to właśnie zrozumiałem: Typy są klasyfikowane jako monotypy lub poliakty. Monotypy są dalej klasyfikow