Path: news.daimi.aau.dk!news.uni-c.dk!sunic!sunic.sunet.se!news.sprintlink.net!dish.news.pipex.net!pipex!swrinde!emory!darwin.sura.net!martha.utk.edu!caffeine!mbk From: mbk@caffeine.engr.utk.edu (Matthew Kennel) Newsgroups: comp.object,comp.lang.beta,comp.lang.c++,comp.lang.eiffel,comp.lang.python,comp.lang.sather,comp.lang.smalltalk Subject: Re: Rapid Prototyping + statically-typed OOPLs? Followup-To: comp.object,comp.lang.beta,comp.lang.c++,comp.lang.eiffel,comp.lang.python,comp.lang.sather,comp.lang.smalltalk Date: 13 Jul 1995 05:06:23 GMT Organization: I need to put my ORGANIZATION here. Lines: 15 Message-ID: <3u29kf$kr@martha.utk.edu> References: <805548287snz@galacta.demon.co.uk> NNTP-Posting-Host: caffeine.engr.utk.edu X-Newsreader: TIN [version 1.2 PL2] Xref: news.daimi.aau.dk comp.object:33434 comp.lang.beta:448 comp.lang.c++:128762 comp.lang.eiffel:9202 comp.lang.python:4990 comp.lang.sather:1916 comp.lang.smalltalk:24328 tmb@concerto.best.com wrote: : I have found SML to be excellent for R.P. It is strictly statically : typed and interactive and has powerful abstraction mechanisms (not : object based). One thing that makes it work so well for R.P. is the : use of type inference. So, strict static type checking doesn't have : to be an obstacle to R.P. Yes, Eiffel's "like expr" anchored type declarations (say "this type is the same as the type of that expression") lets you change declared types in one place back and forth without having to follow up with enormous numbers of trivial fix-ups. At one level they're "trivial" but still it was a thoughtful and intelligent feature. : Cheers, : Thomas.