Google's new programming language - DART

Dart is a class-based, single-inheritance, pure object-oriented programming lan-guage. Dart is optionally typed (13) and supports rei ed generics and interfaces.Dart programs may be statically checked. The static checker will report some violations of the type rules, but such violations do not abort compilation or preclude execution.Dart programs may be executed in one of two modes: production mode
or checked mode. In production mode, static type annotations (have absolutely no e ect on execution. In checked mode, assignments are dynamically checked, and certain violations of the type system raise exceptions at run time. The coexistence between optional typing and rei cation is based on the following:

1. Reifi ed type information reflects the types of objects at runtime and may always be queried by dynamic typechecking constructs (the analogs of in-stance Of, casts, type case etc. in other languages). Rei ed type information includes class and interface declarations, the class of an object, and type arguments to constructors.

2. Static type annotations determine the types of variables and function declarations (including methods and constructors).

3. Production mode respects optional typing. Static type annotations do not affect runtime behavior.

4. Checked mode utilizes static type annotations and dynamic type information aggressively yet selectively to provide early error detection during development. 

Dart programs are organized in a modular fashion into units called libraries . Libraries are units of encapsulation and may be mutually recursive. However they are not first class. To get multiple copies of a library running simultaneously, one needs to spawn an isolate

--
If you like this post please post your comment
Please post your comments so that we can imporve the blog.

No comments:

Post a Comment