La maggior parte del linguaggio logico-funzionale più utile e istruttivo da apprendere

Question

Sono rimasto molto sorpreso dalla potenza di Prolog. Ci è voluto un po 'di tempo per girare la testa, ma per me sembrava essere la lingua dichiarativa più bella là fuori. Ecco perché recentemente, dopo due anni di programmazione funzionale con Scala, ho deciso di dare di nuovo un'occhiata alla programmazione logica, per "allenare il mio cervello" o meglio per l'uso effettivo.

La combinazione di programmazione logica e funzionale mi sembra interessante per apprendere/consolidare i concetti di entrambi i paradigmi dichiarativi. Trovo anche che i sistemi di tipo forte siano molto utili e affascinanti.

Scala davvero splenduto con interop. Non reinventiamo le ruote. Dovrebbe essere in grado di chiamare il codice in un'altra lingua principale, e preferibile anche essere chiamabile. Ma non deve essere Java. C o Haskell andrebbero bene anche loro.

Quindi, quali sono oggi i linguaggi FLP più utili e illuminanti e quali sono le vostre opinioni e raccomandazioni su di essi?

Ecco quello che ho trovato finora:

1. Mercury: sostiene di essere veloce, fortemente tipizzato Prolog. Puro dichiarativo, ma nessuna variabile logica! Nessuna programmazione di vincoli? Sembra essere il FLP più utilizzato. Interop ??

2. Curry: sembra promettente e il più avanzato, ma in questo momento un po 'basso sulla documentazione. "Sperimentale" significa immaturo/non pronto a tuffarsi? basato semplicemente su Haskell o in realtà una buona interazione con Haskell?

3. Ciao: sembra fornire molte funzionalità che desidero, ma Stack Overflow non sembra nemmeno saperlo affatto, anche se esiste dal 1984? Che cosa c'è che non va? Interop?

4. drools (libreria java/DSL): afferma che consente il concatenamento ibrido avanti e indietro. Maturo. Interop diretto con Java/Scala, ma basandosi su dati mutabili/costrutti imperativi? Quanto bene si integra con le lingue JVM funzionali?

5. miniKanren: esistono implementazioni su diverse piattaforme. Come va l'interoperabilità? Efficiente?

6. Lambda Prolog implementazioni quali:

   1. Caledon: potrebbe essere bello, ma la teoria pesante. Utilità? Interop efficace con Haskell? Documentazione?

   2. Teyjus. simile a Caledon.

buone ma teoriche legge e sbilanciata verso curry e non affrontare problemi pratici:

• http://doi.acm.org/10.1145/1721654.1721675

• http://www.informatik.uni-kiel.de/~mh/slides/ETAPS00.pdf

Answer 1

Posso darti una raccomandazione (leggermente) parziale per Curry.

Come già accennato, Curry è abbastanza avanzato e, pur essendo ancora sperimentale, sicuramente pronto per essere utilizzato. Esistono già applicazioni in uso produttivo. Non troverai molte letture sugli aspetti pratici poiché Curry è principalmente un linguaggio di ricerca. Tuttavia, v'è una piccola ma utile lettura comunitaria e di rispondere alla Mailing List Curry:

http://www-ps.informatik.uni-kiel.de/currywiki/documentation/mailing

Per quanto riguarda l'interoperabilità, sembra che ci siano due scelte: Il Münster Curry Compiler (MCC) supporta un sottoinsieme del Haskell straniera interfaccia di funzione per chiamare il codice C.

L'implementazione di Curry più recente, Kiel Curry System 2 (KiCS2), compila Curry con Haskell. Esiste un modo schematico per chiamare il codice Haskell da Curry quando si utilizza KiCS2 (vedere KiCS2 Manual, Appendice D). Purtroppo, non sono a conoscenza di un modo per chiamare il codice Curry da un'altra lingua.

Answer 2

Il nesso più utile di FP e LP è stato, per quanto ho trovato, Mercury + Erlang. Entrambe sono incidentalmente interessanti da un punto di vista accademico (hai davvero bisogno di avere i tuoi fondamentali se vuoi fare del bene con entrambi, o entrambi), ma entrambi danno anche un premio nell'ottenere prodotti sul mercato e mantenerli al contrario essere stranezze di ricerca.

Non sono sicuro che l'OP pesasse "utile" più di "istruttivo", e non so nemmeno se "utile" significhi "codice che risolva utilmente problemi nel mondo reale". Ma supponendo che questo sia parte dei criteri qui, Mercury + Erlang è di gran lunga la combinazione più interessante di LP e FP che si possano avere al momento.