Skip to content

z8888q/YinWangBak

BranchesTags
 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

128 Commits

Chez Scheme 的传说.md

Chez Scheme 的传说.md

 
 

DRY原则的误区.md

DRY原则的误区.md

 
 

Hindley-Milner 类型系统的根本性错误.md

Hindley-Milner 类型系统的根本性错误.md

 
 

Lisp已死Lisp万岁.md

Lisp已死Lisp万岁.md

 
 

Markdown 的一些问题.md

Markdown 的一些问题.md

 
 

Oberon 操作系统：被忽略的珍宝.md

Oberon 操作系统：被忽略的珍宝.md

 
 

README.md

README.md

 
 

Texmacs:一个真正“所见即得”的排版系统.md

Texmacs:一个真正“所见即得”的排版系统.md

 
 

Unix的缺陷.md

Unix的缺陷.md

 
 

ydiff：结构化的程序比较.md

ydiff：结构化的程序比较.md

 
 

“解决问题”与“消灭问题”.md

“解决问题”与“消灭问题”.md

 
 

不再推荐Haskell.md

不再推荐Haskell.md

 
 

丘奇和图灵.md

丘奇和图灵.md

 
 

为什么一种程序语言是不够用的.md

为什么一种程序语言是不够用的.md

 
 

为什么说面向对象编程和函数式编程都有问题.md

为什么说面向对象编程和函数式编程都有问题.md

 
 

为什么需要正则表达式.md

为什么需要正则表达式.md

 
 

什么是“脚本语言”.md

什么是“脚本语言”.md

 
 

什么是对用户友好.md

什么是对用户友好.md

 
 

什么是程序语言研究.md

什么是程序语言研究.md

 
 

什么是语义学.md

什么是语义学.md

 
 

从工具的奴隶到工具的主人.md

从工具的奴隶到工具的主人.md

 
 

伟大老师DanFriedman.md

伟大老师DanFriedman.md

 
 

关于语言的思考.md

关于语言的思考.md

 
 

关系模型的实质.md

关系模型的实质.md

 
 

再别IU.md

再别IU.md

 
 

再见 Voxer，你好 Sourcegraph.md

再见 Voxer，你好 Sourcegraph.md

 
 

写给支持和反对《完全用Linux工作》的人们.md

写给支持和反对《完全用Linux工作》的人们.md

 
 

到底是谁在欺负我们读书少.md

到底是谁在欺负我们读书少.md

 
 

十年前的我的来信.md

十年前的我的来信.md

 
 

半年来的工作感受.md

半年来的工作感受.md

 
 

原因与证明.md

原因与证明.md

 
 

反省.md

反省.md

 
 

如何掌握程序语言.md

如何掌握程序语言.md

 
 

完全用Linux工作.md

完全用Linux工作.md

 
 

对函数式语言的误解.md

对函数式语言的误解.md

 
 

对博士学位说永别.md

对博士学位说永别.md

 
 

康奈尔感受.md

康奈尔感受.md

 
 

我为什么不在做PL人.md

我为什么不在做PL人.md

 
 

我和谷歌的故事.md

我和谷歌的故事.md

 
 

我看PhD.md

我看PhD.md

 
 

我离开了Coverity.md

我离开了Coverity.md

 
 

标准化试卷标记语言.md

标准化试卷标记语言.md

 
 

测试的道理.md

测试的道理.md

 
 

清华梦的粉碎.md

清华梦的粉碎.md

 
 

理论是围城.md

理论是围城.md

 
 

用脑图来分享思想.md

用脑图来分享思想.md

 
 

知识份子的傲慢与偏见.md

知识份子的傲慢与偏见.md

 
 

程序设计里的“小聪明”（1）.md

程序设计里的“小聪明”（1）.md

 
 

程序语言不是工具.md

程序语言不是工具.md

 
 

程序语言与它们的工具.md

程序语言与它们的工具.md

 
 

程序语言理论的学习对于程序员教育的作用.md

程序语言理论的学习对于程序员教育的作用.md

 
 

程序语言的常见设计错误(2) - 试图容纳世界.md

程序语言的常见设计错误(2) - 试图容纳世界.md

 
 

给Java说句公道话.md

给Java说句公道话.md

 
 

给Texmacs的推荐信.md

给Texmacs的推荐信.md

 
 

编程的宗派.md

编程的宗派.md

 
 

编程的智慧.md

编程的智慧.md

 
 

编辑器与IDE.md

编辑器与IDE.md

 
 

让科学和理性回到计算机科学.md

让科学和理性回到计算机科学.md

 
 

论对东西的崇拜.md

论对东西的崇拜.md

 
 

论研究.md

论研究.md

 
 

谁是真正的程序语言专家.md

谁是真正的程序语言专家.md

 
 

谈 Linux，Windows 和 Mac.md

谈 Linux，Windows 和 Mac.md

 
 

谈“P=NP?”.md

谈“P=NP?”.md

 
 

谈“测试驱动的开发”.md

谈“测试驱动的开发”.md

 
 

谈惰性求值.md

谈惰性求值.md

 
 

谈程序的“通用性”.md

谈程序的“通用性”.md

 
 

谈程序的正确性.md

谈程序的正确性.md

 
 

谈语法.md

谈语法.md

 
 

谈谈 Currying.md

谈谈 Currying.md

 
 

谈谈Parser.md

谈谈Parser.md

 
 

Repository files navigation

YinWangBak

A collection of articles written by YinWang

About

A collection of articles written by YinWang

Resources

Readme
Activity

Stars

0 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published