Forwarded from 肃反委员会
Forwarded from RWTG9Y4's STDOUT
#PLT #design 今晚散步的时候自我争论了下绝句的「恒事」编译期计算问题（内心：你倒是写啊 不管是作为py预处理还是PKT2……）
我觉得吧，编译期计算和符号化计算（不完全求值+枚举匹配简化）是0开销计算的必要特性，以小学生（确信）都能理解的方法进行高甜框架的设计，如UI树的铺平，是绝句的重要特性之一。
其实我也一直没搞懂 C++ 模板和 constexpr 的实现方式（Rust是隔离出了带模式匹配的子语言『宏』），在之前，我学 C++ constexpr 函数，表明「恒事」的两点：
1.恒事内只能调用标记恒事的函数，包括算符在内，但 val/var 不受限；恒事不能写入外部量
2.恒事的调用被编译期部分展开，这意味着预处理期会尝试执行依赖已知参数的表达式，保留未知参数的表达式
很快我发现了问题：编译期计算明明是为了方便，可现在，标准库的绝大部分 API 都要被标记为「恒」事！因为它们并不会产生预料外的行为(exitProcess 等)
C++ 对 constexpr 传递性(内部包含调用限制为 constexpr) 的要求是建立在它能随意 constexpr (2+1) ，有这样的「内部运算符」一说的，可是对绝句而言，我希望尽量多多行为是能内部定义的，Int +-*/ 都是动词定义。
开始我考虑提供【编译期API】，接着是为简化，只标记不许的 I/O 【非编译期API】，很快我发现其实本来就不该为让用户显写自己函数的「恒」一字而添加这种限制！
最后我决定， const (恒) 一字代表作用域不同，允许编译期访问的涵义，取消继承 Kotlin 的 const val 一说（反正那个也只是符号执行的特例——常量折叠）
于是就有「恒事」「恒量」「恒变」的写法了，而不再是「常数」「常参」😓
我觉得吧，编译期计算和符号化计算（不完全求值+枚举匹配简化）是0开销计算的必要特性，以小学生（确信）都能理解的方法进行高甜框架的设计，如UI树的铺平，是绝句的重要特性之一。
其实我也一直没搞懂 C++ 模板和 constexpr 的实现方式（Rust是隔离出了带模式匹配的子语言『宏』），在之前，我学 C++ constexpr 函数，表明「恒事」的两点：
1.恒事内只能调用标记恒事的函数，包括算符在内，但 val/var 不受限；恒事不能写入外部量
2.恒事的调用被编译期部分展开，这意味着预处理期会尝试执行依赖已知参数的表达式，保留未知参数的表达式
很快我发现了问题：编译期计算明明是为了方便，可现在，标准库的绝大部分 API 都要被标记为「恒」事！因为它们并不会产生预料外的行为(exitProcess 等)
C++ 对 constexpr 传递性(内部包含调用限制为 constexpr) 的要求是建立在它能随意 constexpr (2+1) ，有这样的「内部运算符」一说的，可是对绝句而言，我希望尽量多多行为是能内部定义的，Int +-*/ 都是动词定义。
开始我考虑提供【编译期API】，接着是为简化，只标记不许的 I/O 【非编译期API】，很快我发现其实本来就不该为让用户显写自己函数的「恒」一字而添加这种限制！
最后我决定， const (恒) 一字代表作用域不同，允许编译期访问的涵义，取消继承 Kotlin 的 const val 一说（反正那个也只是符号执行的特例——常量折叠）
于是就有「恒事」「恒量」「恒变」的写法了，而不再是「常数」「常参」😓
Forwarded from 咕 Billchen 咕 🐱 抹茶芭菲批发中心 (billchenchina | Nya!)
启用 WSL 后
https://devblogs.microsoft.com/commandline/per-directory-case-sensitivity-and-wsl/
fsutil.exe file queryCaseSensitiveInfo <path>可以使大小写敏感
https://devblogs.microsoft.com/commandline/per-directory-case-sensitivity-and-wsl/
Microsoft News
Per-directory case sensitivity and WSL
If you have used the Windows Subsystem for Linux, you’re probably aware that it allows you to treat your Windows file systems (mounted under /mnt/c, /mnt/d, etc.) as case sensitive. This means, among other things, that you can create files whose names differ…