Forwarded from dnaugsuz
也是怪我写得太随性，要是我紧扣议题，讲明白 Kotlin 里 Array<T> 和 Array<out T> 是不同类型的这类事实去做对比，就会更容易理解了。
Forwarded from dnaugsuz
可以这么理解，反过来就是逆变
Function<in T, out R> 里 T (实际)收 super T 的， R 收 extends R 的
比如
Function<in T, out R> 里 T (实际)收 super T 的， R 收 extends R 的
比如
(o as Func<Number, CharSequence> as Func<Int, String>) ，其中 (o as A as B) 也就是说若有 op(B) 则 op(A) 正确、合规Forwarded from みつき そはら | 椒鹽九肚魚🐟 | 努力學習中！
C++ 是你可以把子類別 cast 成父類別，或者傳指計/引用 因為子類的成員總在父類後面（？）
Forwarded from dnaugsuz
C++ 是 template 啦，我不熟悉，但它的类型检查应该更玄幻，不是这么规范了
大意了， Object..void(无值类型) 应该说前者是顶，但它是最小；后者是底，但它是最大
（话说一般 a..b 不是 a<b 的嘛）
所以 <T:/*extends*/A,B> 才指 intersection UBound ，因为它是「上限」？
不对， #English 里 upper-bound 应该是下限的意思🌝
（话说一般 a..b 不是 a<b 的嘛）
所以 <T:/*extends*/A,B> 才指 intersection UBound ，因为它是「上限」？
不对， #English 里 upper-bound 应该是下限的意思🌝
Forwarded from dnaugsuz
是的，但是 Java 暴露 super/extends 的限界约束甚至 intersection superextends(upper bound) ，没有声明处型变(declaration site variance)
^嗯不对，insect type 是 Kt 的术语，Java 的是 multiple bounds
但我目前没找到非 extends A&B 的用法
给实际编程造成了巨大麻烦，也没有把这个概念改造得好到哪里去。我还是觉得 Kotlin 干得漂亮，掩藏了这些复杂性😘
^嗯不对，insect type 是 Kt 的术语，Java 的是 multiple bounds
但我目前没找到非 extends A&B 的用法
给实际编程造成了巨大麻烦，也没有把这个概念改造得好到哪里去。我还是觉得 Kotlin 干得漂亮，掩藏了这些复杂性😘
Oracle
Bounded Type Parameters (The Java™ Tutorials >
Learning the Java Language > Generics (Updated))
Learning the Java Language > Generics (Updated))
This beginner Java tutorial describes fundamentals of programming in the Java programming language
Forwarded from dnaugsuz
上逆变 是什么😳
(T as T1) 的转换？如果是类型安全的话就子类型兼容了，为什么要靠强转断言类型安全？
嗯…… 如果你说有类型损失的，需要断言回来(UnsafeVariance)，我这有个例子 ，但是代码复用整到这个程度，估计也没谁了🌚（草
items 的是 <out T>, 如果安全的话就把 out 去掉，但那就不能真正做到 Tuple 的复用了。
我能断言指定 items[i] 位置的 func 可以接受 T ，因为它本来就是被取并集损失了精度的，于是写了
很多人始终不会遇到这种问题，老实说这已经属于很极端的代码复用设计了😒
(T as T1) 的转换？如果是类型安全的话就子类型兼容了，为什么要靠强转断言类型安全？
嗯…… 如果你说有类型损失的，需要断言回来(UnsafeVariance)，我这有个例子 ，但是代码复用整到这个程度，估计也没谁了🌚（草
items 的是 <out T>, 如果安全的话就把 out 去掉，但那就不能真正做到 Tuple 的复用了。
我能断言指定 items[i] 位置的 func 可以接受 T ，因为它本来就是被取并集损失了精度的，于是写了
(items[i] as Consumer<@UnsafeVariance in T>).accept(v) 的这种代码，其实它本身就是 in, 但为了写存储的兼容被迫暂作 out 了而已。很多人始终不会遇到这种问题，老实说这已经属于很极端的代码复用设计了😒
GitHub
ParserKt/ParserKt
Naive one-pass recursive descent, scannerless parser framework for Kotlin - ParserKt/ParserKt
Forwarded from LetITFly News (LetITFly 让技术飞)
https://t.me/vikacg/1178
如今，Hosts 文件 / SNI 服务器 / DNS（包括 DNS over TLS/HTTPS）均不应视为科学上网的手段。
如今，Hosts 文件 / SNI 服务器 / DNS（包括 DNS over TLS/HTTPS）均不应视为科学上网的手段。
Telegram
維咔VikACG
我们注意到，自从360推出自家的DoH（DNS over https）后，cloudflare和Google的doh服务正在中国大陆各地被陆续屏蔽，我们也认为两者之间可能并没有任何关系，只是时间上过于巧合。所以身在中国大陆的您需要注意的是，在之后您可能只能通过科学上网（VPN）访问维咔主域名，而非doh（安全DNS/私人DNS）
Forwarded from Rachel 的消息发布站点 (Rachel 看到我请去复习)
这么多天没一个 commit 的原因是在整这玩意儿：
https://github.com/Rachel030219/YibanSubmission
是我校每日易班健康打卡的小工具，理论上订阅频道的各位用不上，但是如果碰巧各位打卡流程也是「易班→易班校本化→每日健康打卡」，那么这个小工具在简单地修改后应当也能派上用场。
我认识的几位学长的支持与贡献是这个应用的基础，特此感谢。
值得一提的是，这是我写过网络请求最乱最脏最重、UI 最「缝合怪」以及含有最多动画的应用。
https://github.com/Rachel030219/YibanSubmission
是我校每日易班健康打卡的小工具，理论上订阅频道的各位用不上，但是如果碰巧各位打卡流程也是「易班→易班校本化→每日健康打卡」，那么这个小工具在简单地修改后应当也能派上用场。
我认识的几位学长的支持与贡献是这个应用的基础，特此感谢。
值得一提的是，这是我写过网络请求最乱最脏最重、UI 最「缝合怪」以及含有最多动画的应用。
GitHub
GitHub - Rachel030219/YibanSubmission: A tool to evolve Yiban's health submission experience.
A tool to evolve Yiban's health submission experience. - GitHub - Rachel030219/YibanSubmission: A tool to evolve Yiban's health submission experience.