wy2010344
小议的编程魔法
获得徽章 0
- 经常用编程语言自然对自己实现一个感兴趣，和别人比起来总觉得自己不擅长这一行，以前好不容易实现了简单的Lisp，但觉得没有类型检查总出现运行时错误，没有意义，有宏还可以乱写，于是带有类型检查成为首要要求。
一直认为类型检查是个高大上功能，导致自己对其原理总是云里雾里。有一套科学的方案吗？现在看来大多是野路子。然后又被学院派的最终结论“依赖类型”牵着鼻子走，现在仍在努力了解，但感觉它并无法满足我的需求。
所谓类型检查，目的是在编译前将所有问题排查出来，主要是各种if分支与回调分支。因此检查也并无什么魔法，需要在标注的类型下各个分支都跑一遍，将不合规找出来。类型不应该改变人们编写代码的思路，增加运行时负担，只是一个辅助角色。也就是ts这一套集合类型。感谢有了ts给我的代码人生带来质的飞跃，但我希望更精练，不限于js，可以轻松按需定制脚本。展开赞过 评论1 - 感叹自己悟性好低，脑子始终转不过弯来。常常有种破罐破摔，希望意外解救获得自由。就像娜拉一气之下出走，她所需要面临的生存问题，大概是从前未预料到的，早知如此，当初的侮辱，又算得了什么？努力活着，寻找低价最小的方式。笼子里的鸟儿不接地气。但事已至此，没有后悔药吃，后悔只是无意义的内耗。
争论对错，永远是错，因为资源掌握者拥有裁决权，有他的价值考量。所以想做什么，都得牢牢包装在大义名份里，对主人有利，避免与主人产生冲突。唯有心净，才是最好的掩饰。时时刻刻以对方为念，而又不被对方牵着鼻子走，总有一套胜过对方的理由，却又是皆大欢喜，有助于事。避免变成对对方的批评，又变成对自己的炫耀。
知了一切资源的来源，得之我幸，失之我命，一切在预料中，不强求。展开赞过 评论3 - 工作让人不爽的点在于，你在脚不沾地在替他忙死忙活，他却在绞尽脑汁地思考如何坑你。老板也是凡人。他选择与什么人成为朋友，狐朋狗友最是惬意，也就乐于有福同享，而无趣的人属于容忍着，因你恃才而不能舍，却又像你拿才能“威胁”着他，如何不坑你？老板创业，并不是来布施福利，他也有不得已而为之，老板不是上帝，更接近刘邦这样的草莽。无趣的人真是人见人厌，无立足之地。
所有道理都是很直觉的，为什么自己一度相信了那些反直觉的道理？因为所谓对你好的人，也有自己的利益诉求，并不希望你有任何意外的干扰，妨碍了他获得利益。它们能容忍你的无趣，也不过是因为无法拒绝而已，只能变废为宝，物尽其用。展开赞过 12