V
主页
[超人FP] 盘盘函数式
发布人
如果说函数式编程(FP=Functional Programming)领域也需要一位大神像扫地僧Charles Bay一样为我们高屋建瓴的通盘屡一屡思路的话, 那这个人当授超人Philip Wadler youtube上超过100k的播放的技术视频并不多, 它是之一. 也是Wadler大师的名场面 一个视频带你领略FP的来龙去脉, 并且从很高的维度统一理解lambda calculus 和 type theory. 也能统一看待各种各样的语言. 老爷子在FP的发展史上也有浓墨重彩的一笔, 以超人FP为代表的一些函数式思想相关视频,渗入其中。 铁轨火车侠Scott讲述了很多FP的思想和案例,铁轨组合的比喻是名场面。以直白的方式理解组合里面最深刻的道理,并且应用在函数设计中。
打开封面
下载高清视频
观看高清视频
视频下载器
[优化大师] Optimization for All
OCaml Programming: Correct + Efficient + Beautiful
[高能勿入]荣耀C++: Cpp er九转金丹
Database for Beginners 数据库之青铜
[天选之子C语言]Neo: The One C
Dr.Dng陪跑CSAPP: bigONE《深入理解计算机系统》
[落笔太难] 核武C++:Atomic Weapons
[种草LINUX]linux系统架构介绍,Big Picture of LINUX
[编程天眼]你确定真的了解类型么? Type Systems
[编程乱战] 语言之争 Language War III
[计算本质] Regex & Finite Automata II 正则表达式&有限自动机
[计算本质]MIT Turing Machines
[CS主干精选SICP1986](唯一编程神课)MIT6.001计算机程序的构造和解释
[扫地僧C++] Easy, Elegant, Powerful - Charles Bay
满满Rust味道的Google Carbon Lang(NEXT C++)发布会 by Chandler
[LINUX基操] Makefile
[LINUX基操] CMake by Examples
[CMU神课CSAPP]深入理解计算机系统, CMU15213
Rust编程设计模式 - oreilly - Idiomatic Rust, Video Edition
[Josh21.UCB.CS10] The Beauty and Joy of Computing
首讲Stanford CS231AAA:计算机视觉基础课
工作能力强的人都擅长结构化表达!!汇报、演讲、沟通全搞定!
Cache Coherence缓存连贯性
The Elegant RISCV: 彩蛋 亲手撸制CPU之 CircuitRISCV II logisim
[画画重点]贝叶斯的博弈——数学、思维与人工智能
[编译视角看程序]Compiler Perspective for Programmers
课程学习的意义是什么?
[AI基石] 赌概率论 Probability Theory
编程范式 | 函数式编程 VS 面向对象编程?
The Elegant RISCV: MIT01 Introduction
揭秘LINUX II File
[佬说C++]Jon神口齿异常RAII利Exception-Safe Code CppCon14
The Elegant RISCV: 彩蛋 亲手撸制cpu 之CircuitRISCV logisim
LLM for Robotics前沿- 系统性讲解 大行为模型(VLA Model)(重置版)
【法语课程B1-B2】【全200集】强推!2024最细自学法语全套教程,法语水平猛涨!!别再走弯路了,逼自己一个月学完,从0基础小白到法语大神只要这套就够了!
解密计算机视觉王者特斯拉FSD The Vision King
[小白AI英雄]Pytorch Internals - Autograd
“在等待的日子里,刻苦读书,谦卑做人,养得深根,日后才能枝叶茂盛”
Godot F# 番外篇:FP Monad专题 - 简介实现内容、学习门槛路径优缺点,顺便聊聊 F#+ 库、Rider IDE - 从零开始做游戏(第122天)
[SOT] The Elegant RISCV: The Reader I