类型系统设计师

类型系统设计师

之前想聊聊标准库和类型系统（C# 类型系统），但现在想想，不如聊聊类型系统设计师（类型系统设计师是怎样炼成的）

或许这才是经历过很大的考量之后，设计出来的类型系统的样子

参考
https://www.tutorialsteacher....

+对 C# type 和 .NET type 的由来的掌握
(C#, C# type, .NET type, C# 标准库, mscorlib.dll)(C# 类库 其实是来自于他 ‘面对的问题’ 是怎样的（他关注的问题就是桌面软件开发，他可能预知到了为 .NET 平台开发软件会遇到什么问题 所以才把 C# 设计得这么好）)
https://www.javatpoint.com/csharp-data-types
https://www.c-sharpcorner.com/UploadFile/dacca2/difference-between-data-type-in-C-Sharp-and-data-type-in-net/
https://docs.microsoft.com/en-us/dotnet/api/system.eventhandler-1

参考

Immutable Collections 是 .NET Framework 的基础核心类库之一
https://www.cnblogs.com/xishu...

System.Collections.Concurrent Classes ( vs Java JUC )
https://docs.microsoft.com/en...

EventHandler<TEventArgs> Delegate
https://docs.microsoft.com/en...

---

语言支持、 app 程序员、SDK 的关系

如果以程序软件的形式得到一个小成果，那么需要有 operation blueprint 和 business logic blueprint 。开发者必然是 app 程序员，而在两个层面上都要用到编程语言提供支持。

如果一个语言有幸提供支持给一个强大的 operation architecture 那么它一定是一个好语言
如果一个语言提供支持给一个还不错的 LOB developer 用的 framework architecture 那么它不一定是一个好语言（但一定是有 framework developer 的功劳，封装师的功劳: 比如对于 web app C/S 架构, 封装师不仅封装出很基础的抽象模型接口 还提供了现成的可令人调用的函数, 参考 WSGI 接口 和 Django framework / Rack 接口 和 WEBRick 服务器 和 ror 框架 12122) 4 5 ）
参考
https://www.zhihu.com/questio...封装师给出的 Laravel 提供了大量助手函数长得像PHP内置一样，在框架中核心中大量使用这些自定义全局辅助方法，这是尽量复用和优雅的结果
评价：
二者解决问题的层面不同，二者关注的问题不同；封装师消费类型系统设计师给出的类型系统
https://segmentfault.com/a/11...类型系统设计师

即使是一个小成果，也是复杂问题分层解决的成果。这是看不见的: 类型系统设计师 是如何对 封装师 给予帮助的。