User loginNavigation |
A New Kind of Type SystemI've been working on this note to describe the type system I've been working on that collects many of the ideas I've been working on (see here, here and here, and here). Now that I actually have something fairly complete, feedback would be appreciated. I'm currently implementing this in my live programming work and it will hopefully be in my next prototype, though the ideas are relatively unrelated so far. Abstract:
Again, the note is hosted here on GitHub. By Sean McDirmid at 2013-06-16 02:15 | LtU Forum | previous forum topic | next forum topic | other blogs | 9578 reads
|
Browse archivesActive forum topicsNew forum topics
|
Recent comments
1 day 7 hours ago
1 day 21 hours ago
2 days 23 hours ago
5 days 18 hours ago
5 days 20 hours ago
6 days 7 hours ago
6 days 7 hours ago
6 days 19 hours ago
1 week 9 hours ago
3 weeks 2 days ago