hsreduce/hsreduce.org

• Test-Cases
  • 14827
    • das originale Repo gibt es leider nicht mehr
    • String ordentlich reduzieren
  • 8763
    • was ist da der richtige Test-Case?
  • 15164 / parser-calledarity
    • lives now in /home/daniel/workspace/hsreduce-test-cases/parser-calledarityanalysis
    • best thing is to probably binary search reduce the string
  • 16979
  • containers
    • warum hört das bei 9000kb auf?
    • irgendwie kann es da nicht die Exports reduzieren?
    • Mergen: Testfall aus Mark Karpovs Mini Repo erstellen
  • protocol-buffers
    • Abhängigkeit "runterladen" vor dem Mergen
  • pandoc
    • geht noch nicht zu mergen
  • 15176
    • I think there was something hard about reproducing that repo?
  • 15753
    • GHC prints type operator wrong :)
  • 18018
  • 17722
  • 17684
  • 16127
  • 17516
• Mergen / hsAllInOne.hs
  • operators richtig behandeln
  • default declarations
  • `isOperator`: use operator syntax from Haskell2010 report
• Reduction Passes
  • Function Inlining
    • ab wann lohnt sich Inlining?
    • Inlining, selbst wenn shadowings entstehen
  • Template haskell
    • [ ] TH: splices dumpen, gedumpte einfügen in HS-Datei und dann weiter reduzieren
  • On the Project Level
    • [ ] Module mergen
    • [ ] Dependencies vendorn: nicht mehr als separate Dependency
    • [ ] cabal file: dependencies entfernen
  • Bangtypes: Bang weg
  • Typen vereinfachen / Typaliase
    • [ ] unnötige Typaliase weg
    • [ ] Typ mit 1 Konstruktor: kann gleich Typalias sein, oder?
    • [ ] Typaliase reduzieren / minimieren
    • [ ] Typaliase inlinen
    • [ ] deriving-Clause minimieren
    • [ ] Produkttypen minimieren
  • forall
    • Beta-Reduktion anwenden
    • polymorphe Funktion: Typen konkretisieren (vllt. von Verwendungen inferieren?)
    • [ ] Variablen aus forall entfernen
    • [x] forall weg
  • Kontexte / Constraints
    • [ ] Variablen aus Kontext entfernen
    • [x] Kontexte / Constraints entfernen
  • Typsignaturen vereinfachen
    • Unit / ()
      • [ ] Typparameter durch Unit / () ersetzen + Benutzungen löschen
      • [x] Typparameter durch Unit / () ersetzen
  • Parameter
    • [ ] unbenutzte Parameter zu `_` abändern oder gleich löschen
      • [ ] -Wunused-params benutzen
    • `_` kommt anstatt Parameter vor
      • [ ] Parameter entfernen
      • [ ] aus Signatur löschen
      • [ ] aus Matches löschen
      • [ ] aus Verwendungen löschen
  • Remove Unused
    • Decls
      • [ ] iwie das Filtern von Decls schöner machen, einmal filter und für alle Decls kurz den Check implementieren oder iwie "Inversion of Control" hinkriegen
      • GADTs
        • [ ] Typvariablen durch () ersetzen
        • [x] forall weg
        • [x] Typkontext / Constraints weg
      • [x] Datendeklarationen
        • [x] unbenutzte Konstruktoren löschen
        • [x] Data Decls ohne Konstruktoren löschen
      • [x] unbenutzte Function Bindings
        • Schwierigkeiten: wenn die Signatur nicht mitgelöscht wird, macht es keinen Sinn, nur das FunBind zu löschen
        • wegen der nicht-funktionierenden Löschung sind dann andere decls noch lebendig
      • [x] sonstige Decls versuchen zu entfernen
    • Imports
      • [ ] Anzahl importierter Funktionen minimieren
        • sollte mit "-Wunused-imports" nicht so schwer sein, das kann es so fein erkennen
      • explizites import all
        • [ ] Konvertieren zu explizitem import all
      • [ ] alle imports qualified machen
      • [x] unused imports entfernen
    • Exports
      • Handling von impliziten export all
        • [x] Konvertieren zu explizitem export all
      • [x] unused exports entfernen
      • Beobachtung: alle Exports entfernen ist nicht beste Strategie, siehe #14270
    • Pragmas
      • die befinden sich bei SigD!
      • [ ] UNPACK Pragmas
      • [ ] INLINE Pragmas
      • [ ] other Pragmas
      • [x] LANGUAGE Pragmas
  • Misc
    • [ ] Datei formattieren
    • [ ] case-Ausdrücke minimieren
      • [ ] Matches entfernen und ein `_ -> …` Match einführen
    • [ ] arithmetische, boolesche Ausdrücke vereinfachen
  • Normalization
    • [ ] renaming functions
    • [ ] renaming parameters
    • [ ] renaming constants
    • [ ] renaming data declarations / types
  • Stubbing
    • [ ] Matches mit RHS == "undefined" weg
    • [ ] LGRHS: guards einzeln entfernen
    • [x] Matches mit GRHS == "undefined" entfernen
    • [x] LGRHS: guards entfernen
    • [x] HsExpr: place undefined into every possible HsExpr
    • [x] HsType durch () ersetzen
    • [x] where-Klauseln löschen
    • [x] GADTs: forall und Kontext löschen
    • [x] Case-Expressions mit nur einem Fall
    • [x] if-then-else mit einem Fall == "undefined"
• Misc
  • MUST
    • [ ] ExceptT benutzen
    • [ ] Testen mit QuickCheck, hedgehog, tasty, usw.
    • [ ] Structureshrink Zum Laufen Bringen
    • [ ] Automatisiert Test-Cases Hinzufügen + Laufen Lassen Können
      • wahrsch. am besten repo dazu einrichten
    • [ ] #14270 mit git repo reproduzieren
• Refactoring
  • error handling für das Parsing
  • error handling in GHC Monad

Test-Cases

14827

das originale Repo gibt es leider nicht mehr

String ordentlich reduzieren

8763

was ist da der richtige Test-Case?

15164 / parser-calledarity

lives now in /home/daniel/workspace/hsreduce-test-cases/parser-calledarityanalysis

best thing is to probably binary search reduce the string

16979

containers

warum hört das bei 9000kb auf?

irgendwie kann es da nicht die Exports reduzieren?

Mergen: Testfall aus Mark Karpovs Mini Repo erstellen

protocol-buffers

Abhängigkeit "runterladen" vor dem Mergen

pandoc

geht noch nicht zu mergen

15176

I think there was something hard about reproducing that repo?

15753

GHC prints type operator wrong :)

18018

17722

17684

16127

17516

Mergen / hsAllInOne.hs

operators richtig behandeln

[A] default declarations

[C] `isOperator`: use operator syntax from Haskell2010 report

Reduction Passes

Function Inlining

ab wann lohnt sich Inlining?

Inlining, selbst wenn shadowings entstehen

Template haskell

[ ] TH: splices dumpen, gedumpte einfügen in HS-Datei und dann weiter reduzieren

On the Project Level

[ ] Module mergen

[ ] Dependencies vendorn: nicht mehr als separate Dependency

[ ] cabal file: dependencies entfernen

Bangtypes: Bang weg

Typen vereinfachen / Typaliase

[ ] unnötige Typaliase weg

[ ] Typ mit 1 Konstruktor: kann gleich Typalias sein, oder?

[ ] Typaliase reduzieren / minimieren

[ ] Typaliase inlinen

[ ] deriving-Clause minimieren

[ ] Produkttypen minimieren

forall

Beta-Reduktion anwenden

polymorphe Funktion: Typen konkretisieren (vllt. von Verwendungen inferieren?)

[ ] Variablen aus forall entfernen

[x] forall weg

Kontexte / Constraints

[ ] Variablen aus Kontext entfernen

[x] Kontexte / Constraints entfernen

Typsignaturen vereinfachen

Unit / ()

[ ] Typparameter durch Unit / () ersetzen + Benutzungen löschen

[x] Typparameter durch Unit / () ersetzen

Parameter

[ ] unbenutzte Parameter zu `_` abändern oder gleich löschen

[ ] -Wunused-params benutzen

`_` kommt anstatt Parameter vor

[ ] Parameter entfernen

[ ] aus Signatur löschen

[ ] aus Matches löschen

[ ] aus Verwendungen löschen

Remove Unused

Decls

[ ] iwie das Filtern von Decls schöner machen, einmal filter und für alle Decls kurz den Check implementieren oder iwie "Inversion of Control" hinkriegen

GADTs

[ ] Typvariablen durch () ersetzen

[x] forall weg

[x] Typkontext / Constraints weg

[x] Datendeklarationen

[x] unbenutzte Konstruktoren löschen

[x] Data Decls ohne Konstruktoren löschen

[x] unbenutzte Function Bindings

Schwierigkeiten: wenn die Signatur nicht mitgelöscht wird, macht es keinen Sinn, nur das FunBind zu löschen

wegen der nicht-funktionierenden Löschung sind dann andere decls noch lebendig

[x] sonstige Decls versuchen zu entfernen

Imports

[ ] Anzahl importierter Funktionen minimieren

sollte mit "-Wunused-imports" nicht so schwer sein, das kann es so fein erkennen

explizites import all

[ ] Konvertieren zu explizitem import all

[ ] alle imports qualified machen

[x] unused imports entfernen

Exports

Handling von impliziten export all

[x] Konvertieren zu explizitem export all

[x] unused exports entfernen

Beobachtung: alle Exports entfernen ist nicht beste Strategie, siehe #14270

Pragmas

die befinden sich bei SigD!

[ ] UNPACK Pragmas

[ ] INLINE Pragmas

[ ] other Pragmas

[x] LANGUAGE Pragmas

Misc

[ ] Datei formattieren

[ ] case-Ausdrücke minimieren

[ ] Matches entfernen und ein `_ -> …` Match einführen

[ ] arithmetische, boolesche Ausdrücke vereinfachen

Normalization

[ ] renaming functions

[ ] renaming parameters

[ ] renaming constants

[ ] renaming data declarations / types

Stubbing

[ ] Matches mit RHS == "undefined" weg

[ ] LGRHS: guards einzeln entfernen

[x] Matches mit GRHS == "undefined" entfernen

[x] LGRHS: guards entfernen

[x] HsExpr: place undefined into every possible HsExpr

[x] HsType durch () ersetzen

[x] where-Klauseln löschen

[x] GADTs: forall und Kontext löschen

[x] Case-Expressions mit nur einem Fall

[x] if-then-else mit einem Fall == "undefined"

Misc

MUST

[ ] ExceptT benutzen

[ ] Testen mit QuickCheck, hedgehog, tasty, usw.

[ ] Structureshrink Zum Laufen Bringen

[ ] Automatisiert Test-Cases Hinzufügen + Laufen Lassen Können

wahrsch. am besten repo dazu einrichten

[ ] #14270 mit git repo reproduzieren

Refactoring

error handling für das Parsing

error handling in GHC Monad