Alle Optionen
wheezy  ] [  jessie  ] [  sid  ]
[ Quellcode: haskell-type-level  ]

Paket: libghc-type-level-prof (0.2.4-5)

Links für libghc-type-level-prof

Screenshot

Debian-Ressourcen:

Quellcode-Paket haskell-type-level herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Profiler-Bibliotheken für Programmierung auf Typebene in Haskell

Eine Haskell-Bibliothek für Berechnungen auf Typebene. Funktionen der Typebene werden über funktionale Abhängigkeiten von Typklassen mit mehreren Parametern implementiert. Bislang werden Boolesche und numerische (natürliche und positive Zahlen) Variablen unterstützt. Für die numerischen Variablen sind die gewöhnlichen arithmetischen Funktionen (Addition, Subtraktion, Multiplikation, Division, Potenzen, Logarithmen, Maximum, Vergleich, ggT) über natürliche Zahlen unterstützt (mit der Verwendung einer dezimalen Darstellung, um Fehler beim Kompilieren freundlicher zu machen). Obwohl die Verwendung von Berechnungen auf Typebene auf den ersten Blick abwegig und verwirrend wirkt, sind sie nützlich für die Implementierung von genügsamen Abhängigkeitstypen wie parametrisierten Typen (z.B. ein Array-Typ parametrisiert durch die Größe des Arrays oder Zn, ein Typ modularer Gruppen, parametrisiert durch die Module).

Dieses Paket enthält die für GHC kompilierten Profiling-Bibliotheken.

Andere Pakete mit Bezug zu libghc-type-level-prof

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances

libghc-type-level-prof herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 4.082,0 kB24.308,0 kB [Liste der Dateien]
i386 3.857,9 kB18.465,0 kB [Liste der Dateien]
kfreebsd-amd64 4.081,5 kB24.252,0 kB [Liste der Dateien]
kfreebsd-i386 3.854,3 kB18.409,0 kB [Liste der Dateien]