From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: Beyond release Date: Mon, 27 Jun 2016 14:05:31 -0400 Message-ID: <57716AEB.9050409@gmail.com> References: <5254d43b-39dd-7ac2-03d7-349e6d710a6b@online.de> <577135CD.1040605@gmail.com> <8a06c531-eac2-cfd5-eab0-6bf197e8c3e0@online.de> <57714BA1.8030506@gmail.com> <878txqfuuf.fsf@russet.org.uk> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="KM2CCXpABTKcs9i8uRAlEEtS8kj7g8mW2" X-Trace: ger.gmane.org 1467050859 26607 80.91.229.3 (27 Jun 2016 18:07:39 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 27 Jun 2016 18:07:39 +0000 (UTC) Cc: emacs-devel@gnu.org To: Phillip Lord Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Jun 27 20:07:27 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 1bHawR-0005fo-7q for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 20:07:27 +0200 Original-Received: from localhost ([::1]:60319 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHawQ-0006cG-E2 for ged-emacs-devel@m.gmane.org; Mon, 27 Jun 2016 14:07:26 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:44660) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHavf-0006aK-Iq for emacs-devel@gnu.org; Mon, 27 Jun 2016 14:06:41 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bHavI-0003Np-K3 for emacs-devel@gnu.org; Mon, 27 Jun 2016 14:06:38 -0400 Original-Received: from mout.kundenserver.de ([212.227.17.24]:58091) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bHavI-0003Ne-6p for emacs-devel@gnu.org; Mon, 27 Jun 2016 14:06:16 -0400 Original-Received: from [18.26.2.123] ([18.26.2.123]) by mrelayeu.kundenserver.de (mreue103) with ESMTPSA (Nemesis) id 0Ll0b7-1brl8q3Xjp-00aqBs; Mon, 27 Jun 2016 20:05:34 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 In-Reply-To: <878txqfuuf.fsf@russet.org.uk> X-Provags-ID: V03:K0:10oKwvm4iVJQ7+YFa/ututNzDKJhkQfI59MPaaHxat+DRpXt0c5 quZphCPMkU6xLF9Yqn8VBw4pAl0NrADhSzGMv6LzSd3QhL6rMcta9l2JdEeIgE6CGLc+DAL oNA2H/klCm3iJL/acSLs5ZQJtF06fD0nOZQPlNhbjHmtDm6BlOiBjcEJqETCszC8xwcbT+9 3JTTaqy4QesY8yrkGGkKQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:4/ITA60KxbY=:HNrMuNQTp0QfBrfkeN0XsN 9JdFTNxUs0Bg5WmJWTTz/T5h0QASJdPuLaBfBHQuH/KmqhSboy50SxsQHi9SFtooc8uAUx2qT EFwU0colphat/69KN2/fIxVeuSf4vCGq9QAikfmhkVZfEK0FQyvQeI7CHhCoTf/KNMJ2Nh7UJ tAGplU+Z52Pm2ethwNx4tWnbTECvoaejXD1m5C+V2mx6mLN+yFCJFZgUrUdvA+6TSsfCNcJBT H2J6VP6YODn17azpNPwSQdj0ZJD+NtaDg/T2yx9H5bltpaXajnubW+EkIuhRn/Ki+LJcaijjb vPzebReCzxuAExWflq9JK+hUgowjsFAlkX7Jm3ysSGeA8+CymVrzHLA3fJlUGQQGrpQWEwNTU 0jUKJrcYd4jF0wsCE1eQcgD6xZJrRSG4kYb/+fVp4uHihHUQ7v3Tk+mH/KrHxze+cNgGp+ClW h+aWfXwsgDHKbAbMossYe3GLlzxAoo04HjVWMsahuTAGjJIlFO8S5Lnn1r11E65Z8hBwSmD8c pIjnwxLICjv6i+asJ80EkxTKNQ/kIKsRrMXGIzChBo8eQ5bkSkOzXb0BfhKxwOmeMZ8fw7vYV KAkV5rkMzyntQVqky8UfQh3THgx1McrHAxrEoYVJjhpBZHCTjvvlcEF8fE15THMwSzS3zm0SN 6mTePhQ5wrWCDhYbHAOonTWE9YQuDzGCHdThSv6DsYKCp6KAnje7GmY1miJkW+HCFCaE= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.17.24 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:204828 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --KM2CCXpABTKcs9i8uRAlEEtS8kj7g8mW2 Content-Type: multipart/mixed; boundary="i25VioRSv86dhP76EWBm8d5hoifRbXh6M" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: Phillip Lord Cc: emacs-devel@gnu.org Message-ID: <57716AEB.9050409@gmail.com> Subject: Re: Beyond release References: <5254d43b-39dd-7ac2-03d7-349e6d710a6b@online.de> <577135CD.1040605@gmail.com> <8a06c531-eac2-cfd5-eab0-6bf197e8c3e0@online.de> <57714BA1.8030506@gmail.com> <878txqfuuf.fsf@russet.org.uk> In-Reply-To: <878txqfuuf.fsf@russet.org.uk> --i25VioRSv86dhP76EWBm8d5hoifRbXh6M Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-06-27 12:40, Phillip Lord wrote: > 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 clojur= e > side. A similar thing is happening with R, also, and maybe with JDEE. And with Coq, another proof assistant that still uses Emacs as its main I= DE. We're currently working on porting Proof General to use Coq's structu= red protocol. > 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 fa= r > use different protocols, so perhaps it is not. Do you really mean REPL interaction? If so, comint-mode does exactly this= , I think :) But if you meant structured protocols, then it's tricky; there's indeed a= large variety of protocols. The main pain point when developing those (b= ased on limited experience developing Emacs modes for Dafny, F* and Coq =E2= =80=94 which all use different protocols) is asynchronicity; you end up r= egistering timers to delay certain actions or implement queues, and it's = pretty tricky to keep the code organized properly.=20 --i25VioRSv86dhP76EWBm8d5hoifRbXh6M-- --KM2CCXpABTKcs9i8uRAlEEtS8kj7g8mW2 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) iQIcBAEBAgAGBQJXcWrrAAoJEPqg+cTm90wjUC4QALuQDwXNe+P2zgs5/tvhHx8D wbis1s2F/dn2S7/acDd8qqkM1m7DzQReyXwDNmbLFs+fmzNjze/X7RrZ1Vqw87oZ i9BetMnctHHh1fIB85xQNEkwHB54q0t+mV85Xis4bH3ZrQOCZ5VMlVLvWCkHn203 BbYd+S/KzOFuHMYtkZshOrA/xmY4pBF8coOd5ybi3RUwVT+llKtBViXvXtXqdyaZ sr0eh4aBcqCWpVF37ZGwe3bq0uXjRKWyBzNzHnKsNXoWT7g7I0E8Auiy2VatqGlT 7QEcg4rDwm5XZajhR/qvMMtG3tt+DhTvYnKAXLXAFsAPFVtR9G2CBToYKpVx1myN c6Ew9DpigOQeF6z0N7L1rgrlaEF07YClSKLivTCenZZ6CIWRvOJwlhtU6Hn4x9lP SHsGbTupW2XIf3mNSxwjWM5cWvX4ipY9LnawAXSgZLxYcRBr3NU4dMpgbh4jTlmV 5TiOdTLjvHMnkYDmTwAdtCKV05Blw4NMu8QhUrx+A5tG9EywqyUN8srdkLSC/XZV fA0M+kQ3XuuOq2x7j0Ws1e2rIT3TRARED1PFf1jdPbzsSVSWHLire04LQ4TZfDl8 Vlpe1ITtzltmQWQzY9sktKgBYDGtydThfD8vYOjyR1NbdFQosy4BF0i8qlbuksGM 1528ioudqGGl1Y4NAcfc =6gKp -----END PGP SIGNATURE----- --KM2CCXpABTKcs9i8uRAlEEtS8kj7g8mW2--