2018-02-23 18:58:03 +00:00
|
|
|
---
|
|
|
|
|
created_at: '2013-01-19T01:12:09.000Z'
|
|
|
|
|
title: Why type systems are interesting (2004)
|
|
|
|
|
url: http://lambda-the-ultimate.org/node/100
|
|
|
|
|
author: gnosis
|
|
|
|
|
points: 52
|
|
|
|
|
story_text: ''
|
|
|
|
|
comment_text:
|
|
|
|
|
num_comments: 20
|
|
|
|
|
story_id:
|
|
|
|
|
story_title:
|
|
|
|
|
story_url:
|
|
|
|
|
parent_id:
|
|
|
|
|
created_at_i: 1358557929
|
|
|
|
|
_tags:
|
|
|
|
|
- story
|
|
|
|
|
- author_gnosis
|
|
|
|
|
- story_5082134
|
|
|
|
|
objectID: '5082134'
|
2018-06-08 12:05:27 +00:00
|
|
|
year: 2004
|
2018-02-23 18:58:03 +00:00
|
|
|
|
|
|
|
|
---
|
2018-02-23 18:19:40 +00:00
|
|
|
[Source](http://lambda-the-ultimate.org/node/100 "Permalink to Why type systems are interesting | Lambda the Ultimate")
|
|
|
|
|
|
|
|
|
|
# Why type systems are interesting | Lambda the Ultimate
|
|
|
|
|
|
|
|
|
|
|
