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，就是画上的意思咯，大家有什么好想法吗？
：（
duangsuse::Echo
今天无聊透顶而且毫无什么能够提升自己地方的事情总算做完了，我觉得除了训练自己适应长期一点工程的效果之外没有啥卵用。Spring 那些框架的概念估计这个项目此版本写完后更新到 v2 也就腻了，真是相当码农啊,,, 如果不是有需求肯定懒得做。弄完必须吃顿好的。
面向开发者：今天已经开始写控制器业务逻辑了，暂时在从 v1完成之前都是码农级别的工作。吐嘈：不过我也懒得给那个 API Index 的东西写个语法定义然后自动生成，因为我很懒...
面向爱操心者：GeekApk 的第一个 SpringBoot MVC 架构的后端中框架（比较基础部分的代码）已经建立好了，剩下的是添加 JPA （Model）层和 Controller 层逻辑，反正就是：后面几天都是无聊至极的业务代码，之前的东西确定能用，总之就是说到完成前还需要写的代码很无聊
面向普通用户：GeekApk 这次坐实要复活了 <- 真是简洁
面向爱操心者：GeekApk 的第一个 SpringBoot MVC 架构的后端中框架（比较基础部分的代码）已经建立好了，剩下的是添加 JPA （Model）层和 Controller 层逻辑，反正就是：后面几天都是无聊至极的业务代码，之前的东西确定能用，总之就是说到完成前还需要写的代码很无聊
面向普通用户：GeekApk 这次坐实要复活了 <- 真是简洁
duangsuse Throws
恢复了，今天下午的主要任务是解决掉所有比较大块的东西 （剩下的就是最后对 KtLime 一个比较即时的简单重命名 还有最后一些接口的 Spec 完了以后会有一个整体的检查 今天最后要做的是把 Controller 们的 boilerplate 填充好，体力活。 然后就是给 boilerplate 们 后面几天的任务是补充 Model 层和 Controller 层真正的业务逻辑 最后的任务是做一个给 Post/Put/Delete 操作的对应 Get 路径的 View 前端用于 API 的维护者去调试…
讲个笑话，这就像 Lua 5.1 解释器的增量垃圾收集，肯定要先完成一下原子性不能打断的任务（Lua 采用四色标记法，原子性任务主要就是说标记 UpValue... gray 链表... 标记弱表... 标记 grayagain 链表... 清理弱表... 翻转白色记号等...）... 然后才增量式收集管理引用图... 我忘记 Lua 5.1 是啥年代发布的了...
Java 1.1 还记得，因为和 Haskell 97 是一个时间（1997
Java 1.1 还记得，因为和 Haskell 97 是一个时间（1997
duangsuse::Echo
面向开发者：今天已经开始写控制器业务逻辑了，暂时在从 v1完成之前都是码农级别的工作。吐嘈：不过我也懒得给那个 API Index 的东西写个语法定义然后自动生成，因为我很懒... 面向爱操心者：GeekApk 的第一个 SpringBoot MVC 架构的后端中框架（比较基础部分的代码）已经建立好了，剩下的是添加 JPA （Model）层和 Controller 层逻辑，反正就是：后面几天都是无聊至极的业务代码，之前的东西确定能用，总之就是说到完成前还需要写的代码很无聊 面向普通用户：GeekApk 这次坐实要复活了…
甚至包括 v1 的时候『革命性』的 GeekPush（唯一一个不那么让人厌烦的东西，然而其实它很小）
因为 JavaEE 上首先我手里有书上写的有怎么做消息队列... J2EE 平台是有提供 JMS 组件的，貌似
其次，即使没有网上也很容易抄到，而且之中 WebHook 也不是特别复杂（HTTP 客户端），而至于并发安全的问题自然暂时不用考虑（这里大概也不需要考虑
顺便，开始 GeekApk 那个 (Rust)MailService 用的是 Redis queue，不过 J2EE 足够大，自己就有这种服务了
因为 JavaEE 上首先我手里有书上写的有怎么做消息队列... J2EE 平台是有提供 JMS 组件的，貌似
其次，即使没有网上也很容易抄到，而且之中 WebHook 也不是特别复杂（HTTP 客户端），而至于并发安全的问题自然暂时不用考虑（这里大概也不需要考虑
顺便，开始 GeekApk 那个 (Rust)MailService 用的是 Redis queue，不过 J2EE 足够大，自己就有这种服务了
duangsuse::Echo
甚至包括 v1 的时候『革命性』的 GeekPush（唯一一个不那么让人厌烦的东西，然而其实它很小） 因为 JavaEE 上首先我手里有书上写的有怎么做消息队列... J2EE 平台是有提供 JMS 组件的，貌似 其次，即使没有网上也很容易抄到，而且之中 WebHook 也不是特别复杂（HTTP 客户端），而至于并发安全的问题自然暂时不用考虑（这里大概也不需要考虑 顺便，开始 GeekApk 那个 (Rust)MailService 用的是 Redis queue，不过 J2EE 足够大，自己就有这种服务了
JMS 的 Queue 是非常简单的 Message Producer-Consumer 模式，可以说是非常轻易了（就算不会，不熟悉接口硬抄代码都成啊）