首页
首页
沸点
课程
直播
活动
竞赛
商城
APP
插件
搜索历史
清空
创作者中心
写文章
发沸点
写笔记
写代码
草稿箱
创作灵感
查看更多
会员
登录
注册
winter
掘友等级
掌门
|
混元形意前端门
获得徽章 0
动态
文章
专栏
沸点
课程
收藏集
关注
作品
赞
2
文章 2
沸点 0
赞
2
返回
|
搜索文章
winter
掌门 @混元形意前端门
·
13天前
关注
函数式编程的数学基础(八)函数式编程
lambda演算作为图灵机的等价,理论上我们能够知道它能够作为任何编程语言的模型。如果只保留JavaScript的箭头函数和函数调用,那么我们可以发现JavaScript语...
3
评论
分享
winter
关注了
前端暴走团
掌门 @混元形意前端门
winter
掌门 @混元形意前端门
·
1月前
关注
函数式编程的数学基础(七)简单类型论
Kleene-Rosser 悖论,它的存在导致 lambda 系统自身的不一致性。但是在学术研究领域,有问题不一定是坏事,解决问题的过程中,诞生的新方法、新理论,可能价值反...
2
评论
分享
winter
掌门 @混元形意前端门
·
1月前
关注
函数式编程的数学基础(六)组合子逻辑
通过对丘奇数的推导,我们已经初步熟悉了lambda演算。 历史上的组合子逻辑受到lambda演算的启发,并且与lambda演算有千丝万缕的联系,但它实际上发展成了一个与la...
1
评论
分享
winter
掌门 @混元形意前端门
·
2月前
关注
函数式编程的数学基础(五)再论lambda演算
我们前面的丘奇数推导中,已经掌握了一定的lambda演算技巧。接下来,是时候正式了解一下lambda演算了。...
1
评论
分享
winter
掌门 @混元形意前端门
·
3月前
关注
函数式编程的数学基础(四)邱奇数的除法,递归
邱奇数的除法实现较为困难。 但有了邱奇数的减法和比较,那么我们大致可以想到,如果能够不断把被除数减掉除数,直到它变得小于除数,我们就可以实现邱奇数除法了。...
2
评论
分享
winter
掌门 @混元形意前端门
·
3月前
关注
降维打击面试题系列:生成函数(四)部分分式分解
因为组合和错位相减技巧的存在,我们的生成函数总是会面对分母是多项式的生成函数。 一般的组合数学教程不会讲解代数技巧,但对于如我一样数学基础不太好的程序员,求得生成函数之后如...
7
1
分享
winter
掌门 @混元形意前端门
·
9月前
关注
当你穿越到道诡异仙的世界,如何利用密码学知识区分幻想和现实?
《道诡异仙》是一部流行的网络小说。 其中,剧情讲述了男主角李火旺穿越到诡异世界。诡异和现代两个世界时不时交错,男主角陷入到了混乱当中。作为一个程序员,有没有办法利用专业知识...
15
8
分享
winter
掌门 @混元形意前端门
·
9月前
关注
函数式编程理论的历史与人物
函数式编程是近年来的热门话题,但其中一些概念和理论经过层层转述,往往难以辨识真伪,这导致函数式编程成为计算机民科的重灾区,本文试图梳理一些函数式编程理论的历史与人物,也提供...
7
2
分享
winter
掌门 @混元形意前端门
·
9月前
关注
函数式编程的数学基础(三)邱奇数的比较,分支逻辑
我们已经有了邱奇数的加、减和乘法。 但是现在lambda定义的邱奇数看上去无法互相比较,我们这里就考虑一下如何实现邱奇数的比较。...
6
评论
分享
winter
掌门 @混元形意前端门
·
9月前
关注
函数式编程的数学基础(二)邱奇对,邱奇数减法
邱奇数的加法和乘法并不难理解。它们仅仅是在函数调用的基础上进行叠加。那么,是否有方法实现邱奇数的减法呢?...
3
评论
分享
winter
掌门 @混元形意前端门
·
10月前
关注
函数式编程的数学基础(一)lambda演算,邱奇数加法与乘法
lambda演算是函数式编程的数学理论基础。那么,lambda演算究竟是什么?它究竟解决了什么问题?它的价值究竟是什么?在本系列中,就让我们通过实际学习来回答上面的问题,感...
9
2
分享
winter
赞了这篇文章
Exposir
前端工程师 @ByteDance
·
10月前
关注
JavaScript魔法背后:你所不知道的随机数生成与密码保护神秘面纱
在这篇文章中,我们深入研究了JavaScript的随机数生成方法,包括`Math.random()`以及更安全的`crypto.getRandomValues()` 。...
11
5
分享
winter
掌门 @混元形意前端门
·
10月前
关注
降维打击面试题系列:生成函数(三)常见数列与生成函数
通过斐波那契数列,我们掌握了一些基本的生成函数使用技巧。 现在我们来了解一些常见的数列的生成函数以及生成函数的一些基本的变换技巧。...
5
1
分享
winter
掌门 @混元形意前端门
·
10月前
关注
降维打击面试题系列:生成函数(二)斐波那契数列的生成函数
在上一篇中,我们尝试用生成函数巧妙地处理了无穷长度的序列。这一技巧看上去非常有用。于是我们可以尝试使用生成函数来处理数列问题。 我们的第一个案例,就是系列开头提到的青蛙跳台...
6
评论
分享
winter
掌门 @混元形意前端门
·
11月前
关注
降维打击面试题系列:生成函数(一)从组合问题开始
生成函数英文是 Generating Function,它是一种重要的组合数学方法。生成函数不但能为看上去毫无关联的组合问题提供统一思路,还能提供震惊面试官期望的时间复杂度...
24
4
分享
winter
关注了
brambles
掌门 @混元形意前端门
winter
关注了
工业聚
掌门 @混元形意前端门
winter
掌门 @混元形意前端门
·
2年前
关注
关于硬币的几个动态规划问题
我们本篇文章给大家讲解一组硬币问题,借此帮助大家熟悉动态规划的“套路”,让你以后面试中能够更好地应对此类问题。...
70
18
分享
winter
掌门 @混元形意前端门
·
2年前
关注
TypeScript类型元编程入门指南
众所周知,TypeScript的类型系统因其高度灵活性而常常被戏称“类型体操”。其实复杂类型操作并非无迹可寻,本文就试图从元编程的角度挖掘一下类型系统的潜力,希望能够帮助你...
52
2
分享
下一页
个人成就
社区共建者
优秀创作者
文章被点赞
475
文章被阅读
75,551
掘力值
2,090
关注了
4
关注者
1,075
收藏集
0
关注标签
3
加入于
2020-11-25