User loginNavigation |
Non-null references?Hi, Is it possible/plausible to have a Java/C++ like language in which you can write code like: void aFunction(nonnull Object o) .... Something s = new Something(); and then have the type system prove that o can never be null? This feels simple but I wonder if it ends up becoming dependent types, arbitrary theorem proving or some other suitably scary thing. Being able to add simple, small increases in type safety to a program written in a non-functional language would be quite nice to have! I also wonder if this sort of thing could be implemented using C++ smart pointers. By Mike Hearn at 2006-05-13 21:23 | LtU Forum | previous forum topic | next forum topic | other blogs | 17736 reads
|
Browse archives
Active forum topics |
Recent comments
25 weeks 4 days ago
25 weeks 4 days ago
25 weeks 4 days ago
47 weeks 5 days ago
52 weeks 14 hours ago
1 year 1 week ago
1 year 1 week ago
1 year 4 weeks ago
1 year 8 weeks ago
1 year 8 weeks ago