User loginNavigation |
Eliminating Array Bound Checking through Non-dependent types
Oleg posted this pertinent message on the Haskell mailing list. It's always nice to see cool examples such as this.
Having saiod that, I must also say that I agree with Conor McBride who wrote that anyone who would argue (and I'm not saying you do) that work to try to make more advanced type systems and stronger static guarantees more convenient and well-supported is not necessary because it happens to be possible to bang out this or that example in Haskell as it stands if you think about it hard enough, is adopting the position of the ostrich. Making type systems more expressive is a worthy goal. You want them to remain decidable (i.e., static), of course. Can we at least agree on that? ;-) |
Browse archivesActive forum topics |
Recent comments
3 hours 46 min ago
5 hours 33 min ago
6 hours 40 min ago
8 hours 47 min ago
12 hours 59 min ago
1 day 1 hour ago
1 day 1 hour ago
1 day 2 hours ago
1 day 9 hours ago
1 day 9 hours ago