This media is not supported in your browser
VIEW IN TELEGRAM
duangsuse::Echo
#Haskell #CS #PL #PLT #recommended #book https://github.com/jcouyang/grokking-monad 😶 recommended book(
printing these...
I'm sorry for my F**king Englinsh 😢
I'm sorry for my F**king Englinsh 😢
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from duangsuse Throws
作者：兴趣使然千里冰封
链接：https://www.zhihu.com/question/266634683/answer/581358637
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
一个学科，没有自己的信仰，是可悲的；有自己的信仰，不去传教，是可耻的。 我看过我们现在的一些编程语言，true false不是关键字，是一个代数数据类型的两个数据构造器，是用户定义的。还有什么同伦类型论居然还宣扬相等性证明并不是唯一的，这不是很明显和依赖模式匹配的基本法则都不匹配了，还提出什么hProp所有元素都是相等的，hSet所有相等性证明都是唯一的，还能在语言上定义出isProp、isSet这种函数，这不是自相矛盾、凭空制造麻烦吗？还有的改编啊，函数居然可以处理多种类型的输入，参数可以有默认值，不同的函数只要参数不一样就能用相同的名字，还拿编译器查找重载的顺序来让函数处理不同的输入，甚至为了这种大逆不道的功能，连空指针都有了自己的类型。还有的编程语言，甚至不需要手动管理内存，我就问你内存还能自动管理吗？即使有了G1的HotSpot跑起来的程序也没有手动管理内存来的快，有的语言的GC还在并发情况下会出use after free，这不是很滑稽吗。还有一些漫画作品，C语言是一个姑娘，叫C语言娘，语言不分范式颠倒，有意思吗？甚至把女体化的C语言变成学校里的高中生，今天和Java娘赛跑，遇到了未定义行为，跑到赛道外面去；明天和Lisp娘决斗，还进入C++14模式，还装载boost，这是非常要不得的，不是我们BCPL子孙后代要做的事情。
— origin
链接：https://www.zhihu.com/question/266634683/answer/581358637
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
一个学科，没有自己的信仰，是可悲的；有自己的信仰，不去传教，是可耻的。 我看过我们现在的一些编程语言，true false不是关键字，是一个代数数据类型的两个数据构造器，是用户定义的。还有什么同伦类型论居然还宣扬相等性证明并不是唯一的，这不是很明显和依赖模式匹配的基本法则都不匹配了，还提出什么hProp所有元素都是相等的，hSet所有相等性证明都是唯一的，还能在语言上定义出isProp、isSet这种函数，这不是自相矛盾、凭空制造麻烦吗？还有的改编啊，函数居然可以处理多种类型的输入，参数可以有默认值，不同的函数只要参数不一样就能用相同的名字，还拿编译器查找重载的顺序来让函数处理不同的输入，甚至为了这种大逆不道的功能，连空指针都有了自己的类型。还有的编程语言，甚至不需要手动管理内存，我就问你内存还能自动管理吗？即使有了G1的HotSpot跑起来的程序也没有手动管理内存来的快，有的语言的GC还在并发情况下会出use after free，这不是很滑稽吗。还有一些漫画作品，C语言是一个姑娘，叫C语言娘，语言不分范式颠倒，有意思吗？甚至把女体化的C语言变成学校里的高中生，今天和Java娘赛跑，遇到了未定义行为，跑到赛道外面去；明天和Lisp娘决斗，还进入C++14模式，还装载boost，这是非常要不得的，不是我们BCPL子孙后代要做的事情。
— origin
Zhihu
六小龄童的人设崩了吗？ - 知乎
有问题，上知乎。知乎是中文互联网知名知识分享平台，以「知识连接一切」为愿景，致力于构建一个人人都可以便捷接入的知识分享网络，让人们便捷地与世界分享知识、经验和见解，发现更大的世界。
Forwarded from duangsuse Throws
恢复了，今天下午的主要任务是解决掉所有比较大块的东西
（剩下的就是最后对 KtLime 一个比较即时的简单重命名
还有最后一些接口的 Spec
完了以后会有一个整体的检查
今天最后要做的是把 Controller 们的 boilerplate 填充好，体力活。
然后就是给 boilerplate 们
后面几天的任务是补充 Model 层和 Controller 层真正的业务逻辑
最后的任务是做一个给 Post/Put/Delete 操作的对应 Get 路径的 View 前端用于 API 的维护者去调试
完成后的任务可能就是 GeekPush，这个其实比较类似于邮件发送服务，依然是消息队列。
（剩下的就是最后对 KtLime 一个比较即时的简单重命名
还有最后一些接口的 Spec
完了以后会有一个整体的检查
今天最后要做的是把 Controller 们的 boilerplate 填充好，体力活。
然后就是给 boilerplate 们
后面几天的任务是补充 Model 层和 Controller 层真正的业务逻辑
最后的任务是做一个给 Post/Put/Delete 操作的对应 Get 路径的 View 前端用于 API 的维护者去调试
完成后的任务可能就是 GeekPush，这个其实比较类似于邮件发送服务，依然是消息队列。
Forwarded from duangsuse Throws
在这些比较 trivial 的任务之前给大家认识一下和极安娘配套的 mascot，也是 GeekApk 的 Logo
（当然，这里的 GeekApk 就不再是那个凉掉的组的 GeekApk 了，现在是我个人的... 我也很无奈啊，又不是没有人会做，只不过是有些其实可以一起的人懒得搞这事情而已
（另一方面虽然 GeekApk 的模型的确是稍微大了那么一点点，比起那些 QuickHack 级别的模型，比如 Hexo 的博客、评论系统、弹幕或者一些简单一点的图来说
但是对大家觉对不可能有那么困难什么的，其实主要还是体力活看效率
— 我管它叫 Cup，就是画上的意思咯，大家有什么好想法吗？
：（
（当然，这里的 GeekApk 就不再是那个凉掉的组的 GeekApk 了，现在是我个人的... 我也很无奈啊，又不是没有人会做，只不过是有些其实可以一起的人懒得搞这事情而已
（另一方面虽然 GeekApk 的模型的确是稍微大了那么一点点，比起那些 QuickHack 级别的模型，比如 Hexo 的博客、评论系统、弹幕或者一些简单一点的图来说
但是对大家觉对不可能有那么困难什么的，其实主要还是体力活看效率
— 我管它叫 Cup，就是画上的意思咯，大家有什么好想法吗？
：（