Re: Embedding Html in Lisp

[A Soare <alinsoar@voila.fr>]

> > «The class of Markup languages is a subset of functional languages.
> > Every markup language is a very special case of functional language.»
> 
> In my book, in order for something to be called "functional language" it
> needs some way to define/construct new functions.
> 
> 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 have 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 the elisp evaluator.

2. Cut from the elisp evaluator all the types of objects , keeping STRING and 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, APPLY, etc etc. to be able to CONSTRUCT NEW functions

4. In this moment you have A MINIMAL LISP EVALUATOR (that forms a *programming 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 applying the isomorphism that I defined in my first message.

7. NOW YOU HAVE A FUNCTIONAL PROGRAMMING LANGUAGE THAT I CALL "HTML", because it accomplishes the html standard.


When you say "I REdescover, not DEScover", I have nothing to object, because 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 = 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 emacs in this moment. But if it is forbidden...





____________________________________________________

En quelques secondes, créez-vous une autre adresse mail ! http://mail.voila.fr