Re: Embedding Html in Lisp

[A Soare]

> > «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