学Haskell不该误入范畴论】的更多相关文章

浪费了两个星期去学范畴论,结果没啥用,关键是太抽象了.理解不能. 实际上压根联系也没那么紧密.…
今天,被一个很简单的问题坑了一下午,基础不扎实.(js根据class名称来删除Dom元素) 但是结果却不是这样的.弄了好久还不知道怎么回事.最后找到了答案. 结果如下:为啥还有test2,4,6呢. 现在要删除一个父节点的所有的子节点,删除节点的操作其实类似于FIFO链表,把第一个删除掉,第二个节点会补上作为第一个,第三个会补上做为第二个,以此类推 所以做这种操作的时候,要倒着删除啊,切记. 这个就是Js删除DOM节点的一个坑,请大家小心,误踩.JS根据ClassName来删除元素…
前面两篇博客分别介绍了通过fastboot和QFIL工具退出FFBM模式的方法.虽然售后的同学可以这么指导用户做恢复,但步骤多操作也麻烦,且属于事后处理,如果大面积高概率地出现,会严重影响用户体验.这个问题是高通引入FFBM模式导致的,采用高通芯片方案的Android设备都可能会出现.Google一下,友商Pico的VR一体机用户在官方论坛反映<进入FFBM模式怎么退出>,一个多月前的帖子目前还没有回应.这里必须为我们售后的同学点赞,客户反馈问题24小时内就回应并解决了.Android手机主要…
这天中午,我和往常一样就着美食视频吃完午饭,然后起身泡了一杯"高沫". 我闻着茶香享受着午后的阳光,慵懒地坐在工位上习惯性的打开 GitHub 游荡,酝酿着睡意. 误打误撞,我来到了 GitHub 游戏区: https://github.com/topics/game 这时我已经是半睡半醒的状态,心想开源的小游戏有什么好玩的,但四分之一炷香之后我将毫无困意.因为这些开源游戏将会把我彻底唤醒,虽然本人生平已经见过无数的开源游戏,但这次的开源游戏是我认为最"哇塞"的!…
内容详细 架构图 架构图详解 架构: 把一个整体(完成人类生存的所有工作)切分成不同的部分(分工),由不同角色来完成这些分工,并通过建立不同部分相互沟通的机制,使得这些部分能够有机的结合为一个整体,并完成这个整体所需要的所有活动,这就是架构 1.用户需求 用户带着域名提交访问请求 2.DNS 通过DNS解析域名找到该域名对应IP返回 3.防火墙(iptables) 也叫:包过滤防火墙 iptables内置4个表,即filter表.nat表.mangle表和raw表 每个表都会有相应的链 filt…
昨晚,DD在微信群(点击加入)里看到有小伙伴说,想去Vue官网看中文文档,不当心把cn写错了位置,结果进入了xx网站... 老司机们应该都知道,Vue官网的中文文档地址是:https://cn.vuejs.org/ 爆料的小伙伴是怎么搞错的呢?他把cn放到了最后,于是去访问了这个地址 结果出现了羞羞网站...本着探寻真相的态度,我也去尝试了一下,结果真的... 这里有点神奇,多刷新几次,出现的页面还不一样,有时候就如上面这样有点诱惑有点清新,有时候就很露骨,比如下面这样...因为太露骨,显然不适…
我和很多人交流过一个有趣的现象,那就是刚毕业到30岁这段时间,会觉得时间过得很慢,总觉得自己还很年轻,但是一旦过了30岁,时间就如白驹过隙,一年又一年飞逝而过. 我自己也是,眼瞅着毕业快15年了,15年间从一个刚毕业的菜鸟,成长为技术骨干,做到架构师的职位,回头看看,当年听取亲戚的一句话,误入计算机行业,看来并没有走错,编程虽然枯燥辛苦,但是如果真的感兴趣,你就能体会到其中的乐趣,并且获得可观的回报. 好奇心 刘慈欣在<朝闻道>中描绘过这么一个情节:在古老的非洲大陆上,有个原始人无意中抬头仰望…
趣学Haskell指南: http://fleurer-lee.com/lyah/chapters.htm 对应的英文原文: http://learnyouahaskell.com/chapters stackoverflow上面的讲解: http://stackoverflow.com/questions/1012573/getting-started-with-haskell/1016986#1016986 看完上面的书可以看<real world haskell> references:…
一.废话 .net学java为何一直没入坑?其实大家都知道,语法很相似,就是使用的习惯不同 稍微的语法差异 结构体系不同 IDE不同 类库集不同 各种框架不同 对于我来说,我一直被第三道坎拦住了,所以前面的很大的篇幅,都是在说IDE. 二.对比 感知上的差异 我们从一个HelloWorld开始!不同在哪里? Console.WriteLine("Hello World"): –> System.out.println("Hello World"); 继承 :…
感谢<Real World Haskell>在网上的免费发布,可以白嫖学Haskell这个久闻大名的函数式编程语言了. 本文运行于openSUSE Tumbleweed下,运行相关命令时留意. 安装 Linux下想搞和编程相关的事情非常简单,至少比配置游戏要简单. sudo zypper in ghc ghc即Glasgow Haskell Compiler,一个主流的编译器.也支持python式的互动执行(ghci).笔者运行时该编译器已经是8.0.2版本了. 运行 输入ghci,会进入Ha…
摘自http://www.vaikan.com/why-haskell-is-worth-learning/ Haskell语言为什么值得你去学习 当我向一些新手推荐学习Haskell语言时,得到的反应通常是:“为什么要学Haskell?”,“这是一种实用的语言吗?”或者“这是一种我可以真正用的语言吗?”我的回答是明确的YES. Haskell并不是我工作时的主要语言(我基本上是为嵌入式系统写C程序),但我仍然发现Haskell难以置信的有用.虽然我的工作从来不用Haskell,我仍然认为花时间…
在学习Python前,你应该规划好自己的学习方向,毕竟Python的方向比较多,比如: web开发 爬虫 自动化开发(运维,测试).脚本开发 大数据(数据挖掘,数据分析) 人工智能.机器学习 选择好自己的方向后才根据这个方向的学习内容继续学下去,因为如果你没有一个方向的话,今天看到别人做一个爬虫觉得很有意思,然后就看看爬虫方面的知识点,如果看到别人做了一个精美的博客,然后又去看web开发方面的知识点,这样东学一点,西学一点话,学习效果肯定是不好的! 现在学习Python无非就是分为两大类:自学和…
(一)可重入性 可重入性描述这样的一个问题:一个线程在持有一个锁的时候,它内部能否再次(多次)申请该锁.如果一个线程已经获得了锁,其内部还可以多次申请该锁成功.那么我们就称该锁为可重入锁.通过以下伪代码说明: void methodA(){ lock.lock(); // 获取锁 methodB(); lock.unlock() // 释放锁 } void methodB(){ lock.lock(); // 获取锁 // 其他业务 lock.unlock();// 释放锁 } 可重入锁可以理解…
引言 转入Scala一段时间以来,理解Functor.Applicative和Monad等概念,一直是我感到头疼的部分.虽然读过<Functors, Applicatives, And Monads In Pictures> 一文,但深感未得甚解,仍是翻书了然.关书茫然. 于是转而"曲线救国"--选择学习更加纯粹的FP语言Haskell,尝试结合着对范畴论的一点粗鄙理解,再从Haskell与Scala不同编码实现的角度去比较,结果真有柳暗花明又一村的感觉.参考书籍为著名的&…
读书笔记:<梦断代码Dreaming in Code> 拿到<梦断代码>书后,一口气翻了一遍,然后又用了3天时间仔细读了一遍,也不禁掩卷长叹一声,做软件难.虽难,仍要继续走下去,可以把软件的范围限制得小一些,用敏捷方法等过程会使软件失败的风险小一些,毕竟我们还没有写书上所说的那样的大型软件. 第0章 软件时间 一开始看到第0章并没有感觉多么奇怪,可能程序员的思维方式已经固化在大脑中了,但读到作者关于第0章无意搞笑时,也不禁哑然失笑,为什么程序员要 从0开始计数?因为计算机从0开始计…
接触机器学习1年多了,由于只会用C#堆代码,所以只关注.NET平台的资源,一边积累,一边收集,一边学习,所以在本站第101篇博客到来之际,分享给大家.部分用过的 ,会有稍微详细点的说明,其他没用过的,也是我关注的,说不定以后会用上.机器学习并不等于大数据或者数据挖掘,还有有些区别,有些东西可以用来处理大数据的问题或者数据挖掘的问题,他们之间也是有部分想通的,所以这些组件不仅仅可以用于机器学习,也可以用于数据挖掘相关的. 按照功能把资源分为3个部分,开源综合与非综合类,以及其他网站博客等资料.都是…
很多外国很好的管理制度,到了中国都有水土不服,就像KPI绩效考核一样,到了中国执行得很不好,甚至还不如用本土的人治管理方法,那是为何呢?为什么国内学平衡计分法和KPI的热情非常高,效果却往往有限? 其实根本的原因在于大多数国内企业 尤其是民企,基本都是 人治,而不是流程治. 一个主要原因就是没有真正清楚KPI管理模式所要求的具体管理条件和理论前提. 理论是在假设前提下成立的(假设前提,是指分析和观点得以成立的条件). 设定前提是思维严谨性的一种具体体现,这也是管理科学的本质精髓之一. 简单先说一…
/////////////////////////////////////////////////////////////////////////// 这是我的同事alert7在他主页上转scz的<你尽力了吗>,之前说的一段话,一些肺腑 直言,我觉得我该说的alert7也帮我说了,希望我们以及前人的思路可以指引大家 /////////////////////////////////////////////////////////////////////////// 自己都觉得这里的水平底的一塌…
[声明]此文为转载,只为收藏. 按:这几天我一直在写这篇东西,本来是胸有成竹,没想到后来越写越发现自己在这个题目下有太多话想说,而以我现在的能力又不能很好地概括总结,以至于越写越长,文章结构也变得混乱,到后来修改的时候每次都要考虑好久才能下笔,所以决定拆成两部分来发,以便阅读.这篇写得我心力交瘁,质量不算好,凑合着看吧. 同样是写程序,不同的岗位工作内容不一样,对程序质量以及工程师的要求也不一样.程序开发大概可以划分成两类:开发和研发,相应也就有开发工程师和研发工程师.很多人觉得做开发和做研发没…
.NET平台机器学习资源汇总,有你想要的么? 接触机器学习1年多了,由于只会用C#堆代码,所以只关注.NET平台的资源,一边积累,一边收集,一边学习,所以在本站第101篇博客到来之际,分享给大家.部分用过的 ,会有稍微详细点的说明,其他没用过的,也是我关注的,说不定以后会用上.机器学习并不等于大数据或者数据挖掘,还有有些区别,有些东西可以用来处理大数据的问题或者数据挖掘的问题,他们之间也是有部分想通的,所以这些组件不仅仅可以用于机器学习,也可以用于数据挖掘相关的. 按照功能把资源分为3个部分,开…
作为一个具有一到五年开发经验程序员,需要学习内容很多: JVM/分布式/高并发/性能优化/Spring MVC/Spring Boot/Spring Cloud/MyBatis/Netty源码分析等等等 01.透彻理解Tomcat原理手写动静态资源的实现 02.分享能源领域的分布式监测系统架构 03.分布式系统关键技术Rpc框架详解与实现 04.自己写一个SpringMVC框架 05.使用Jsoup实现网页爬虫功能 06.JAVA高级进阶之NIO通信架构原理详解 07.高手必过之路透彻理解Spr…
书中源码下载地址:https://github.com/qinggee/WebAdvanced 01. 当初决定写博客的原因非常的纯洁:只要每个月写上 4 篇以上博客,月底的绩效奖金就多 500 块.你可能会好奇地问,哪里会有这么好的公司呢?偷偷地告诉你,这公司没在别处,就在九朝古都洛阳. 有个成语叫做“日久生情”.没错,就这样写着写着,我竟然爱上了写作.写作的原动力也随之发生了改变:搞技术这么多年了,总应该留下点什么:或者,至少应该把自己的经验心得分享出来,让那些没掉坑的人不掉坑,掉坑的人从坑…
特别说明:要在我的随笔后写评论的小伙伴们请注意了,我的博客开启了 MathJax 数学公式支持,MathJax 使用$标记数学公式的开始和结束.如果某条评论中出现了两个$,MathJax 会将两个$之间的内容按照数学公式进行排版,从而导致评论区格式混乱.如果大家的评论中用到了$,但是又不是为了使用数学公式,就请使用\$转义一下,谢谢. 想从头阅读该系列吗?下面是传送门: Linux 桌面玩家指南:01. 玩转 Linux 系统的方法论 前言 本来我是想写完 Linux 桌面系统的美化和字体配置之…
调试 - Chrome调试 打开开发人员工具 Ctrl+Shift+i可以打开开发人员工具. 功能面板 NetWork功能面板 在当前页面打开调试工具,刷新页面后点击NetWork可以查看当前页面的Http信息,这个信息是从发起请求到获得响应后为止. 控制/录制 资源列表 点击资源名称(name),右侧会打开关于该资源详细信息的面板. Header 描述了请求头和响应头信息 Preview 预览资源的数据,比如image.js.css.html等 Response 响应的数据 Cookie 写入…
Web 建站技术中,HTML.HTML5.XHTML.CSS.SQL.JavaScript.PHP.ASP.NET.Web Services 是什么?修改 建站有很多技术,如 HTML.HTML5.XHTML.CSS.SQL.JavaScript.PHP.http://ASP.NET.Web Services.浏览器脚本.服务器脚本等.它们的区别是什么?新手一点不懂,想理清所有这些技术之间的关系和应用范围.修改 举报13 条评论 分享 • 邀请回答   默认排序按时间排序 62 个回答 10K赞…
上一期我们学了多级标题,加粗,加斜以及蛮好看的小方块,这一期来继续学习吧 Txt版本: *上一期说这样可以加斜* _其实这样也可以加斜_ **上一期说这样可以加粗** __其实这样也可以加粗__ ***上一期说这样可以加粗加斜*** ___其实这样也可以加粗加斜___ ****但是你用多了并不会出现什么特效**** ____这个也同理____ ***___只要学会使用一种就行,但是见了另外一种可别说不认识哦___*** 对于做数学建模的同学来说,你们可能要用到一个工具叫做**Latex** /*…
前言: 自己很喜欢MACD这个指标,因为很欠缺所以就搜集的多一点,有人问,学习缠为什么还这么搜集些Macd的资料呢?因为在分析走势(或盘整背驰.或趋势背驰)的时候我的习惯使用Macd做辅助判断,所以Macd这关的基本差不多,得能大概的过滤其中的冗余信息和骗线,结合走势辅助Macd更好的进步. ============================================================================== 杀多点:概念:当绿柱逐渐收敛.缩短,快接近0轴的…
2018.12.4更新: GD分数线出了,1=分数线310,1=了 好歹能和cyp交代了吧) 2018.11.28更新: 不好意思,太懒了,加上我也不记得后来发生什么了,总之就这样太监了. noip2018 351 Day0 早早到了中旅,买票,坐上大巴才发现自己没吃早饭,感谢qzz和cxk两位大神犇友情提供的面包和酸奶qwq 和车上的各位分享了海苔,超好吃,我下次多买点=w= 然后就到了动车站,领票,在候车厅等车 等动车的过程中同校的大佬们也陆陆续续地来了,我坐在zz旁边看博客,看到他一直在看…
Duang Duang!我们团队今天正式成立啦 团队名称:WHATEVER 团队成员如下: 个人介绍:天明宝,性别:女,爱好:偷懒 心有鸿鹄大志,却只有麻雀之行.一直在与自己做斗争,是个矛盾的综合体.因为喜爱哆啦A梦,想发明哆啦A梦那样的人工智能,而误入软件工程,为了心中的那个理想学习,奋斗着.立志"代码改变世界",理想主义与悲观并存,沉浸于"秦时"的95后. 王莉,女,汉族.大二软件工程系.从大一起,开始接触编程.到现在为止,学过C,C++,Unix,统一建模等课…
1.旅游英语:预订机票情景对话及常用句型 目前,越来越多的人都选择以飞机为出行方式.但是如何用一口流利的英语订机票呢?这里我们替你总结了一些情景对话,还有一些常用的句型.大家都来学一学吧~A:Good morning. The United Airlines. What can I do for you?早上好.美国联合航空公司.我能为您做些什嘛?B:Yes, I'd like to make a reservation to Boston next week.是的,我想订一张下周飞往波斯顿的机…