Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| Make an editor for a language dfsgm@tin.it (Davide Marino) (1999-02-27) |
| Re: Make an editor for a language dwight@pentasoft.com (1999-02-28) |
| Re: Make an editor for a language anton@mips.complang.tuwien.ac.at (1999-03-02) |
| Re: Make an editor for a language maratb@CS.Berkeley.EDU (Marat Boshernitsan) (1999-03-02) |
| Re: Make an editor for a language heinrich@idirect.com (Kenn Heinrich) (1999-03-02) |
| Re: Make an editor for a language dontspamger@informatik.uni-bremen.de (George Russell) (1999-03-04) |
| Re: Make an editor for a language mzraly@world.std.com (1999-03-04) |
| From: | George Russell <dontspamger@informatik.uni-bremen.de> |
| Newsgroups: | comp.compilers |
| Date: | 4 Mar 1999 12:09:21 -0500 |
| Organization: | Universitaet Bremen, Germany |
| References: | 99-02-130 |
| Keywords: | tools |
Davide Marino wants to write an editor that does on-the-fly lexing as
he types. But why stop there? I can see no reason in principle why
you couldn't have on-the-fly parsing and type-checking of, say,
Standard ML.
Not that it would be easy, but it might be a good masters or PhD
thesis for someone, and if it could be got to work it would be very
useful. Making the ML type checking algorithm incremental would be
interesting to say the least, but I don't see that it would be
impossible, though there would always be hard and unlikely cases you
couldn't deal with fast.
Return to the
comp.compilers page.
Search the
comp.compilers archives again.