Errore durante il tentativo di creare un data.list?
-
02-01-2020 - |
Domanda
Sto cercando di creare un elenco di tipo POS (personalizzato) ma continua a ricevere il seguente errore:
Not in scope: type constructor or class `List'
.
Codice:
import Data.List
type Pos = (Int, Int)
type PlayList = List Pos
.
L'errore si presenta sulla linea in cui definisco il mio tipo di playlist.
Qualche idea?Usando Haskell in EclipsEFP
Soluzione
Il tipo di elenco è in realtà chiamato []
, quindi vuoi
type PlayList = [Pos]
.
Anche se spesso vedrai le persone scrivono la propria implementazione di lista per giocare con varie tecniche come
data List a = Nil | Cons a (List a)
.
che è isomorfo a (identico a eccetto per nome) l'attuazione effettiva di
data [a] = [] | a : [a]
.
dove Nil == []
e Cons == (:)
.
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow