From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: Is intellisense features integration in Emacs technically possible? Date: Wed, 22 Jan 2014 13:46:02 -0500 Message-ID: References: <1390269670.2888.14.camel@localhost.localdomain> <83vbxcfzaa.fsf@gnu.org> <87eh40fx9j.fsf@wanadoo.es> <42135829.UacbDn8H0U@descartes> <87a9eofd23.fsf@wanadoo.es> <83iotcf1t4.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1390416385 8364 80.91.229.3 (22 Jan 2014 18:46:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 22 Jan 2014 18:46:25 +0000 (UTC) Cc: =?windows-1252?Q?=D3scar?= Fuentes , emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Jan 22 19:46:32 2014 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 1W62oo-0002YS-Dt for ged-emacs-devel@m.gmane.org; Wed, 22 Jan 2014 19:46:30 +0100 Original-Received: from localhost ([::1]:37041 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W62oo-0006Li-0J for ged-emacs-devel@m.gmane.org; Wed, 22 Jan 2014 13:46:30 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:34665) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W62od-0006K0-CD for emacs-devel@gnu.org; Wed, 22 Jan 2014 13:46:26 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W62oV-0003GY-PM for emacs-devel@gnu.org; Wed, 22 Jan 2014 13:46:19 -0500 Original-Received: from ironport2-out.teksavvy.com ([206.248.154.181]:57948) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W62oO-0003FQ-3H; Wed, 22 Jan 2014 13:46:04 -0500 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av4EABK/CFG4rxHA/2dsb2JhbABEvw4Xc4IeAQEEAVYjEAs0EhQYDSSIHgbBLZEKA4hhiT+SWoFegxU X-IPAS-Result: Av4EABK/CFG4rxHA/2dsb2JhbABEvw4Xc4IeAQEEAVYjEAs0EhQYDSSIHgbBLZEKA4hhiT+SWoFegxU X-IronPort-AV: E=Sophos;i="4.84,565,1355115600"; d="scan'208";a="45619585" Original-Received: from 184-175-17-192.dsl.teksavvy.com (HELO pastel.home) ([184.175.17.192]) by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA; 22 Jan 2014 13:46:03 -0500 Original-Received: by pastel.home (Postfix, from userid 20848) id EB9DC60323; Wed, 22 Jan 2014 13:46:02 -0500 (EST) In-Reply-To: <83iotcf1t4.fsf@gnu.org> (Eli Zaretskii's message of "Wed, 22 Jan 2014 17:56:07 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 206.248.154.181 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 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-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:168913 Archived-At: >> > Why would we have to write a C++ parser and semantic analyzer? >> If I understood Eli correctly he is advocating the independence of Emacs >> for that purposes. FWIW, for the languages I care about in my work (things like SML, Haskell, OCaml, Coq, Agda, Twelf), parsing the syntax is not sufficient to provide good support: we also want type information; and inferring the type is very much non-trivial (it's a significant part of the whole implementation in some cases). So it is important in the longer run to provide a good way to use external tools to get that info, since re-implementing it in Elisp is illusory. Stefan