From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: David Engster Newsgroups: gmane.emacs.devel Subject: Re: Is intellisense features integration in Emacs technically possible? Date: Wed, 22 Jan 2014 20:10:49 +0100 Message-ID: <87a9enq1c6.fsf@engster.org> 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 1390417873 26957 80.91.229.3 (22 Jan 2014 19:11:13 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 22 Jan 2014 19:11:13 +0000 (UTC) Cc: =?iso-8859-1?Q?=D3scar?= Fuentes , Eli Zaretskii , emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Jan 22 20:11:17 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 1W63Cj-0004kn-Qr for ged-emacs-devel@m.gmane.org; Wed, 22 Jan 2014 20:11:13 +0100 Original-Received: from localhost ([::1]:37110 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W63Cj-0007mr-BO for ged-emacs-devel@m.gmane.org; Wed, 22 Jan 2014 14:11:13 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:40014) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W63CZ-0007fp-W1 for emacs-devel@gnu.org; Wed, 22 Jan 2014 14:11:09 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W63CT-0002wK-RT for emacs-devel@gnu.org; Wed, 22 Jan 2014 14:11:03 -0500 Original-Received: from randomsample.de ([5.45.97.173]:44822) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W63CT-0002wC-GR; Wed, 22 Jan 2014 14:10:57 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=randomsample.de; s=a; h=Content-Type:MIME-Version:Message-ID:Date:References:In-Reply-To:Subject:Cc:To:From; bh=k9JtBMtT6BFlRmHMueKPEahGxZgvEcvKj0rlOV6Jb2o=; b=JHMz9JCN9ZVCdpxCAxlZqsyFL3uUN53IxPa1V9WGN/FCIz55NbyTD6AW68ZbFHlVukXwoUuCrdz2urU2SGsrFGQbiNjYYVsBwEzVDTAqjc6hoJ/g2t+OKcPg4NaGFoUw; Original-Received: from dslc-082-083-061-166.pools.arcor-ip.net ([82.83.61.166] helo=spaten) by randomsample.de with esmtpsa (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from ) id 1W63CR-0004hq-Eh; Wed, 22 Jan 2014 20:10:55 +0100 In-Reply-To: (Stefan Monnier's message of "Wed, 22 Jan 2014 13:46:02 -0500") User-Agent: Gnus/5.130008 (Ma Gnus v0.8) Emacs/24.3 (gnu/linux) Mail-Followup-To: Stefan Monnier , Eli Zaretskii , =?iso-8859-1?Q?=D3scar?= Fuentes , emacs-devel@gnu.org X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 5.45.97.173 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:168915 Archived-At: Stefan Monnier writes: >>> > 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). Yes. Another example are highly dynamic languages like Javascript. > 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. In CEDET, the idea is to convert the output of external tools to the tag structures Semantic uses. This is usually not difficult to do, and there are many packages like this already, like for cscope, ectags, clang, and even Firefox through MozRepl (for completing Javascript). -David