From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: phillip.lord@russet.org.uk (Phillip Lord) Newsgroups: gmane.emacs.devel Subject: Re: Beyond release Date: Mon, 27 Jun 2016 17:40:56 +0100 Message-ID: <878txqfuuf.fsf@russet.org.uk> References: <5254d43b-39dd-7ac2-03d7-349e6d710a6b@online.de> <577135CD.1040605@gmail.com> <8a06c531-eac2-cfd5-eab0-6bf197e8c3e0@online.de> <57714BA1.8030506@gmail.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1467045804 11656 80.91.229.3 (27 Jun 2016 16:43:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 27 Jun 2016 16:43:24 +0000 (UTC) Cc: emacs-devel@gnu.org To: =?utf-8?Q?Cl=C3=A9ment?= Pit--Claudel Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Jun 27 18:43:14 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bHZcv-0002dx-Lu for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 18:43:13 +0200 Original-Received: from localhost ([::1]:59910 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHZcr-0001Vp-Lq for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 12:43:09 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:48974) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHZao-0007nO-Qg for emacs-devel@gnu.org; Mon, 27 Jun 2016 12:41:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bHZak-0007Tc-Qd for emacs-devel@gnu.org; Mon, 27 Jun 2016 12:41:02 -0400 Original-Received: from cloud103.planethippo.com ([31.216.48.48]:56963) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHZak-0007TP-Go for emacs-devel@gnu.org; Mon, 27 Jun 2016 12:40:58 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=russet.org.uk; s=default; h=Content-Transfer-Encoding:Content-Type: MIME-Version:Message-ID:In-Reply-To:Date:References:Subject:Cc:To:From; bh=SgO3XI9uS9UquvvormthG7XkCBeNO1JuhXtK5vo5cBA=; b=0TVt7E+QCIkGQpuYBwxdvciCfI cOg7qxqcV9bT0A95dUol+aRMu+iELs/rdQ5ZVyRzwaUyAxOvON2Hzp/kH31ePiTRb8+NDmsctQ2bj SWfIPOSvyPnxOM9LNoP5ZCgfCqKUboy19FuOXINCNtKFQgOLbdj6ybDcwAWomrpKDnYpUaUaOZB6v ZA9zy8NTZ0t5eYa5Iat4SANLRFPizTEgBaTOI3hs9hBWlRLcWqLHKU0PatzJ4bTYayJSTsP1Nf+W3 UWgi15/kj92PGlqsm3GK58D82Rows07WPy+a4ZHR6IpfLa3+ePIF0rsRYzoLLKDcDPkUY0Dy0LupP dUMD3Rhg==; Original-Received: from janus-nat-128-240-225-60.ncl.ac.uk ([128.240.225.60]:32262 helo=russet.org.uk) by cloud103.planethippo.com with esmtpsa (TLSv1.2:DHE-RSA-AES128-SHA:128) (Exim 4.86_1) (envelope-from ) id 1bHZaj-002dQF-Cy; Mon, 27 Jun 2016 17:40:57 +0100 In-Reply-To: <57714BA1.8030506@gmail.com> (=?utf-8?Q?=22Cl=C3=A9ment?= Pit--Claudel"'s message of "Mon, 27 Jun 2016 11:52:01 -0400") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.95 (gnu/linux) X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - cloud103.planethippo.com X-AntiAbuse: Original Domain - gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - russet.org.uk X-Get-Message-Sender-Via: cloud103.planethippo.com: authenticated_id: phillip.lord@russet.org.uk X-Authenticated-Sender: cloud103.planethippo.com: phillip.lord@russet.org.uk X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 31.216.48.48 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:204822 Archived-At: Cl=C3=A9ment Pit--Claudel writes: > On 2016-06-27 11:33, Andreas R=C3=B6hler wrote: >>> I think that's an incorrect characterisation (see statements that >>> Makarius made on the Proof General mailing list). >>=20 >> That's where my conclusions are from. Any precise spot to tell >> otherwise? > > Yes: Makarius wrote: "While it is technically feasible to connect Proof > General to Isabelle/Scala/PIDE in some imitation of the old TTY mode, I > personally don't believe that there are serious adherents to Emacs still > around to do that." I'm guessing that Isabelle/Emacs integration used "parsing output" interaction. FWIW, I think that the days of this form of archictecture are numbered. Both scala and clojure interaction now use something with a structured protocol, with a specialized server on the scala or clojure side. A similar thing is happening with R, also, and maybe with JDEE. I don't know if anything could be done, but adding general support for repl interaction to core or ELPA would probably be a good thing. I don't know if it is possible -- most of the tools that I have mentioned so far use different protocols, so perhaps it is not. >> That's interesting. Maybe that would also worth being reflected. So >> extending in Java should be easier than in Emacs Lisp? How could it >> came to this? > > Does Makarius know Emacs Lisp? Which is the problem. You don't need to ask if he knows Java, because everyone knows Java. Phil