Path: news.daimi.aau.dk!news.uni-c.dk!sunic!trane.uninett.no!eunet.no!nuug!EU.net!howland.reston.ans.net!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!swidir.switch.ch!scsing.switch.ch!news.dfn.de!kfk.de!rz.uni-karlsruhe.de!ma2s3!haible
From: haible@ma2s2.mathematik.uni-karlsruhe.de (Bruno Haible)
Newsgroups: comp.lang.beta,comp.lang.lisp
Subject: Re: Comparison: Beta - Lisp
Date: 9 Sep 1994 15:57:21 GMT
Organization: University of Karlsruhe, Germany
Lines: 19
Message-ID: <34q0l1$n1n@nz12.rz.uni-karlsruhe.de>
References: <34n2qe$d74@nz12.rz.uni-karlsruhe.de> <RV.94Sep8102514@tahoe.cs.brown.edu> <34nu5v$oou@louie.udel.edu>
NNTP-Posting-Host: ma2s3.mathematik.uni-karlsruhe.de
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Keywords: lisp, beta, type, subclass, subtype, container class
Originator: haible@ma2s3
Xref: news.daimi.aau.dk comp.lang.beta:21 comp.lang.lisp:13172

> <1> Static typing - in Beta, the types of variables are always declared
>     statically.

With the important extension that it is not only possible to declare
                   x will be of type A,
but also
           x will belong to some fixed subtype of type A.

This makes it possible to have generic container classes.

>     Programs in Beta is very static, which makes it very
>     different from the dynamic nature of lisp programming.

I don't agree here. This depends on your programming style. You can
perfectly embed Lambda Calculus into Beta.


                    Bruno Haible
                    haible@ma2s2.mathematik.uni-karlsruhe.de