The presentation starts with some basic theory on types. Later, different classifications for type systems are described, with the static/dynamic and strong/weak dimensions the ones we spend more time ...

The presentation starts with some basic theory on types. Later, different classifications for type systems are described, with the static/dynamic and strong/weak dimensions the ones we spend more time on.

The third topic addressed is how the mix of polimorsfism with covariance and descendant hiding affects the type system, and what new problems arise and have to be addressed by the type system.

We finished the presentation with a discussion about pros and cons of the PHP type system.

### Statistics

### Views

- Total Views
- 1,566
- Views on SlideShare
- 964
- Embed Views

### Actions

- Likes
- 1
- Downloads
- 6
- Comments
- 0

### Accessibility

### Categories

### Upload Details

Uploaded via SlideShare as Adobe PDF

### Usage Rights

© All Rights Reserved

Full NameComment goes here.miquel camps orteza, desarrollador web frontend at nvivo.es Tagsdev3 years ago