User loginNavigation |
archivesplt vs. something else for programming in the large?cf. this coverity thread, i'm wondering what your favourite thing / biggest hope is for PLT applied to programming-in-the-large. what are some quantitative things (random e.g. more better typing maybe e.g. dependent or effect)? what are some qualitative things (random e.g. formal methods)? perhaps in other words, what interview questions would you use to suss if somebody knew good p-i-t-l? i'd be curious to know what you think the limits of PLT are here; what about large systems is a non language issue (e.g. managing a large team of people)? |
Browse archivesActive forum topics |
Recent comments
16 weeks 2 days ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 4 days ago
42 weeks 5 days ago
44 weeks 3 days ago
44 weeks 3 days ago
47 weeks 23 hours ago
51 weeks 5 days ago
51 weeks 5 days ago