著者

2010/5/3

大まかな流れ

Abstract

1 Introduction

2 Associated types: indexing types by types

3 Optimised container representations

4 Typed sprintf and sscanf

5 Fun with phantom types

6 Related work and reflections

Acknowlegdments

References

Appendices

A The Rules

B Pitfalls

C Sprintf revisited

TypeFamilies拡張の紹介、tutorialな感じの論文

Abstract

特に何も言っていない

このpaperでTypeFamiliesのtutotrial的なものを紹介するよ

1 Introduction

静的型付けは形式仕様記述言語としては弱いものの、良い点もある

軽量である、簡易に検査ができる、適当に欺くことはできないなど

しかし、雑魚い型システムは、良いプログラムを拒否し、悪いプログラムを許容してしまうこともある

型システムの設計者はコレを防ぎたい

type familyはその一環

2 Associated types: indexing types by types

3 Optimised container representations

4 Typed sprintf and sscanf

5 Fun with phantom types

6 Related work and reflections

Acknowlegdments