generic-programming

26Ciepło

4Odpowiedz

Adnotacja AST bez tabliczki rejestracyjnej w Haskell?

Błądziłem przy kompilatorze wiązów, który jest napisany w Haskell. Chciałbym rozpocząć wdrażanie pewne optymalizacje dla niego, a część wymaga to przemierzając AST i dodawanie adnotacji „do” niektóryc

18Ciepło

1Odpowiedz

Indeksowanie w kontenerach: podstawy matematyczne

Jeśli chcesz wyciągnąć element ze struktury danych, musisz podać jego indeks. Ale znaczenie tego parametru zależy od samej struktury danych. class Indexed f where type Ix f (!) :: f a -> Ix

8Ciepło

3Odpowiedz

Grupowanie typów danych przez konstruktora w Haskell

Biorąc pod uwagę te dane data Val = X Int | Y Bool | Z Double deriving (Eq, Show) oraz listę takich jak let vals = [X 1, Z 2.7, Y True, X 2, Z 3.14, Y True] jak grupa elementów vals na tej liście,

35Ciepło

2Odpowiedz

W jaki sposób mogę zbudować gcc z koncepcjami C++ ("concept lite")?

Komitet standardów C++ pracuje nad rozszerzeniem TS (specyfikacja techniczna) dla koncepcji: "Języki programowania - Rozszerzenia C++ dla koncepcji". N4377 to najnowsza wersja tego dokumentu. Aby włąc

5Ciepło

2Odpowiedz

Różnica między copy_backward i reverse_copy?

Czytam podkład C++ i widzę te dwie funkcje, które wydają się mieć tę samą funkcjonalność. Czy ktoś mógłby mi pomóc i powiedzieć, jaka jest różnica między tymi dwoma? Dzięki.

7Ciepło

1Odpowiedz

Specjalizacja szablonów dla typów podstawowych

Czy istnieje sposób na specjalizację szablonów tylko dla typów podstawowych? Próbowałem wykonać następujące czynności: template<typename T, typename = typename std::enable_if<!std::is_fundamental<T>::

7Ciepło

1Odpowiedz

Bezpieczne kopiowanie pola między klasami przypadku różnych typów

zakładając, że masz zajęcia takim wypadku następującym case class Test1(a:String,b:Int,c:Char) case class Test2(a:String,b:Int) I instancji klas z następujących zmiennych val test1 = Test1("first"

9Ciepło

4Odpowiedz

Czy można częściowo zastosować n-tego parametru w Haskell?

Jestem ciekawa, czy można napisać funkcję apply_nth, która przyjmuje funkcję, numer parametru i wartość tego parametru, a następnie zwraca nową, częściowo zastosowaną funkcję. Mam wrażenie, że jest to

5Ciepło

2Odpowiedz

Automatycznie wyprowadzona zaplombowana cecha/zamówienie ADT w Scali

Czy możliwe jest automatyczne uzyskanie zamówienia na rodzinie zapieczętowanych cech w Scali? Na przykład, byłoby miło, aby móc to zrobić: sealed trait Letters case object A extends Letters case obj

5Ciepło

1Odpowiedz

C++ variadic szablon argument iteracyjny

Jestem dość niedoświadczony w takich rzeczach, ale próbuję utworzyć funkcję szablonu, która ocenia zmienną funkcję przy argumentie "obróconym" (patrz przykład poniżej) i zwraca wektor wszystkich tych