Ich habe ein Projekt, das mit Stack erstellt wird und GHC 8 benötigt. Ist es möglich, Liquid Haskell mit meinem Projekt zu verwenden, da es GHC 8 benötigt? Wenn ja, wie sollte ich Liquid Haskell installieren und ausführen?Kann ich Liquid Haskell für Code verwenden, für den GHC 8 erforderlich ist?
Danke!
ja! Sie können - LH unterstützt GHC 8.0.2 jetzt (nicht 8.2 noch ...) Sie können/run bauen Sie die Anweisungen hier:
https://github.com/ucsd-progsys/liquidhaskell/blob/develop/INSTALL.md#build-with-stack-recommended
Ein Link zu einer Lösung ist willkommen, aber stellen Sie bitte sicher, dass Ihre Antwort ohne sie nützlich ist: [Fügen Sie einen Kontext um den Link hinzu] (// meta.stackexchange.com/a/8259), damit Ihre Mitbenutzer eine Idee haben, was es ist und warum es dort ist, zitieren Sie dann den relevantesten Teil der Seite, auf den Sie verlinken, falls die Zielseite nicht verfügbar ist. [Antworten, die kaum mehr als ein Link sind, können gelöscht werden.] (// stackoverflow.com/help/deleted-answers) – paper1111
Hängt ... die Flüssigkeit Haskell Seite sagt: „Eine bescheidene Teilmenge der Sprache wird zur Zeit unterstützt * (Monaden wurden kürzlich hinzugefügt! ...) * ", was mir sagt, dass alles, was neue Features (zB PolyKinder) verwendet, mit ziemlicher Sicherheit nicht unterstützt wird. Aber ich habe den Eindruck, dass Sie erwarten, dass LH Ihre Abhängigkeiten überprüft, und ich glaube nicht, dass es dafür gebaut ist. Es ist möglich, dass Ihr eigener Code immer noch unterstützt wird, je nachdem, welche Funktionen Sie verwenden. Wie auch immer ... klingt, als hättest du es noch nicht installiert? Vielleicht beginnst du damit herumzuspielen. – luqui