generic-programming

10calore

1risposta

Posso usare OverlappingInstances per ottenere messaggi di errore più gradevoli?

Attualmente mi sto occupando di un codice Haskell che non ho scritto, ma di cui ho apportato delle modifiche. Dopo le mie modifiche, corro il programma e ottenere il seguente messaggio di errore: Prel

7calore

3risposta

Differenza tra add_lvalue_reference_t <T> e T &

Supponiamo di avere un argomento modello T. Quali sono le differenze tra add_cv_t<T> e const volatile T add_const_t<T> e const T add_volatile_t<T> e volatile T add_lvalue_reference_t<T> e T& add_rvalu

6calore

2risposta

Esiste una funzione generica che prende una struttura dati e restituisce tutti gli interi in essa contenuti?

Penso che la firma di tipo sarà simile f :: a -> [Int] dati di input sarebbe simile data NamedPoint = NamedPoint String Int Int data Person = Name Int Int Int e di utilizzarlo nel REPL sarebbe simil

5calore

2risposta

Differenza tra copy_backward e reverse_copy?

Sto leggendo il primer C++ e ho visto queste due funzioni che sembrano avere la stessa funzionalità. Qualcuno potrebbe aiutarmi e dirmi qual è la differenza tra i due? Grazie.

21calore

1risposta

programmazione generica con effetti

Nelle Idris Effects effetti della biblioteca sono rappresentati come ||| This type is parameterised by: ||| + The return type of the computation. ||| + The input resource. ||| + The computation to

5calore

1risposta

Perché differenziare le versioni di predicato e non di predicato per algoritmi generici?

La libreria standard differenzia le versioni predicate e non predicative degli algoritmi generici. Ad esempio, std::sort() assomiglia: template< class RandomIt > void sort(RandomIt first, RandomIt la

9calore

3risposta

Definizione modello di errore non modello

Desidero utilizzare CRTP pattern in combinazione con un meccanismo di blocco per la sincronizzazione dell'accesso in ambiente multithread. Il mio codice è simile al seguente: //-- CRTP base class with

5calore

2risposta

Ordinamento automatico/derivato ADT derivato automaticamente in Scala

È possibile derivare automaticamente l'ordine su una famiglia di tratti sigillati in Scala? Per esempio, sarebbe bello essere in grado di fare: sealed trait Letters case object A extends Letters cas

6calore

1risposta

generici Swift questione rinviata

che sto cercando di fare questo, ma sto ottenendo alcuni problemi Questo è CustomProtocol protocol CustomProtocol { } SubCustomProtocol protocol SubCustomProtocol: CustomProtocol { } SubCustom

5calore

1risposta

Come derivare genericamente Additivo su Haskell, senza definire un'istanza Applicativa?

Dato un tipo, esiste un solo modo ovvio per implementare un'istanza Additive, dalla libreria Lineare, ad essa. Convenientemente, Additive ha un'implementazione generica, quindi possiamo usare deriving