类型和技术之前，首先要有哲理