淘沙TV
软件工程与语言

编程语言设计

19 个视频

Rich Hickey:也许并不1:03:29HN 20+

Rich Hickey:也许并不

surferHaloYouTube 18.1 万次观看2 年前
Richard Feldman:函数式编程为何没能成为主流46:09HN 20+

Richard Feldman:函数式编程为何没能成为主流

知识学砸了YouTube 163.1 万次观看7 年前
Conway-Game-of-Life 生命游戏演示6:33HN 20+

Conway-Game-of-Life 生命游戏演示

ant-hengxinYouTube 23.6 万次观看5 年前
Guy Steele:让语言长大53:31HN 20+

Guy Steele:让语言长大

dailyrainYouTube 16.5 万次观看3 年前
Rich Hickey:Clojure 十年——高效的程序1:14:52HN 20+

Rich Hickey:Clojure 十年——高效的程序

surferHaloYouTube 17.6 万次观看2 年前
Philip Wadler:命题即类型42:43HN 20+

Philip Wadler:命题即类型

PoincareYouTube 14.3 万次观看6 年前
面向对象编程很糟糕44:36HN 20+

面向对象编程很糟糕

鬼畜能治青春痘YouTube 263 万次观看7 年前
Guy Steele 特邀演讲1:07:22HN 12

Guy Steele 特邀演讲

dailyrainYouTube 3.9 万次观看3 年前
Scott Wlaschin:用函数式方法做领域建模49:02HN 9

Scott Wlaschin:用函数式方法做领域建模

dailyrainYouTube 7.1 万次观看3 年前
Andrew Kelley:通往 Zig 1.0 之路59:48HN 20+

Andrew Kelley:通往 Zig 1.0 之路

Mark24CodeYouTube 16.8 万次观看1 年前
Rob Pike:简单其实很复杂(dotGo 2015)23:12HN 14

Rob Pike:简单其实很复杂(dotGo 2015)

欧长坤YouTube 17.2 万次观看6 年前
Michael Hendricks:在生产环境使用 Prolog39:58HN 10

Michael Hendricks:在生产环境使用 Prolog

AnswerZeroYouTube 5.8 万次观看4 年前
Factor:一门可扩展的交互式语言1:36:38HN 8

Factor:一门可扩展的交互式语言

ShiningRay闪光YouTube 5.9 万次观看
Without Boats:零成本异步 IO(RustLatam 2019)32:25HN 5

Without Boats:零成本异步 IO(RustLatam 2019)

Linux2048YouTube 5.5 万次观看
Edwin Brady:Idris 2 的类型驱动开发43:24HN 5

Edwin Brady:Idris 2 的类型驱动开发

garfmaYouTube 1.9 万次观看
用函数式方法做领域建模51:40HN 4

用函数式方法做领域建模

GennadiYouTube 7.4 万次观看
Rust 走向 async/await 之路48:46HN 5

Rust 走向 async/await 之路

mrtao80YouTube 9 万次观看2 年前
实用 Common Lisp1:12:05HN 5

实用 Common Lisp

dailyrainYouTube 9.8 万次观看
Haskell:Lens、Fold 与 Traversal1:54:46HN 3

Haskell:Lens、Fold 与 Traversal

玄简初号机YouTube 5.4 万次观看