docs/notes/dependent_types.txt


1
2
3
4
5
6
7
8
9
10
11


dependent types
===============

problems:
 1. syntax of the type. T#[#len] is a bit long. T[len] is confusing
 2. choice types in structs
 3. maximum complexity of expressions.
    e.g. T[len+1] or T[x then 1 else 2] might be useful,
    but it can get quite complex
 4.