我的博客

Java集合源码学习

源码阅读笔记

前言暑假闲来无事，看看 Java 标准库源码。直接看下载的源码当然优先级排最后，毕竟真正的源码可能受性能、边界条件等因素影响搞出一些不明所以的东西出来破坏阅读体验（所幸看的是 Java 的……），同时为了梳理代码的架构设计可能还要非常麻烦地动用 SourceInsight （我没用过）之类的东西，即使如此得到的静态类、接口层次结构中也可能包含各种 AbstractClass 之类的...

Posted by John Mactavish on July 29, 2020

泛型的协变与逆变

深入理解协变与逆变

Definition 首先是泛型的定义，懒得复读没意义的内容了，直接上 Google 到的第一项： A generic type is a type with formal type parameters. A parameterized type is an instantiation of a generic type with actual type arguments. A ...

Posted by John Mactavish on July 26, 2020

DiscriminatedUnion相关的讨论

discriminated union 的定义与优缺点

起因是我在学习 F# 时想要理解清楚 discriminated union 到底是什么，它的语法是这样的： // syntax definition [ attributes ] type [accessibility-modifier] type-name = | case-identifier1 [of [ fieldname1 : ] type1 [ * [ fieldn...

Posted by John Mactavish on July 14, 2020

她的右臂已经被废

时事与杂谈

作者：laq是只仓鼠链接：https://www.zhihu.com/question/397548603/answer/1259768683 来源：知乎著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。 1. “她的右臂已经废了。” “她是谁？” “自由女神！” 2. 矗立在哈德逊河口的自由女神像，最近出了些问题。其实可能是早就出...

Posted by John Mactavish on June 3, 2020

程序设计语言中的错误与异常

程序设计语言对错误的支持机制

在程序的编写与运行过程中，错误与异常的出现几乎是不可避免的：用户可能会输入非法的字符串，网络连接有可能会突然中断，可能没有权限打开文件，再到基础一点的，算术除零也会引发异常。那么我们就希望能有一种机制能够尽可能地降低错误与异常给我们带来的损失。错误码在较为原始的 C 语言中，人们有时会用一些整数来代表特定的错误。他们约定当函数返回某个值（一般是 0 ）时即为正常执行，而如果返回...

Posted by John Mactavish on April 14, 2020

共产党宣言

马克思选集

一个幽灵，共产主义的幽灵，在欧洲游荡。为了对这个幽灵进行神圣的围剿，旧欧洲的一切势力，教皇和沙皇、梅特涅和基佐、法国的激进派和德国的警察，都联合起来了。有哪一个反对党不被它的当政的敌人骂为共产党呢？又有哪一个反对党不拿共产主义这个罪名去回敬更进步的反对党人和自己的反动敌人呢？从这一事实中可以得出两个结论：共产主义已经被欧洲的一切势力公认为一种势力；现在是共产党人向全世界公开说...

Posted by John Mactavish on April 14, 2020

转载-程序设计语言中的“相等”

深入理解“相等”

作者：Craig Stuntz 原文地址：https://www.craigstuntz.com/posts/2020-03-09-equality-is-hard.html 译者：弯月，责编：郭芮出品：CSDN（ID：CSDNnews）以下为译文：有一个笑话说，计算机科学界有两大难题：一是缓存失效问题，二是命名问题。但我认为还有第三个更难的问题：相...

Posted by John Mactavish on March 20, 2020

二叉搜索树的基本操作

常用算法与数据结构模板系列（十一）

写在前面在之前的一篇文章里介绍了二叉树的遍历操作。事实上我们经常用的二叉树有一种叫做二叉搜索树（Binary Search Tree），简称 BST。二叉搜索树的定义如下：任意节点的左子树中的键值都小于此节点的键值。任意节点的右子树中的键值都大于此节点的键值。任意节点的左子树和右子树都是二叉搜索树。可以看到，由于它的特性，二叉搜索树是一个有序的集...

Posted by John Mactavish on March 16, 2020

正则表达式简明教程

设计并实现自己的编程语言系列番外（一）

写在前面正则表达式就属于那种你知道很重要，也确实很重要，但平时你又未必用得到，一旦遇到你就抓瞎的知识。老实讲，这是有原因的；正则表达式的规则有碎片化的特点，如果你学的方法又不对，那就真的是学得杂、忘得快。我也面临着这个问题，因为我正在实现一个词法分析器，最简单的方法自然是使用正则表达式去匹配。可惜我已经把正则表达式的那些规则忘得差不多了。因此我今天试图从最简单的方向切入，深入浅出地...

Posted by John Mactavish on March 7, 2020

青年在选择职业时的考虑

马克思选集

自然本身给动物规定了它应该遵循的活动范围，动物也就安分地在这个范围内活动，不试图越出这个范围，甚至不考虑有其他什么范围的存在。神也给人指定了共同的目标──使人类和他自己趋于高尚，但是，神要人自己去寻找可以达到这个目标的手段；神让人在社会上选择一个最适合于他、最能使他和社会都得到提高的地位。能有这样的选择是人比其他生物远为优越的地方，但是这同时也是可能毁灭人的一生、破坏他的一切计划并使他陷...

Posted by John Mactavish on March 1, 2020

Java集合源码学习

源码阅读笔记

泛型的协变与逆变

深入理解协变与逆变

DiscriminatedUnion相关的讨论

discriminated union 的定义与优缺点

她的右臂已经被废

时事与杂谈

程序设计语言中的错误与异常

程序设计语言对错误的支持机制

共产党宣言

马克思选集

转载-程序设计语言中的“相等”

深入理解“相等”

二叉搜索树的基本操作

常用算法与数据结构模板系列（十一）

正则表达式简明教程

设计并实现自己的编程语言系列番外（一）

青年在选择职业时的考虑

马克思选集

FEATURED TAGS

ABOUT ME

FRIENDS