RE: [Axiom-developer] Boot

[Page, Bill]

Gaby,

If you plan to go ahead with the proposed documentation of
"new boot" (aka. SHOE) I would be delighted to help. Perhaps
you have said before, but could you please explain how to
call SHOE from the command line?

What I would like to do is to provide a environment in the
Axiom Wiki, e.g.

  \begin{shoe}
  ....
  \end{shoe}

where we can compile examples of SHOE code. There is already
such an environment for boot

  \begin{boot}
  ....
  \end{boot}

See

http://wiki.axiom-developer.org/BootProgramming

I am very interested in your comment about the relationship
between SHOE and Haskell.

Regards,
Bill Page.


On November 18, 2006 4:03 AM Gabriel Dos Reis wrote:

> Tim Daly writes:
> 
> [...]
> 
> | first, bill burge loved puns and i remember him explaining to
> | me that the latest version of boot was much better and more 
> | comfortable,
> 
> Indeed, the "new boot" is much more comfortable than "old boot",
> in many respects.  It has a preliminary support for (dynamic)
> type-checking, algebra datatype and pattern matching. 
> 
> I don't think there is much code in Axiom that takes advantage of
> the features of "new boot".
> 
> I believe I understand enough of it to start documenting it
> properly. Very interestingly, it has much ressemblance with core
> Haskell.
> 
> However, the "new boot" still needs some tuning, but I prefer it
> over the "old boot".
>