/tmp/duangsuse.sock
23 subscribers
303 photos
3 videos
92 files
337 links
从 duangsuse::Echo (@dsuse) 跟进出来的分支,将在作者恢复原帐号访问的时候合并删除。
Download Telegram
#PTL latte-lang.org/ 草现在 layout 已经这么普及了么
我点下了第 100 个 star……
🌚 🙈 #Haha #life #school #China #nsfw 这就尴尬了
Forwarded from 电报时报
This media is not supported in your browser
VIEW IN TELEGRAM
附湖北仙桃一中女教师,网课结束忘记关直播,附音频
Forwarded from Deleted Account
String 不是 primitive,它是 Ljava/lang/String,一个 class 啊
但它的确是 java 语言层面有特殊意义的,所以在 java.lang 包里,你看那个包还有 Enum, Iterable, AutoCloseable 什么的
Forwarded from Deleted Account
没办法,CLR 里是基础类型、JVM 里不是
C 里面其实也不是
Forwarded from Deleted Account
存在即合理,每次遇到的时候想想 James Gosling 和 Java Langauge Specification 再比个自己的视角高度就清楚了,至少人家能实现 Java 编译器而咱们只会用 Java。
Forwarded from Deleted Account
有些东西也是没有绝对的对错的,就我感觉…… 其实支持也没啥大不了的,只不过 String#replace, String#matches, String#startsWith 这种方法调用会麻烦很多,而且 string 也是一样不能被 extends
Kotlin 里就不存在这个问题,因为没有所谓的 primitive,只有 boxed/unboxed array (Array<Int> vs. IntArray)
val p=Seq(::CharTuple, item('s'),item('k'),item('r'),item('~')).toStringPat()
Repeat(asList(), p).read("skr~skr~skr~")
MutableList<kotlin.String>? = [skr~, skr~, skr~]
Forwarded from 小喵 🐈
Protocol.kt
7.6 KB
Forwarded from Deleted Account
- @Deprecated("Should not use ...for internal") 全都应该用 internal 修饰符替了
- this.apply 不要用了,apply 本来就是指定 this 的。Builder 里使用要严格按照一致的缩进和形式使用
- fun ping(payload: Long) 换成异步 non-blocking 的更好
- fun pingLatency() = ping(System.currentTimeMillis()).let { System.currentTimeMillis() - it }
可以 import kotlin.time.*fun pingLatency() = measureTime { runPing() },不必把 begin_time 做成参数
好吧如果那个是做在协议上支持的就不能了
- if (serverPort !in 1..65535) throw IllegalArgumentException 可以写成 require(serverPort in 1..65535) {"Illegal port $serverPort, require value in 1..65535"}
- 最后 companion object 的那段实在是太“空”了,不易读,最好得改
- Packet.writeVarInt 是专门的位运算算法,实现应该和框架层隔离开
do {
val lowbits = i and 0x7F
i = i ushr 7
val signbit = i != 0
val byte = if (signbit) lowbits and 0x80 else lowbits
writeByte(byte)
} while (i != 0)
- Packet.Builder.append(Int|Long) 是有二进制位操作的数值上的算法,应该和 Packet.writeVarInt 泛化合并
- 不要用 Packet.Builder,用 PacketWriter,Builder 不是用来写结构化数据的。
fun <T> Iterable<T>.fliterIndex(predicate: Predicate<T>) = withIndex().filter ( predicate(value) }.map(IndexedValue<*>::index)

fun <T> Iterable<T>.shuffleFilter(predicate: Predicate<T>): Pair<List<T>, List<Int>> {
val shuffled = shuffle()
val indices = shuffled.filterIndex(predicate)
return shuffled to indices
}


fun <T> List<T>.shuffleKeepIndex(index: Int): Pair<Int, List<T>> {
val unallocated = indices.toMutableSet()
val newList = copy()
val keptIndex = Random.nextInt(unallocated.indices)
newList[keptIndex] = this[index]; unallocated.remove(keptIndex)
unallocated.forEach { newList[it] = this[index] }
return keptIndex to newList
}

不对

fun List<T>.shuffleKeepIndex(index: Int): Pair<Int, List<T>> {
val newList = copy().also { removeAt(index) }
val keptIndex = Random.nextInt(indices)
newList.insertAt(keptIndex, this[index])
return keptIndex to newList
}


也不对
依据原有 Collection 还是依据 indices 建模都不好啊…… 1 vs. N input index/predicate 的情况都不好弄啊……

fun <T> MutableList<T>.shuffleKeepIndex(index: Int): Pair<Int, List<T>> {
val keptIndex = Random.nextInt(indices)
val newList = indices.map { if (it == keptIndex) this[index] else this.removeAt(0) }
return keptIndex to newList
}


下面这个是针对 source collection 建模的,没必要用 mutable iterator

fun <T> Iterator<T>.shuffleMerge(value: T): Pair<Int, List<T>> {
val mergedIndex = Random.nextInt(0 until size)
val newList = (0 until size).shuffled().map { if (it == mergedIndex) value else next() }
return mergedIndex to newList
}


#Kotlin
总之:
import kotlin.random.*
fun <T> Collection<T>.shuffleMerge(value: T): Pair<Int, List<T>> {
val iterator = iterator()
val mergedIndex = Random.nextInt(indices)
val newList = indices.map { if (it == mergedIndex) value else iterator.next() }
return mergedIndex to newList
}

很明显需要两个数据,要么先 shuffle 再 search 要么然早就知道 index 是何,然后改另一个

fun <T> Collection<T>.shuffleMerge(value: T): Pair<Int, List<T>> {
val newRange = 0..lastIndex+1
val mergedIndex = Random.nextInt(range)
val iterator = iterator()
val newList = newRange.shuffled().map { if (it == mergedIndex) value else iterator.next() }
return mergedIndex to newList
}
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from Deleted Account
其实我也算是一个重视性能的人,不然我不至于为了测试个算法性能专门写一个 profile “框架”
但把性能和功能比起来我也能舍鱼而取熊掌。

JavaClass.kt 实现了对 Java class file 常量池的读写,只用了 120 行。
另一边我举个例子,zvm 的 ClassFile.java,单单开始实际读取 constant pool 的算法都是在 120 行后了(定义顺序都没按照ClassFile的顺序来),然后直到 225 行一共写了 100 多行。
可以看一下,意思大概是一样的。
不过我写的一个类相当于别人的一个 if branch,我写一行等于死板方法写10行、我改一行等于“常见”方法改10行。

现在要我去维护那种代码,我算是无法维护了……

我用的二进制位运算数值读取,从理论上讲好像这种算法还比 java.io.DataInputStream 里的那种 ...|(i3<<24)|(i4<<16) 要快不少,因为它的临时分配更少而且计算量也貌似更集中。

但我在意的不是那个,是我可以写出来有条有理有示例,至少它会比 JDK 里那段魔法要好看。

现在我在写 ParserKt,并且拿它实现了一个普通的四则计算器,不到 60 行。

所以如果你还是觉得性能很重要,建议把自己写过的代码多手动重写几遍,比如我上面提到的 ParserKt 我就用三种以上的语言,重写了 11 遍有余,才有了现在的 ParserKt。
写多了慢慢你就会厌烦那种事必躬亲、为机器代劳的编程了。

那么重视性能多半是喜欢精雕细琢,喜欢精雕细琢的人关于编程往往比较极端,不是真·大佬就是不太经常编程的人。
Forwarded from Deleted Account
建议有条件的人去看看那个 https://codon.com/hello-declarative-world
Forwarded from Deleted Account
Kotlin 和 Java 可以基本互译
而且不是有 Lombok
Forwarded from Deleted Account
duangsuse 是计算机科学爱好者,偏向程序表达与转化(包含编译原理什么的)
喜欢Kotlin和OOP,最近随便写点想写的东西,主要是复用库。
我打算先弄完我这 Hosts,然后再随便检查一下写个 JSON 解析器

然后我想写汉字数值的解析器和输出……

然后想写 LayoutPattern
汉字数值最特殊的地方在于有 十一七百亿 这种,哈哈