结论：离职时是否需要交出在公司编写的程序源代码，需根据具体情况判断，主要取决于劳动合同、公司规章制度、知识产权归属约定以及实际工作性质等因素。以下分情况详细说明：
劳动合同或公司规章制度有明确约定
如果劳动合同、保密协议或公司规章制度中明确规定，员工在离职时需交出工作期间编写的源代码（包括电子版和纸质版），则员工应当履行该义务。这是基于合同约定产生的法律责任，若拒绝交出可能构成违约，公司有权通过法律途径追究责任。
法律依据：根据《劳动合同法》第二十三条，用人单位与劳动者可以在劳动合同中约定保守用人单位的商业秘密和与知识产权相关的保密事项。若源代码属于公司商业秘密或知识产权范畴，员工需按约定履行保密义务。
源代码属于职务作品，知识产权归公司所有
根据《著作权法》第十八条，自然人为完成法人或者非法人组织工作任务所创作的作品是职务作品。若源代码属于职务作品，且主要利用公司物质技术条件创作、由公司承担责任，或双方约定著作权归公司所有，则员工离职时需交出源代码。
例外情形：若源代码属于“特殊职务作品”（如工程设计图、产品设计图等），著作权由公司享有，但作者享有署名权，员工仍需交出源代码。
源代码属于员工个人作品，知识产权归员工所有
若源代码是员工利用业余时间、使用个人设备独立完成，且未使用公司资源或信息，也未与公司约定归属，则源代码可能属于员工个人作品，知识产权归员工所有。此时，员工无需交出源代码，但需注意避免泄露公司商业秘密（如代码中涉及公司未公开的技术或数据）。
风险提示：若员工在职期间利用公司资源（如设备、时间、信息）完成源代码，即使未明确约定归属，公司也可能主张源代码属于职务作品，要求员工交出。
无明确约定，但源代码涉及公司商业秘密
即使劳动合同或规章制度未明确约定，若源代码包含公司商业秘密（如技术方案、客户数据、运营模式等），员工在离职时仍需履行保密义务，不得擅自复制、泄露或使用。公司可要求员工交出源代码作为保密措施的一部分，否则可能通过法律途径主张侵权责任。
法律依据：根据《反不正当竞争法》第九条，商业秘密是指不为公众所知悉、具有商业价值并经权利人采取相应保密措施的技术信息、经营信息等。员工违反保密义务的，需承担民事赔偿责任，甚至刑事责任。
建议：
如有进一步疑问，可直接向我咨询，我会结合具体案情为你详细分析。