30 Sep
2014
30 Sep
'14
3:30 a.m.
Excerpts from Richard Eisenberg's message of 2014-09-29 19:04:28 -0700:
What do other languages do? Do we know what, say, Agda does to get such tight coupling with an editor? Does, say, Eclipse have such a chummy relationship with a Java compiler to do its refactoring, or is that separately implemented?
Eclipse literally has its own Java compiler for development in the IDE. I get the feeling this is not an uncommon pattern... Cheers, Edward