<commit_before>---
layout: post
title:  "On Types and Type Systems (part I)"
date:   2015-11-01 00:00:00
excerpt: "Types,  Type Systems and Invariance with Scala"
tags: [type system, scala, functional, variance]
categories: [programming, types]
comments: true
---

> Introduction

This is the first article in a series that will examine, as the title suggests,
concepts and ideas that are related to types and type systems.
<commit_msg>improved the title of the first article<commit_after>---
layout: post
title:  "On Types and Type Systems with Scala: Variance (part I) > Types & Invariance"
date:   2015-11-01 00:00:00
excerpt: "Types,  type systems and invariance with Scala"
tags: [type system, scala, functional, variance]
categories: [programming, types]
comments: true
---

> Introduction

This is the first article in a series that will examine, as the title suggests,
concepts and ideas that are related to types and type systems.

{'fraction_non_alphanumeric': 0.08617021276595745, 'fraction_numerical': 0.029787234042553193, 'mean_word_length': 4.601190476190476, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 6, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7048173', 'n_tokens_mistral': 296, 'n_tokens_neox': 266, 'n_words': 131}