duangsuse::Echo
718 subscribers
4.26K photos
130 videos
583 files
6.48K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
val fst: Int by index(0) 我开始还以为是 Kotlin 无法推断 fun <T> index(idx: Idx): Index<T> 的类型,后来发现其实自己想当然写了个错误的 getValue 提交了,只不过 IDE 没检查出来
Kotlin 伟大光明正确
我简直不配翻译到 Kotlin,我完全总结不出它的符号解析策略
还是能写出来…… 虽然我写得有点冗
就当帮 JDK 测试了(
猿来如此…… Python 居然这样自动对齐艹!我还以为是我写错了呢
IDEA 调试真方便
傻瓜式使用
This media is not supported in your browser
VIEW IN TELEGRAM
我顿悟了!bytesToIntegral(zero, shl, or, bytes.iterator()) 是内联的,所以它里面的 accumulator = zero 实际上一直指代的是一个只读的参数?
还是不行…… 简直莫名其妙
赣!原来是因为我的 ByteUnion 写错了…… 当时是复制粘贴没多想
This media is not supported in your browser
VIEW IN TELEGRAM
java.lang.AssertionError: expected:<2008796381> but was:<-17545>

现在就暴露出底层的一个问题,Java 侧使用的是 read():Int 的 InputStream,因为默认是读 unsigned byte,而我要么进行 Byte.uExt() 要么改回原来的封装,要我改回来是断然不可的
可是那样就出现 unsigned.toByte().uExt(),莫名其妙多了两个计算,该死没无符号的 Java
只好弄个 typealias Nat8 = Int,然后改回来算了,免得 uExt 来 uExt 去的,而且那个还要 if <0 判符号位,相当麻烦
唉简单也有简单的难处,要是 Jawa 支持 unsigned integers 就不必操心了
"It works, it works!!!"
虽然我又修复了 N 个 bug,并且是通过迫真调试而非理智分析找到才能用的,但还是能用,这就是……!!!
duangsuse::Echo
唉简单也有简单的难处,要是 Jawa 支持 unsigned integers 就不必操心了
其实支持如果仅仅有 ushl 这样的支持也不吼啊,因为数值带不带符号位说到底表示上还是有大区别
现在我有点混淆 Nat8 和 byte 这两个概念的意思……
规律就是:只要和 Nat8 不直接相关的(比如一个函参名),都叫 byte……
This media is not supported in your browser
VIEW IN TELEGRAM