Re: Recommended books on Top Down Design

From: Tomasz Zielonka (tomasz.zielonka_at_gmail.com)
Date: 11/10/04 

Date: Wed, 10 Nov 2004 07:41:19 +0000 (UTC)

Phlip wrote:
> Curiously, the big software vendors keep pushing statically typed languages,
> Java & C#, while high-level code, such as GUI code or business-logic code,
> typically must bend over backwards to provide dynamic typing. Free and
> powerful languages, such as Ruby, supported entirely by their own programmer
> communities, are going to teach these big software vendors a thing or to.

Isn't it just that those mainstream statically typed languages have
weak, inflexible, crappy type systems (Java, C#) or too complex, weakly
supported and still inflexible type systems (C++)?

Have you considered a language with more powerful, but still
understandable and simple type system, like Haskell?

Maybe you could provide some concrete example for this need of dynamic
typing?

Best regards,
Tom 

-- 
.signature: Too many levels of symbolic links

Relevant Pages

  • Re: More static type fun.
    ... Raffael Cavallaro writes: ... even Pierce himself has written that dynamic typing is ... > "However even in statically typed languages there is often the need to ... Who needs dynamic typing to read a keyboard input or a file containing: ...
    (comp.lang.lisp)
  • Re: Why I dont believe in static typing
    ... > statically typed languages outside the ivory tower. ... And dynamic typing is championed by Perl. ...
    (comp.lang.lisp)
  • Re: dynamic vs. static: the age-old debate
    ... Because, under dynamic typing, the elements of the list don't ... _have_ to implement a common interface; as long as you only ever use ... you'd be saying statically typed languages ... heterogenous lists make sense under dynamic typing: ...
    (comp.lang.misc)
  • Re: Why I dont believe in static typing
    ... >> statically typed languages outside the ivory tower. ... > And dynamic typing is championed by Perl. ...
    (comp.lang.lisp)
  • Re: Obstacles for Tcl/Tk commercial application development ?
    ... if it were C. Statically typed languages are not required to be ... as Darren requires to take static type systems seriously. ... And for the `type cop', ...
    (comp.lang.tcl)