Rekursionsschemata in Agda

Was ist die effizienteste Implementierung von Arrays mit funktionalen Updates?

Ich benötige eine Array-ähnliche Datenstruktur mit dem schnellstmöglichen funktionalen Update. Ich habe einige unterschiedliche Implementierungen flexibler A...

Parsec oder happy (mit alex) oder uu-parsinglib

Grundlegendes zur Rekursion in Haskell

Wie hängen Funktoren in Haskell mit Funktoren in der Kategorietheorie zusammen?

Haskell: Instanz-Mehrdeutigkeit anzeigen

Wie kann ich in Haskell einen Teilstring eines Strings durch einen anderen ersetzen, ohne externe Bibliotheken wie MissingH zu verwenden?

Probleme mit DataKinds

Ich habe ein sehr einfaches Beispiel für ein Problem bei der Verwendung von GADTs und DataKinds erstellt. Meine eigentliche Anwendung ist offensichtlich komp...

Haskell foldl 'schlechte Leistung mit (++)

Ich habe diesen Code:

Haskell konnte den erwarteten Typ 'String' nicht mit dem tatsächlichen Typ 'Char' abgleichen

Ich frage mich, warum ich diesen Fehler erhalte. Es ist für eine Aufgabe, wo ich von einer ganzen Zahl in einen hexadezimalen Wert konvertieren soll. Ich ruf...