我曾经写的『倒序』（那时候我连字节序到底是什么都不知道）
我记得就这程序我当时至少写了 5 分钟，当然现在我优化了自己对 bound 模型的理解力，所以会快很多（不过写错了，Kotlin 也骗我，我以为 a..b 是 (a, b] 区间的意思……Kotlin 变成全开区间了）

def rev(hex); l = hex.length; "#{hex[0..l-(2*3 +1)]}#{hex[l-(2*3 +1)..l-(2*2 +1)]}#{hex[l-(2*2 +1)..l-(2*1 +1)]}#{hex[l-(2*1 +1)..l]}"; end

请问这 TMD 是哪门子代码啊？当时就是这样，规模小一点而已，我都不知道 16 位是啥子，只看 FFFF 这种东西，然后瞎 🐔 写… 类似这种代码，而且我用的还是常量（而不是 2*n+1）
当然我用 for 循环和 mod 取模也一样

def revmod(hexstr)
  reversed = []
  for x, i in hexstr.each_char.with_index
    reversed << x
    if i % 2 !=0; resv = reversed[i-1] # replacement: (i+1)%2 ==0
      reversed[i-1] = reversed[i]
      reversed[i] = resv
    end
  end
  return reversed.join
end

比如别人（也算是个好程序员）写的，可是还差了一点

// 别的程序员怎么写（大意）

int reverseByteOrd(int i) { return ( i&(0xFF << 8*0) )<< 8*3 | ( i&(0xFF << 8*1) )<< 8*2 | ( i&(0xFF << 8*2) )<< 8*1 | ( i&(0xFF << 8*3) )<< 8*0; }

为什么 0x7F_FF_FF_FF 是 Integer.MAX_VALUE 呢？
我们看这个 0x7F，就是 0b0111_FFFF，0b0 的第二个0（第一个是 0b 二进制前缀的『0』）
它这个 0 代表 8(2**3), 之后的依次是 4(2**2), 2(2**1), 1(2**0)，叠加上就可以了
第一位是符号位，每次计算中取两次反就可以得到正确结果，但是为 0 表示正数

reverseByteOrd(0x00_00_00_7F) == 0x7F_00_00_00

//true

这么做是很秀（不过有点坑，& 的优先级没有 << 高，如果括号写漏就炸了），可是还有更好并且更快的方法

后来我看函数式程序员写的 atoi，才觉悟出 i<<1<<1 = i<<2 的道理，而通过这种道理和 Kotlin 的 functional inline 我可以写出性能比一个一个去 bitwise & | 强百倍而且好看百倍的代码，最重要的是它可以做到 Java 7 程序员叹为观止的『极限』代码复用，真的是一行模板都没有

typealias Cnt = Int
const val wbyte = 8

inline fun <T> rotatePrimOrd(   
  crossinline shl: T.(Cnt) -> T, crossinline or: T.(T) -> T, // construct T
  crossinline shr: T.(Cnt) -> T, crossinline and: T.(T) -> T, // destruct T
  bitselect: T, bytew: Cnt): (T) -> T  = closure@{
  var stack = it
  var swapped = it // clone
  for (_t in 1..bytew) {
    val shifted = stack.and(bitselect)
    stack = stack.shr(wbyte) // |00 [FF]<<00 FF|
    swapped = swapped.shl(wbyte).or(shifted) 
  }
  return@closure swapped
} 

fun rotateInt32(i: Int) = rotatePrimOrd(Int::shl, Int::or, Int::shr, Int::and, 0xFF, 4)(i)

然后可以

 const val BYTE_1: Byte = (0x7F or -0x01)

rotateInt32(0x00_00_00_7F) == 0x7F_00_00_00 //true

你看这个数组逆序的，后来如果从输出要符合的『性质』property 来看，有时候突然觉得莫名其妙视野开阔了许多，虽然实现起来还是只知那几种而已

forall i in (0, length xs]. xs[i] = xs[lastIdx - i]
  where lastIdx = (length xs -1)

然后我们发现其实靠交换 (0, length xs `div_ceil` 2] 就可以实现这个目标了：

#include <bits/stdc++.h>

using namespace std;

template <typename T>
void reverse(T *ptr, size_t len) {
  size_t lastIdx = len -1;
  size_t end = (len / 2) +1;
  for (unsigned i = 0; i < end; ++i)
    { swap(ptr[i], ptr[lastIdx-i]); }
}

int main() { 
  char str[7]; const char strorig[] = "abcdefg";
  memcpy(str, strorig, sizeof(strorig));
  reverse(str, 7);
  cout << str << endl;
}

Haskell 里我也还记得两种方法
reverse' xs = foldr (:) [] xs -- 刚才发现我误解了这个思路… 还想 foldl (:) [] 的，可是 foldl 需要 (b -> a -> b)，等等好像的确是可以写，不过要 flip 一下

reverse'' = foldl (++) []
reverse''' = foldl (flip (:)) []

rev'' (x : xs) = (rev'' xs) ++ x
rev'' [] = []
rev''' = rev_rec''' []
  where
    rev_rec''' ac (x : xs) = rev_rec''' (x : ac) xs
    rev_rec''' fin [] = fin

几个 lib(BinaryStreamIO, 后来我改叫 BinaryStream 了，再后来我起了个昵称叫 Doku（日语的『読』）、Duava（Data/Utilities Abstraction for Java）、CondEL) 嘛也比较 excited，（对自己）算是革新…

但是在听老师发成绩的时候，我觉得有必要写个应用程序去做图表，比如用 Qt Charts（可以顺便熟悉下 C++）
可是毕竟我还是不熟悉 C++ 啊（这个应用程序名叫 DataMet）！我又想 (1) 再复习一下 Python 经典分析数据可视化了 Avg, Mid { Pie, Rect }, Scatter2D, Scatter1D (2) 我也可以用 JavaScript + DOM + echarts.js

最近设计点什么东西都莫名其妙想写 Parser 想设计新的 Expression Language 了，这次就是设计也想了一个、打算实现了一个（实现的那个就是迷你版 CondEL，用来从 Set<Tuple<*>> 里 filter 东西用来 plot 的，当然有些 plot 基于的 DataFrame 是 Tuple<Set<I>, Set...>）… 居然还要写 Type checker（而且要支持 currying 还比较头疼要用 vector，如果想支持 optional arguments 就会很 dirty 不可能，不过好处就是没有本地变量，直接用很重的 curried fun…），然后用 C++ 实现，虽然 GC 可以直接忽视掉因为 shared_ptr Refcount 能够解决，晕

不过不管怎么样我都还得先写点教程、观点之类的东西…

今天晚上会先说点闲话，如果说完还有时间就出图表、写 TrieTree…

c=b; b=a; a=c 是一个『swap』程序里常用的逻辑
为什么 不这么看呢（当然和原来的不一样啦） 🤔
c « b « a « c « ...
也就是递归模式（迫真
I = c « b « a « I
突然想到 Fibonacci 序列
a b c
1 1 2
1 2 3
……
b=1, c=1
loop { a=b, b=c; c=a+b; yield c }
a b c
- 1 1
1 1 2
1 2 3
……

有什么区别呢？其实第一个是 c = b; b = a, a = c, 根本不是什么递归，成环了（而 c 也就只能算是 附带给 b 的第二存储）
第二个是 b < a < f c < … 真正的可递归（显然 b,a 依赖上一个 c，c 依赖 b,a）

既然太抽象没啥用，其实 Kotlin 里用 sequence 也很容易写的…… 我不会

def fib():
b, c = 1, 1
while True:
a = b; b = c
c = a+b
yield c

🤔 我还想写一个 Nat 包用于支持 Unsigned 类型的，Kotlin 官方逼死同人啊，看来只能可怜 Java 用了…
Kotlin 现在真的是什么都有啊… 都不缺

#Kotlin #code Ring buffer

https://t.me/kotlin_cn/4540 往下数十条 #Kotlin #CS #Algorithm

template <typename T>
void reverse(T *ptr, size_t len) {
size_t lastIdx = len -1;
size_t end = (len / 2) +1; // 其实这个 +1 可以去掉，因为即便输入是单数个，最中间的一个也不存在顺序之说，无须逆序
for (unsigned i = 0; i < end; ++i)
{ std::swap(ptr[i], ptr[lastIdx-i]); }
} #Cplusplus
此外，有些程序员还通过 (a + (a-1)) / b 的方式来 div_ceil, 此时只要有余数，结果自动加一

🤔 #Duava 打算加入迫真豪华套餐

#China 梯子国庆活动

[CloudHammer 国庆活动公告]

庆祝中华人民共和国成立 70 周年，CloudHammer 特推出全站 7 折优惠码：国庆70，7 天时间，全场 7 折，迎 70 华诞！

https://console.cloudhammer.site/user/shop

不时发一些容易被忽视的技(dao) 术(de) 问题 #statement
用 Telegraph 怎么样，会不会被枪毙

#INFO #News #tencent #China duangsuse 的（绝望）QQ 空间现在是开放的
https://user.qzone.qq.com/3323659619
但愿不会被枪毙

#Kotlin #code 我真的不想再去考虑 markReset 的 Ring 是怎么保证『不重复』这件事了，无用的努力…… 现在已经够好了

#Kotlin #code #Duava 全家桶

#Kotlin #code #Duava 新版本的 Ring，支持 Viewport: List<E>