From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: A Soare Newsgroups: gmane.emacs.devel Subject: Re: Embedding Html in Lisp Date: Tue, 24 Jun 2008 05:09:49 +0200 (CEST) Message-ID: <973671.13495451214276989394.JavaMail.www@wwinf4623> Reply-To: alinsoar@voila.fr NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1214277008 6335 80.91.229.12 (24 Jun 2008 03:10:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 24 Jun 2008 03:10:08 +0000 (UTC) Cc: "Emacs Dev \[emacs-devel\]" To: Stefan Monnier , Thomas Lord Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Jun 24 05:10:51 2008 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1KAyvi-0007zW-LU for ged-emacs-devel@m.gmane.org; Tue, 24 Jun 2008 05:10:50 +0200 Original-Received: from localhost ([127.0.0.1]:47087 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KAyut-0006gC-24 for ged-emacs-devel@m.gmane.org; Mon, 23 Jun 2008 23:09:59 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1KAyun-0006eN-TV for emacs-devel@gnu.org; Mon, 23 Jun 2008 23:09:53 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1KAyul-0006bb-IZ for emacs-devel@gnu.org; Mon, 23 Jun 2008 23:09:52 -0400 Original-Received: from [199.232.76.173] (port=47571 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KAyul-0006bT-EM for emacs-devel@gnu.org; Mon, 23 Jun 2008 23:09:51 -0400 Original-Received: from smtp3.voila.fr ([193.252.22.173]:33329) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1KAyuk-000798-Ux for emacs-devel@gnu.org; Mon, 23 Jun 2008 23:09:51 -0400 Original-Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf4207.voila.fr (SMTP Server) with ESMTP id 73F797000084; Tue, 24 Jun 2008 05:09:49 +0200 (CEST) Original-Received: from wwinf4623 (wwinf4623 [10.232.13.47]) by mwinf4207.voila.fr (SMTP Server) with ESMTP id 619D47000082; Tue, 24 Jun 2008 05:09:49 +0200 (CEST) X-ME-UUID: 20080624030949399.619D47000082@mwinf4207.voila.fr X-Originating-IP: [93.112.69.191] X-Wum-Nature: EMAIL-NATURE X-WUM-FROM: |~| X-WUM-TO: |~||~| X-WUM-CC: |~| X-WUM-REPLYTO: |~| X-me-spamlevel: not-spam X-me-spamrating: 40.000000 X-me-spamcause: OK, (-50)(0000)secvtfgvtghiphhivghnthhsucdlqddutddtmdenveetnffnucdlfedtmdenpffqhgculddvtddm X-detected-kernel: by monty-python.gnu.org: Linux 2.4-2.6 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:99822 Archived-At: > > =C2=ABThe class of Markup languages is a subset of functional languages= . > > Every markup language is a very special case of functional language.=C2= =BB >=20 > In my book, in order for something to be called "functional language" it > needs some way to define/construct new functions. >=20 > But this is unrelated to Emacs, so please take this > discussion elsewhere. > It might be less off-topic on comp.lang.lisp, tho only slightly less so. For you (in order to understand) I will rewrite in more details, what I hav= e already said the my previous messages. To make HTML a FUNCTIONAL LANGUAGE YOU MAKE SO: 1. Take *any* lisp (including scheme) evaluator. Supposing that you take th= e elisp evaluator. 2. Cut from the elisp evaluator all the types of objects , keeping STRING a= nd LIST. 3. Cut *all* unsulseful functions (including all functions that use symbols= like integers, because they cannot be evaluated any more); I will say you = a few functions that are kept: DEFUN, DEFVAR, DEFCONST,FUNCALL_LAMBDA, APPL= Y, etc etc. to be able to CONSTRUCT NEW functions 4. In this moment you have A MINIMAL LISP EVALUATOR (that forms a *programm= ing language* - functional programming language more precisely) 5. Start and define HTML TAGS as I did in cnrtl. You will be able to define= ALL the tags with an evalutor that supports STRINGS ANS LISTS. 6. Now consider HTML code in LISP syntax (obtained from normal HTML by appl= ying the isomorphism that I defined in my first message. 7. NOW YOU HAVE A FUNCTIONAL PROGRAMMING LANGUAGE THAT I CALL "HTML", becau= se it accomplishes the html standard. When you say "I REdescover, not DEScover", I have nothing to object, becaus= e I am not a professor to know all the culture in the domain. I am a little= lisper. But you did NOT AT ALL understand what I REdiscovered here, that is evident= . All my excuses for my "ridiculousness". I thought and I still think that I = discovered a formula for the best emacs web browser that you do not know. If you (you =3D Stefan Monnier + Thomas Lord) still have embarrassments, I = will stay at your disposition to make you understand what I said. However, = I do not want to continue this discussion. Definition from "functional programming" in ecyclopedia: The lambda calculus provides the model for functional programming. Yes, I constructed a simplified lambda-calculus. I repeat. Alin Soare. PS: I agree that much of this discussion was a little off-topic, excuse me.= I wanted just to convey a new idea of a browser that you do not have in em= acs in this moment. But if it is forbidden... ____________________________________________________ En quelques secondes, cr=C3=A9ez-vous une autre adresse mail ! http://mail.= voila.fr