Beefy Boxes and Bandwidth Generously Provided by pair Networks
The stupid question is the question not asked
 
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 surveying the Monastery: (13)
As of 2014-10-24 15:46 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    For retirement, I am banking on:










    Results (132 votes), past polls