- 博客(5)
- 收藏
- 关注
RSS订阅原创 Grammarinator:基于ANTLR4语法自动生成语句
Grammarinator是一个基于ANTLR 4的grammar文件，自动生成语句的开源项目：https://github.com/renatahodovan/grammarinator。从语言的grammar生成语句或者所谓的Fuzzy Testing，对软件测试很帮助。就像Grammarinator的README里所说，它已经帮助一些项目发现了很多缺陷。本文通过一个简单例子，让大家先了解一下...
2019-10-28 03:53:15
1328
原创 深入学习关系理论
周末阴雨连绵，在家闲来无事，抽空读了《Database In Depth: Relational Theory for Practitioners》这本评价不错的关系理论书的开篇。作者C.J.Date是关系理论之父Codd的好友，所以对关系理论的理解是足够深入的。甚至在开篇不久，作者就提到了与Codd理念不合的地方，比如关于NULL的合理性，关于Domain与Type的等价性等。1.SQL不等...
2019-10-24 14:02:00
897
原创 疯狂的罗素
原书《Logicomix》，中文名《罗素的故事》或《疯狂的罗素》。讲述的是逻辑学家、哲学家罗素追寻真理的故事。以罗素的回忆为主线，穿插了许多史实和一些虚构的情节，比如罗素与一些人物的会面和对话。主要内容上与《逻辑的引擎》类似，毕竟如罗素悖论、哥德尔不完备性等大事件是一定会提及的。不同的是轻松有趣的漫画风格，而且是制作漫画的画师和数学家、演讲中的罗素、以及罗素回忆的故事三重场景不断转换，像盗梦空间一...
2019-10-13 07:25:27
1134
原创 超越离散数学
早些时候曾写过一篇程序员的数学修养，介绍了一些程序员可以学习的数学分支。虽然与编程有一定的相关，但自学起来也不是一件容易的事。所以本文再推荐一些专门为程序员写的数学书，可以用作入门。有了一定基础知识，可以再根据需要去学习和选读一些更偏向数学的书。说到程序员数学，可能第一反应就是离散数学，再就是算法。国外的几本经典教材可能大家也都耳熟能详，所以本文会侧重一些不是很热门或者新出版的书籍。1.抽象代...
2019-10-13 06:34:48
704
原创 如何实现语义分析中的类型检查
之前曾写过一篇语义分析的概念性介绍：https://daichen.blog.csdn.net/article/details/100097850。最近，终于开发完了一套基于SQL的语义分析器，算是对之前学习到的理论的一次工程实践。本文只是点出一下实践时的一些关键点和经验，具体细节还请看这里的设计文档：https://github.com/opendistro-for-elasticsearch/...
2019-10-12 13:48:20
1456
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人