جست‌وجوی «type safety» در دانشگاه‌ها