Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| Best language for implementing compilers? costello@mitre.org (Costello, Roger L.) (2019-02-08) |
| Re: Best language for implementing compilers? nalaginrut@gmail.com (Nala Ginrut) (2019-02-09) |
| Re: Best language for implementing compilers? gneuner2@comcast.net (George Neuner) (2019-02-08) |
| Re: Best language for implementing compilers? robin51@dodo.com.au (Robin Vowels) (2019-02-09) |
| Re: Best language for implementing compilers? bc@freeuk.com (Bart) (2019-02-11) |
| Best language for implementing compilers? davidlovemore@gmail.com (David Lovemore) (2019-02-12) |
| Re: Best language for implementing compilers? drb@ihatespam.msu.edu (2019-02-12) |
| Re: Best language for implementing compilers? 157-073-9834@kylheku.com (Kaz Kylheku) (2019-02-12) |
| Re: Best language for implementing compilers? costello@mitre.org (Costello, Roger L.) (2019-02-12) |
| [21 later articles] |
| From: | George Neuner <gneuner2@comcast.net> |
| Newsgroups: | comp.compilers |
| Date: | Fri, 08 Feb 2019 18:36:42 -0500 |
| Organization: | A noiseless patient Spider |
| References: | 19-02-002 |
| Injection-Info: | gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="50423"; mail-complaints-to="abuse@iecc.com" |
| Keywords: | ML |
| Posted-Date: | 10 Feb 2019 14:53:53 EST |
On Fri, 8 Feb 2019 12:20:18 +0000, "Costello, Roger L."
<costello@mitre.org> wrote:
>What is it about ML that makes it such a good language for implementing
>compilers?
Compiling involves a lot of pattern matching, and pattern matching is
a native feature of ML.
I can recall papers from that same era advocating writing compilers in
Prolog, or similar declarative languages, in which essentially all
programming is done with pattern matching.
Lisp and Lisp-like languages - Scheme, Racket, etc. - are also nice to
work with for compiler writing. These languages don't natively include
pattern matching, but they are extensible [using metaprogramming] and
there are good pattern match libaries available for most popular
implementations.
Racket, in particular, is a "batteries included" Scheme derivative
that includes ML-like pattern matching in its basic distribution.
George
Return to the
comp.compilers page.
Search the
comp.compilers archives again.