思考、构建，再记录。

https://www.java.com/

存在类型(existential type), 表示某个类型存在, 设Trait A, 则some A表示存在某个类型符合A特征; 与存在类型相对应的为任意类型, any A表示负责A特征的任意类型.

多态 (polymorphism) 指为不同数据类型的实体提供统一的接口, 或使用一个单一的符号来表示多个不同的类型.

将本地(客户端)主机上的给定 TCP 端口或 Unix Socket 转发到远程端的给定主机和端口或 Unix Socket.

本文结合范畴论和Haskell语言, 浅要分析Monad(单子)

2017 Kotlin成为Android官方支持语言

按照官网所说, Zig是一种通用编程语言和工具链, 用于维护健壮、最佳和可重用的软件.