⁶⁶   ⁶⁶⁶⁶⁶⁶   ⁶⁶66⁶⁶⁶⁶    ₆₆₆₆ 可以啊.这波  ₆₆₆₆⁶⁶⁶⁶⁶        ⁶⁶⁶⁶⁶⁶⁶⁶⁶⁶⁶⁶⁶⁶66⁶⁶⁶⁶     卧槽⁶⁶⁶⁶⁶⁶⁶⁶⁶⁶⁶⁶⁶    666₆₆₆₆₆₆₆ 666        666 ⁶⁶⁶⁶⁶⁶₆₆₆₆₆₆ ₆⁶⁶⁶⁶⁶⁶⁶⁶⁶ ⁶⁶⁶⁶⁶⁶ ⁶⁶⁶⁶⁶⁶⁶⁶

Yumenokanata

成都
西南石油大学 | 自动化
成都市飞狼科技 | Android工程师
2017-06-04 加入
浏览 974

Haskell中毒极深的Android开发工程师

个人动态
发布了文章2019-06-25
YRoute开发随笔
YRoute是一个新开发的Android路由库,使用了Arrow函数式库作为核心库,是之前对于函数范式学习和思考的集大成者。但目前还在前期开发阶段,仅实现了一些简单的功能做架构验证用。
发布了文章2019-04-08
在函数范式中构建程序
函数式编程(英语:functional programming) 以λ演算为理论基础的编程范型, 将电脑运算视为数学上的函数计算, 并且避免使用程序状态以及易变对象.
发布了文章2019-04-03
DslAdapter开发简介
DslAdapter是一个Android RecyclerView的Adapter构建器, DSL语法, 面向组合子设计. 专注类型安全, 所有代码采用Kotlin编写.
发布了文章2018-12-24
异构列表(DslAdapter开发日志)
函数范式, 或者说Haskell的终极追求是尽量将错误"扼杀"在编译期, 使用了大量的手法和技术: 使用大量不可变扼杀异步的不可预计, 以及静态类型和高阶类型
发布了文章2018-11-20
高阶类型带来了什么
自从实用Kotlin之后,最近的项目中开始可以实践高阶类型了,确实能感受到带来的优美。但同时这又是个不那么容易理解的概念,尤其是Kotlin或者说Java的类型系统中由于本身不支持,而采用一些取巧的办法实现高阶类型的时候,这个概念变得更加晦涩难懂了。 那么下面就尽...
发布了文章2018-11-20
函数范式入门(前言)
函数范式现在是一个很"时髦"的词, 仿佛什么语言,库带上了函数式就变得高大上起来了. 但实际上我问过很多人什么是函数式?, 几乎的回答都是lambda表达式, 可以传递函数, Java8流式API或者RxJava等等. 当然这些也是函数范式带来的东西, 但始终都没有点到核心, 或者说"我...
发布了文章2018-11-20
函数范式入门(什么是函数式编程)
函数式编程(英语:functional programming)或称函数程序设计,又称泛函编程,是一种编程范型,它将电脑运算视为数学上的函数计算,并且避免使用程序状态以及易变对象。函数编程语言最重要的基础是 λ演算 (lambda calculus)。而且λ演算的函数可以接受函数当作输入...
发布了文章2018-11-20
函数范式入门(惰性求值与函数式状态)
第二节 惰性求值与函数式状态 在下面的代码中我们对List数据进行了一些处理 {代码...} 考虑一下这段程序是如何求值的,如果我们跟踪一下求值过程,步骤如下: {代码...} 我们调用map和filter函数的时候,每次都会遍历自身,对每个元素使用输入的函数进行求值。 那么...
赞了文章2018-08-20
计算机科学:一门失传的艺术
打扰了。犬子考入肯尼索州立大学,有志于攻读计算机科学学位,但是有两年课程,他不太喜欢上,为此而纠结。亚特兰大有三所学院只专注于技术,提供 8 到 16 周的沉浸式课程。在计算机科学领域,对于这种办学形式怎么看?四年制的学位更有价值吗?
关注了标签2018-07-20
segmentfault
SegmentFault 是一个面向中文开发者的专业技术社区。社区采用良性、合理的机制来让开发者自由生长,希望通过最干净、简洁、优质的产品体验,来吸引国内优秀的开发者和技术人员,一起打造一个纯粹的技术交流社区。
关注了标签2018-07-20
行业
行業,指主要根據職業、性質或具體事物,對社會各個領域稱呼。“行業”屬於中文表述的一種習慣,极少作为術語来表示特定的概念,有時與辭彙“产业”混淆使用,來表示同一概念,常指社会领域。行业属于概念广泛的常用中文词汇,其分类具有随意性。
关注了标签2018-07-20
程序员
一种近几十年来出现的新物种,是工业革命的产物。英文(Programmer Monkey)是一种非常特殊的、可以从事程序开发、维护的动物。一般分为程序设计猿和程序编码猿,但两者的界限并不非常清楚,都可以进行开发、维护工作,特别是在中国,而且最重要的一点,二者都是一种非...
关注了标签2018-07-20
安全
网络系统的硬件、软件及其中数据受到保护,不受偶然的或者恶意的破坏、更改、泄露,保证系统连续可靠地运行,网络服务不中断的措施。
关注了标签2018-07-20
工具
关注了标签2018-07-20
android
Android(安卓或安致)是一种以 Linux 为基础的开放源码操作系统,主要使用于便携设备。2005 年由 Google 收购注资,并拉拢多家制造商组成开放手机联盟开发改良,逐渐扩展到到平板电脑及其他领域上。
关注了标签2018-07-20
人工智能
关注了标签2018-07-20
后端
关注了标签2018-07-20
前端
Web前端开发是从网页制作演变而来的,名称上有很明显的时代特征。在互联网的演化进程中,网页制作是Web 1.0时代的产物,那时网站的主要内容都是静态的,用户使用网站的行为也以浏览为主。2005年以后,互联网进入Web 2.0时代,各种类似桌面软件的Web应用大量涌现,网...
关注了标签2018-05-22
行业
行業,指主要根據職業、性質或具體事物,對社會各個領域稱呼。“行業”屬於中文表述的一種習慣,极少作为術語来表示特定的概念,有時與辭彙“产业”混淆使用,來表示同一概念,常指社会领域。行业属于概念广泛的常用中文词汇,其分类具有随意性。
关注了标签2018-05-22
程序员
一种近几十年来出现的新物种,是工业革命的产物。英文(Programmer Monkey)是一种非常特殊的、可以从事程序开发、维护的动物。一般分为程序设计猿和程序编码猿,但两者的界限并不非常清楚,都可以进行开发、维护工作,特别是在中国,而且最重要的一点,二者都是一种非...