PureScript 的 equality

2021-07-28
阅读 3 分钟
1.7k
从 PureScript 的角度反过来看, JavaScript 的好多概念还是比较模糊的.前几天群里看到讨论 js 的 equality 的事情, 我就觉得 js 设计挺不清晰的.js 里用 === 的话, 遇到

[译] 函数式 Arrow 实用案例

2021-03-15
阅读 4 分钟
1.7k
Arrow 提了一种表示"计算"的手段. 甚至有些 Monad 用法里边看不到的复杂操作, 通过 Arrow 提供的一些有意思的组合式的组合方法, 也可以构造出来.

笔记: 关于 SKI 组合子及其实现

2021-03-02
阅读 3 分钟
3.1k
比如 \f -> \a -> \b -> f b a 定义的函数, 没有自由变量, 就是组合子.参考这样的例子, Haskell 当中按照类型签名定义的函数都是这样写的.大概 Haskell 里边基本上都是用着组合子在编程的, 而不是主流语言习惯意义的"函数".

一些用函数式编程重新理解的观念

2016-09-19
阅读 4 分钟
4.9k
我刚写顺手 CoffeeScript 的时候对程序的理解当然不一样,coffee 当中思路还算清晰, 全局变量和局部变量, 然后有函数,从而形成大大小小的对象以及闭包, 然后之间的数据发生相互作用,而这些关联和互作用足够复杂, 可以模拟我们业务所需的逻辑,作为脚本语言来说, 非常灵活的一套方法了.

CirruScript 写的: 函数式编程另类指南

2015-08-29
阅读 3 分钟
4.8k
这篇笔记是我在理解函数式编程过程当中的一些思考整理成的大概也是我在学习当中遇到过的坎, 还有灵光一现的地方代码是用 CirruScript 写的, 尽情吐槽奇怪的语法吧因为我主要写前端, 所以这边对强类型和并行不做涉及

从 Stream 和函数式编程想到的

2015-07-16
阅读 5 分钟
8.7k
我作为自学的程序员, 绕了很多弯子, 缺了很多编程的基础理论 作为前端我也能拉很多人下水, 因为很多写界面的人也是自学的 编程语言从 Fortran 跟 Lisp 已经被研究了半个世纪, 理论成果也是连篇累牍 我们常常觉得自己已经在编程了, 但是基于什么编程呢?

一些链接, 关于不可变数据

2015-07-03
阅读 4 分钟
5.5k
这篇笔记介绍不可变数据, Persistent Data Structure 和 Immutable. 但是不深入数据结构实现, 函数式编程理论.

关于 Elm 的分享, 底稿

2015-05-08
阅读 4 分钟
6.4k
分享... 关于 MVC, FRP, jQuery.. 怎么用? 怎样实现? --- x 一份幻灯片? MVC 历史 [链接] Model View Controller: History, theory and usage [链接] MVC演化史 [链接] MVC, MVP, MVVM [译]: MVC, MVP 和 MVVM 模式的对比 在哪里? 怎样? 去维护 UI 当中的状态? 业务逻辑在应用的什么地方? 怎样被调用? 怎样保证 UI 跟数...

关于 FP 和 OOP 区别不成熟的想法

2014-12-07
阅读 5 分钟
10.6k
前面一段时间对 FP 和 OOP 两者的关系感到比较困惑 我使用的动态语言揉合太多范式, 在这一点上很难做出明确透彻的区分 不过经过这段时间琢磨相对之前感觉要好一些了, 有了一些自己的想法 后面自己的部分会有不少没有验证的地方, 所以应该当成感想来看 需要说明, 我的经验来自动态语言(JavaScript), 相对静态语言会有很多...

我参与过的产品回顾

2014-11-14
阅读 4 分钟
3.3k
前几天跟同事聊天的时候回头看过当时在学校开发的电台 现在可能是无人维护, 而且 API 在外网估计屏蔽了, 所以还是当时的样子 我最近关于 FRP 的图形编程比较多, 偶然回想到当时很多错误的认识 我觉得挺有意思, 所以想写一篇文章感慨一下, 文章的重点是, 当时对事物好多的理解, 随着深入领域已经改变甚至固化

代码不是怎么想就怎么写的

2014-10-27
阅读 2 分钟
2.6k
刚开始做单页面应用的时候, 我只会 jQuery, 甚至在 CoffeeScript 拼接 HTML 得到 HTML 后插入 DOM, 之后绑定事件, 事件当中继续做着这样的循环 当时的开发方式也是, 写好第一个界面, 于是按照操作的顺序一个个做下来 显然这是最直观的新手对于代码的理解了, 先做什么, 再做什么, 一步一步来