What are OOP's Jargons and Complexities?
in [Perl]
|
Prev: swift MT940 files
Next: Is there neq for strings?
From: alex goldman on 24 May 2005 03:23 Tassilo v. Parseval wrote: > Also sprach John W. Kennedy: > >> alex goldman wrote: >>> John W. Kennedy wrote: >>> >>> >>>>Strong typing has been a feature of mainstream programming languages >>>>since the late 1950's. >>> >>> I'm just curious, what do you mean by /strong/ typing, and which >>> strongly typed languages do you know? >> >> Unfortunately, I have seen the meaning shift with the context. In Ada >> '83, it means it is not possible to have the equivalent of a C >> unprototyped function, and that mixed-type expressions tend to need >> explicit casting. In other contexts (as here), I've seen it used to mean >> simply that variables have definite types, and it is not possible >> (except by the use of polymorphic classes) for a variable to change from >> an integer to a float to a character string in the course of execution. >> In this sense, compile-to-machine-code languages (ee.g., Fortran, COBOL, >> C, C++, or Pascal), are generally strongly typed > > These are statically typed. The extent to which they are also strongly > typed differs: C++ is probably a little more strongly typed than C, but > by and large their typing is still fairly weak. > > Most often, languages with strong typing can be found on the functional > front (such as ML and Haskell). These languages have a dynamic typing > system. No, ML & Haskell are strongly and statically typed. Read this paper if interested: http://research.microsoft.com/Users/luca/Papers/TypeSystems.pdf
From: Tassilo v. Parseval on 24 May 2005 05:10 Also sprach alex goldman: > Tassilo v. Parseval wrote: >> Most often, languages with strong typing can be found on the functional >> front (such as ML and Haskell). These languages have a dynamic typing >> system. > > No, ML & Haskell are strongly and statically typed. Read this paper if > interested: You're right, their type system is in fact static. To me they never had a very static feel though which is why I get their classification wrong most of the time. LISP would have been an example for strongly and dynamically typed. Tassilo -- use bigint; $n=71423350343770280161397026330337371139054411854220053437565440; $m=-8,;;$_=$n&(0xff)<<$m,,$_>>=$m,,print+chr,,while(($m+=8)<=200);
From: Joe Smith on 24 May 2005 06:26 Xah Lee wrote: > The Rise of Classes, Methods, Objects 1) Most of the information you posted was incomplete and much of it is just plain wrong. 2) What you posted was not perl related. Are you deliberately trying to make yourself a laughingstock?
From: Andreas Rottmann on 24 May 2005 07:39 Wibble <Wibble(a)Mailinator.com> writes: > Java or even C is more strongly typed than lisp or tcl which > dont really have a concept of a typed variable. > Lisp only does runtime type checking unless you do wierd > unnatural things. > You get terminology totally wrong here. As already said, Lisp is stronger typed than C, but C is statically typed, whereas Lisp is dynamically typed. In Lisp (or Scheme), all variables have types: (define foo #(1 2 3)) (vector? foo) => #t (boolean? foo) => #t See http://cliki.tunes.org/Type%20System. Rotty -- Andreas Rottmann | Rotty(a)ICQ | 118634484(a)ICQ | a.rottmann(a)gmx.at http://yi.org/rotty | GnuPG Key: http://yi.org/rotty/gpg.asc Fingerprint | DFB4 4EB4 78A4 5EEE 6219 F228 F92F CFC5 01FD 5B62 v2sw7MYChw5pr5OFma7u7Lw2m5g/l7Di6e6t5BSb7en6g3/5HZa2Xs6MSr1/2p7 hackerkey.com Python is executable pseudocode, Perl is executable line-noise.
From: John W. Kennedy on 24 May 2005 09:30
alex goldman wrote: > John W. Kennedy wrote: > > >>Strong >>typing has been a feature of mainstream programming languages since the >>late 1950's. > > > Is Fortran a strongly typed language? I don't think so. Strong typing has > been invented in the 70's, if I'm not mistaken, when ML was invented, but > strong typing has never been mainstream. I begin to believe that I have been reading naughty references, and that I should rather have said "statically typed". I am not familiar with modern Fortran. Surely it at least has argument prototyping by now? -- John W. Kennedy "You can, if you wish, class all science-fiction together; but it is about as perceptive as classing the works of Ballantyne, Conrad and W. W. Jacobs together as the 'sea-story' and then criticizing _that_." -- C. S. Lewis. "An Experiment in Criticism" |