5calore
1risposta
Come evitare la ripetizione del tipo di dati SML in strutture e firme?
7calore
2risposta
Esiste un database Haskell che utilizza i tipi di dati algebrici?
8calore
1risposta
Impossibile decostruire tipo di prodotto, dopo la semplificazione in OCaml
9calore
1risposta
test uguaglianza senza la prova esplicita che i costruttori di dati sono iniettivi
15calore
1risposta
Un modo più succinto di mappare le funzioni su campi di un tipo di dati algebrico?
5calore
1risposta
16calore
1risposta
In che modo i linguaggi funzionali rappresentano i tipi di dati algebrici in memoria?
12calore
2risposta
Qual è la differenza tra costruttori di valori e tuple?
20calore
1risposta
Il modo migliore per definire i tipi di dati algebrici in Python?
6calore
1risposta
Tipi di varianti e sottotipi ordinati in OCaml