Собрали в одном месте самые важные ссылкичитайте нас в Twitter
Интересная статья о написании системы типов.