CSC/ECE 517 Fall 2011/ch1 1d ss: Difference between revisions
| Line 7: | Line 7: | ||
One simple way to differentiate between the two is:<br>In statically typed languages,type checking is done at the compile time where as in dynamically typed languages, type checking is done at run-time. | One simple way to differentiate between the two is:<br>In statically typed languages,type checking is done at the compile time where as in dynamically typed languages, type checking is done at run-time. | ||
Examples of statically typed : C,C++,Java, | Examples of statically typed : C,C++,Java,JADE,Pascal etc<br> | ||
Examples of dynamically typed : PHP,Prolog,Python,Ruby,Small talk etc.[http://en.wikipedia.org/wiki/Type_system#Static_typing] | Examples of dynamically typed : PHP,Prolog,Python,Ruby,Small talk etc.[http://en.wikipedia.org/wiki/Type_system#Static_typing] | ||
Revision as of 03:20, 8 September 2011
Closures in statically typed languages. Most languages that implement closures are dynamically typed. It is a challenge to implement closures in a statically typed language. Explain why, and cover attempts to mix the two. Consider also closures and static scoping, as in Scheme.
Introduction
We start off with a brief difference between statically and dynamically typed languages.We try to explain what a closure is, its advantages, how it can be implemented in various typed languages, why is it easier or difficult in some languages.Finally we conclude with static scoping.
statically vs dynamically typed
One simple way to differentiate between the two is:
In statically typed languages,type checking is done at the compile time where as in dynamically typed languages, type checking is done at run-time.
Examples of statically typed : C,C++,Java,JADE,Pascal etc
Examples of dynamically typed : PHP,Prolog,Python,Ruby,Small talk etc.[1]