Linguaggio di programmazione con abbinamento di modelli negli alberi [chiuso]

Esistono molte lingue con supporto per la corrispondenza dei modelli incorporata:

1. ML (tutti i dialetti)

2. Haskell - praticamente lo stesso approccio di ML, con un vantaggio significativo, ovvero la libreria Scrap your boilerplate che consente di sbarazzarsi della ricorsione esplicita per la maggior parte dei tipici attività di tree-walking.

3. Qualsiasi Lisp decente o Scheme , in cui è possibile implementare una corrispondenza di pattern complesso arbitrario con metaprogrammazione. Molte implementazioni includevano già un pattern matching (ad esempio Racket o Bigloo ).

4. Mathematica . È piuttosto costoso, ma vale la pena guardare, almeno come fonte di idee per essere portato nelle altre lingue. Le sue funzioni di riscrittura dei termini sono particolarmente utili per le applicazioni CAS: link

5. Prolog . Il suo approccio alla corrispondenza dei modelli (unificazione) è in generale molto più lento di quello che farebbe la ML, ma in alcuni casi potrebbe essere estremamente utile. Fortunatamente, Prolog è facile da incorporare in altre lingue (vedi Schelog ).

Can you suggest a programming language I could experiment with to test this approach (ideally not too experimental language)?

Stai cercando una lingua, ma penso che la tua domanda dovrebbe essere quale tipo di linguaggio di programmazione.

Dopo aver lavorato con Object-oriented ( Imperativo ), Logica , Functional e Dichiarativo linguaggi di programmazione, vorrei suggerire qualcosa nel funzionale famiglia.

Se vuoi non sprecare tempo a analizzare l'input e capire o imparare espressioni-s , quindi suggerirei LISP . Se vuoi qualcosa che ha anche tipi, il che significa che potresti dover analizzare l'input o inserire i dati in una forma molto più vicina a quella che la definizione della struttura dei dati suggerirebbe forse OCaml , Schema o F# .

Per il motivo per cui dovresti usare un linguaggio funzionale su un linguaggio orientato agli oggetti vedi: OCaml for the Masses

Come introduzione generale alla scrittura di un valutatore di espressione di tipi di dati algebrici nei linguaggi funzionali, vedi Scrivi uno schema in 48 ore

Il tipo di corrispondenza tra gli alberi di cui hai bisogno non è fornito immediatamente da nessuno dei linguaggi di programmazione menzionati prima. Ad esempio, se si desidera provare a scomporre una somma di molti termini, ciascuno costituito da un numero arbitrario di fattori, i pattern devono essere non lineari (per trovare i fattori comuni) e consentire l'assegnazione dei segmenti (per conservare tutto il resto). Sebbene siano ampiamente disponibili nella corrispondenza delle stringhe, queste caratteristiche sono stranamente assenti nella maggior parte delle implementazioni di corrispondenza dei modelli di alberi.

Puoi guardare Tom ( link ), Egison ( link ) e alla mia lingua di animali Bracmat. (Cerca quello su GitHub, sono fuori dai link mentre sono nuovo su stackexchange). Bracmat è ben oltre la fase sperimentale. Anche se lo uso professionalmente principalmente per l'elaborazione del linguaggio naturale, è iniziato come un piccolo sistema algebrico nel 1988.

Puoi trovare esempi di Egison e Bracmat su rosettacode.