Beefy Boxes and Bandwidth Generously Provided by pair Networks
Don't ask to ask, just ask
 
PerlMonks  

Re^2: The most useful form of typing is...

by Errto (Vicar)
on Dec 19, 2004 at 23:00 UTC ( #416072=note: print w/ replies, xml ) Need Help??


in reply to Re: The most useful form of typing is...
in thread The most useful form of typing is...

I like your definitions, so I'll try to put together a short list of some of the languages I know and where they fit in the scale.

  • Strong and static: Haskell, ML, PL/SQL, Java (but only if they implemented generics properly so you wouldn't need typecasting)
  • Strong and dynamic: Perl, Lisp, Scheme
  • Weak and static: C, C++, Pascal, Java (as is)
  • Weak and dynamic: Javascript, VB, bash

The reason (as I understand it) that it is possible to have weakly-typed but also statically-typed languages is because of typecasts: you are essentially instructing the compiler to ignore the type declarations you've already given it. Also note that the first two languages I listed under Strong and Static allow total type polymorphism so that the same functions and data structures can apply to arbitrarily many types, but compile-time resolution still has to be possible.


Comment on Re^2: The most useful form of typing is...

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://416072]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others rifling through the Monastery: (10)
As of 2015-07-28 21:13 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    The top three priorities of my open tasks are (in descending order of likelihood to be worked on) ...









    Results (259 votes), past polls